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

		Software language engineering : third international conference, SLE, Eindhoven, The Netherlands, Oct. 12-13, 2010 (e-book) by Malloy, Brian [Editor] \| Staab, Steffen [Editor] \| Brand, Mark van den [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6563 \| 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)
		Software engineering techniques : third IFIP TC 2 central and East European conference, CEE-SET, Brno, Czech Republic, Oct. 13-15, 2008 (e-book) by Huzar, Zbigniew ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.4980 \| 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)
		Agent-oriented software engineering X : 10th international workshop, AOSE, Budapest, Hungary, May 11-12, 2009 (e-book) by Gleizes, Marie-Pierre [Editor] \| Gomez-Sanz, Jorge J [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6038 \| 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)
		Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, Nov. 4-9, 2007 (e-book) by Giese, Holger [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6100 \| 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)
		Fundamental approaches to software engineering : 14th international conference, FASE, held as part of the joint European conferences on theory and practice of software : proceedings, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Giannakopoulou, Dimitra [Editor] \| Orejas, Fernando [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6603 \| 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)
		Foundations of software science and computational structures : 14th international conference : proceedings, FOSSACS, held as part of the joint European conferences on theory and practice of software, ETAPS, Saarbrucken, Germany, Mar. 26-Apr. 3, 2011 (e-book) by Hofmann, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6604 \| 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)
		Requirements engineering : foundation for software quality : 17th international working conference : proceedings, REFSQ, Essen, Germany, Mar. 28-30, 2011 (e-book) by Berry, Daniel [Editor] \| Franch, Xavier [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6606 \| 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)
		Generative and transformational techniques in software engineering III : International Summer School, GTTSE, Braga, Portugal, July 6-11, 2009 (e-book) by Fernandes, João M. ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6491 \| 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)
		Models in software engineering : workshops and symposia at MODELS, Oslo, Norway, Oct. 2-8, 2010 (e-book) by Dingel, Juergen [Editor] \| Solberg, Arnor [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6627 \| 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)
		Reliable software technologies - Ada-Europe : 16th Ada-Europe international conference on reliable software technologies : proceedings, Edinburgh, UK, June 20-24, 2011 (e-book) by Romanovsky, Alexander [Editor] \| Vardanega, Tullio [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6652 \| 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)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 108 results.