Results of search for 'ccl=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 (108)
Locations
- Online (106)
Series
- Lecture Notes in Com... (64)
- Lecture notes in com... (4)
- 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... (39)
- 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... (10)
- Software architectur... (3)
- Software Engineering (65)
- Software engineering (43)
- Systems and data sec... (3)
- User interfaces (Com... (3)
- Web services (4)
- Show more
- Show less

		Fundamental approaches to software engineering : 13th international conference : proceedings, FASE, held as part of the joint European conferences on theory and practice of software, ETAPS, Paphos, Cyprus, Mar. 20-28, 2010 (e-book) by Rosenblum, David Samuel [Editor] \| Taentzer, Gabriele [Editor]. Series: Lecture notes in computer science ; v.6013 \| 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)
		Foundations of computer software : future trends and techniques for development : 15th Monterey workshop, Budapest, Hungary, Sept. 24-26, 2008 (e-book) by Choppy, Christine [Editor] \| Sokolsky, Oleg [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6028 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: eng Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Modelling foundations and applications : 6th European conference : proceedings, ECMFA, Paris, France, June 15-18, 2010 (e-book) by Kuhne, Thomas ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6138 \| 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)
		Component-based software engineering : 13th international symposium : proceedings, CBSE, Prague, Czech Republic, June 23-25, 2010 (e-book) by Grunske, Lars [Editor] \| Reussner, Ralf [Editor] \| Plasil, Frantisek [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6092 \| 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)
		Software composition : 9th international conference : proceedings, SC, Malaga, Spain, July 1-2, 2010 (e-book) by Baudry, Michel [Editor] \| Wohlstadter, Eric [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6144 \| 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)
		Architecting critical systems : first international symposium : proceedings, ISARCS, Prague, Czech Republic, June 23-25, 2010 (e-book) by Giese, Holger [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6150 \| 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)
		Reliable software technology - Ada-Europe : 15th Ada-Europe international conference on reliable software technologies : proceedings, Valencia, Spain, June 14-18, 2010 (e-book) by Real, Jorge [Editor] \| Vardanega, Tullio [Editor]. Series: Lecture Notes in Computer Science (LNCS) \| LNCS Sublibrary : SL 2 – Programming and Software Engineering \| Lecture notes in computer science ; v.6106 Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Models in software engineering : workshops and symposia at MODELS, Denver, CO, USA, Oct. 4-9, 2009 : reports and revised selected papers (e-book) by Ghosh, Sudipto [Editor]. Series: Lecture notes in computer science ; v.6002 \| 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)
		Requirements engineering : foundation for software quality : 16th international working conference : proceedings, REFSQ, Essen, Germany, June 30-July 2, 2010 (e-book) by Wieringa, Roel [Editor] \| Persson, Anne [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6182 \| 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)
		New modeling concepts for today's software processes : international conference on software process : proceedings, ICSP, Paderborn, Germany, July 8-9, 2010 (e-book) by Munch, Jurgen [Editor] \| Yang, Ye [Editor] \| Schafer, Wilhelm [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6195 \| 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 108 results.