|
|
|
|
|
|
|
|
|
Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / edited by Shriram Krishnamurthi, Martin Odersky. by Krishnamurthi, Shriram [editor.] | Odersky, Martin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4420Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Parallel Processing: CONPAR 92—VAPP V [electronic resource] : Second Joint International Conference on Vector and Parallel Processing Lyon, France, September 1–4, 1992 Proceedings / edited by Luc Bougé, Michel Cosnard, Yves Robert, Denis Trystram. by Bougé, Luc [editor.] | Cosnard, Michel [editor.] | Robert, Yves [editor.] | Trystram, Denis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 634Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings / edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov. by Budach, Lothar [editor.] | Bukharajev, Rais Gatič [editor.] | Lupanov, Oleg Borisovič [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 278Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
TAPSOFT '95: Theory and Practice of Software Development [electronic resource] : 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings / edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach. by Mosses, Peter D [editor.] | Nielsen, Mogens [editor.] | Schwartzbach, Michael I [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 915Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning and Uncertainty [electronic resource] : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings / edited by Christine Froidevaux, Jürg Kohlas. by Froidevaux, Christine [editor.] | Kohlas, Jürg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 946Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / edited by Theodore P. Baker, Alain Bui, Sébastien Tixeuil. by Baker, Theodore P [editor.] | Bui, Alain [editor.] | Tixeuil, Sébastien [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5401Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Soft Computing [electronic resource] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part II / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García. by Sidorov, Grigori [editor.] | Hernández Aguirre, Arturo [editor.] | Reyes García, Carlos Alberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6438Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Computational Science — ICCS 2002 [electronic resource] : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III / edited by Peter M. A. Sloot, Alfons G. Hoekstra, C. J. Kenneth Tan, Jack J. Dongarra. by Sloot, Peter M. A [editor.] | Hoekstra, Alfons G [editor.] | Tan, C. J. Kenneth [editor.] | Dongarra, Jack J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2331Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Concurrency and Parallelism, Programming, Networking, and Security [electronic resource] : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings / edited by Joxan Jaffar, Roland H. C. Yap. by Jaffar, Joxan [editor.] | Yap, Roland H. C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1179Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Advances in Web-Age Information Management [electronic resource] : Second International Conference, WAIM 2001 Xi’an, China, July 9–11, 2001 Proceedings / edited by X. Sean Wang, Ge Yu, Hongjun Lu. by Wang, X. Sean [editor.] | Yu, Ge [editor.] | Lu, Hongjun [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2118Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
