Results of search for 'an: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 methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book) by De Boer, Frank S. ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6286 \| 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 : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book) by Davies, Jim [Editor] \| Silva, Leila [Editor] \| Simão, Adenilso [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6527 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book) by Bravetti, Mario [Editor] \| Bultan, Tevfik [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6551 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book) by Degano, Pierpaolo [Editor] \| Etalle, Sandro [Editor] \| Guttman, Joshua [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6561 \| LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 13-18, 2011 (e-book) by Bernardo, Marco [Editor] \| Issarny, Valérie [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6659 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal aspects in security and trust : 6th international workshop, FAST, Eindhoven, The Netherlands, Nov. 5-6, 2009 : revised selected papers (e-book) by Kitagawa, Hiroyuki...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5983 \| LNCS Sublibrary : SL 4 – Security and cryptology 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 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)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 40 results.