Results of search for 'an:6351' › Central Library, IIT, Bombay catalog

Refine your search

Availability
- Limit to currently available items
Authors
- Arbab, Farhad (2)
- Bouajjani, Ahmed (2)
- Brand, Mark van den (2)
- Dastani, Mehdi (1)
- Giese, Holger (2)
- Goertzel, Ben (2)
- Horváth, Zoltán (2)
- Jensen, Thomas (1)
- Laroussinie, Françoi... (1)
- Margaria,Tiziana (3)
- Schoitsch, Erwin (1)
- Sirjani, Marjan (2)
- Sokolsky, Oleg (2)
- Steffen, Bernhard (2)
- Unland, Rainer (1)
- Vardanega, Tullio (3)
- Wang, Jianyong ...[e... (2)
- Wieringa, Roel (2)
- Zannone, Nicola (2)
- Zsók, Viktória (2)
- Show more
- Show less
Item types
- E-Books (107)
Locations
- Online (105)
Series
- Lecture Notes in Com... (64)
- Lecture notes in com... (3)
- 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)
- 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)
- 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 Sublibrary : SL... (25)
- LNCS Sublibrary : SL... (11)
- LNCS Sublibrary : SL... (3)
- Show more
- Show less
Topics
- Artificial intellige... (15)
- Computer logic (6)
- Computer programming (6)
- Computer science (5)
- Computer science and... (38)
- Computer Science and... (30)
- Computer security (4)
- Computer software (19)
- Data structures (Com... (4)
- Formal methods (Comp... (9)
- Information storage ... (5)
- Logic design (13)
- Logic, Symbolic and ... (4)
- Programming language... (9)
- Software architectur... (3)
- Software Engineering (65)
- Software engineering (42)
- Systems and data sec... (3)
- User interfaces (Com... (3)
- Web services (4)
- Show more
- Show less

		Algebraic methodology and software technology : 13th international conference, AMAST, Lac-Beauport, QC, Canada, June 23-25, 2010 (e-book) by Johnson, Michael [Editor] \| Pavlovic, Dusko [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6486 \| 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)
		Transactions on pattern languages of programming II : special issue on applying patterns (e-book) by Noble, James ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6510 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 : 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)
		Trends in functional programming : 11th international symposium, TFP, Norman, OK, USA, May 17-19, 2010 (e-book) by Page, Rex [Editor] \| Horváth, Zoltán [Editor] \| Zsók, Viktória [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6546 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues 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)
		SOFSEM : theory and practice of computer science : 36th conference on current trends in theory and practice of computer science : proceedings, Spindleruv Mlyn, Czech Republic, January 23-29, 2010 (e-book) by Leeuwen, Jan van ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5901 \| 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)
		Fundamentals of software engineering : third IPM international conference, FSEN, Kish Island, Iran, April 15-17, 2009 : revised selected papers (e-book) by Arbab, Farhad [Editor] \| Sirjani, Marjan [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5961 \| 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)
		Engineering secure software and systems : second international symposium : proceedings, ESSoS, Pisa, Italy, Feb. 3-4, 2010 (e-book) by Massacci, Fabio [Editor] \| Wallach, Dan [Editor] \| Zannone, Nicola [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5965 \| 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)
		Software language engineering : second international conference, SLE, Denver, CO, USA, Oct. 5-6, 2009 (e-book) by Brand, Mark [Editor] \| Gaševic, Dragan [Editor] \| Gray, Jeff [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5969 \| 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)
		Transactions on aspect-oriented software development VII : A common case study for aspect-oriented modeling (e-book) by Katz, Shmuel [Editor] \| Mezini, Mira [Editor] \| Kienzle, Jorg [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6210 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 107 results.