Results of search for '6794' › Central Library, IIT, Bombay catalog

Refine your search

Availability
- Limit to currently available items
Authors
- Aldini, Alessandro .... (2)
- Armando, Alessandro (1)
- Bernardo, Marco (1)
- Bitsch, Friedemann (1)
- Degano, Pierpaolo (1)
- Gulijk, Coen van (1)
- Hatcliff, John (1)
- Havelund, Klaus (1)
- Koornneef, Floor (1)
- Kowalewski, Stefan (1)
- Laneve, Cosimo (1)
- Lumpe, Markus (1)
- Marché, Claude (1)
- Margaria,Tiziana (2)
- Petrucci, Laure (1)
- Rayadurgam, Sanjai (1)
- Roveri, Marco (1)
- Schulte, Wolfram (1)
- Shallit, Jeffrey (2)
- Steffen, Bernhard (2)
- Show more
- Show less
Item types
- E-Books (40)
Locations
- Online (40)
Series
- Lecture Notes in Art... (1)
- Lecture Notes in Com... (34)
- Lecture Notes in Com... (1)
- Lecture Notes in Com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture Notes in Com... (1)
- lncs (1)
- LNCS Sublibrary : SL... (15)
- LNCS Sublibrary : SL... (4)
- LNCS Sublibrary : SL... (3)
- LNCS Sublibrary : SL... (1)
- Show more
- Show less
Topics
- Algebra-Data proces... (1)
- Computer programs (2)
- Computer science and... (19)
- Computer Science and... (18)
- Computer security (6)
- Computer software (9)
- Computers (3)
- Fault-tolerant compu... (3)
- Formal languages (3)
- Formal methods (Comp... (40)
- Lattice theory (3)
- Logic design (2)
- Logic, Symbolic and ... (2)
- Machine theory (2)
- Monoclonal antibodie... (1)
- Object-oriented prog... (2)
- Programming language... (2)
- Software engineering (5)
- Software Engineering (4)
- Web services (2)
- Show more
- Show less

		Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book) by Hatcliff, John [Editor] \| Zucca, Elena [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6117 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book) by Aldini, Alessandro ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book) by Dawar, Anuj [Editor] \| Queiroz, Ruy de [Editor]. Series: lncs ; v.6188 \| LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Web services and formal methods : 6th international workshop, WS-FM, Bologna, Italy, Sept. 4-5, 2009 (e-book) by Laneve, Cosimo [Editor] \| Su, Jianwen [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6194 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computer performance engineering : 7th European performance engineering workshop : proceedings, EPEW, Bertinoro, Italy, Sept. 23-24, 2010 (e-book) by Aldini, Alessandro ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6342 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Distributed computing : 24th international symposium : proceedings, DISC, Cambridge, MA, USA, Sept. 13-15, 2010 (e-book) by Lynch, Nancy A [Editor] \| Shvartsman, Alexander A [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6343 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book) by Chatterjee, Krishnendu [Editor] \| Henzinger, Thomas A [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6246 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for industrial critical systems : 15th international workshop : proceedings, FMICS, Antwerp, Belgium, Sept. 20-21, 2010. (e-book) by Kowalewski, Stefan [Editor] \| Roveri, Marco [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6371 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Integrated formal methods : 8th international conference : proceedings, IFM, Nancy, France, Oct. 11-14, 2010 (e-book) by Méry, Dominique [Editor] \| Merz, Stephan [Editor]. Series: Lecture notes in computer science ; v.6396 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book) by Margaria,Tiziana [Editor] \| Steffen, Bernhard [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6415 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 40 results.