|
|
|
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by Soloveichik, David [editor.] | Yurke, Bernard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8141Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by Masulli, Francesco [editor.] | Pasi, Gabriella [editor.] | Yager, Ronald [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8256Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8249Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8297Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Dash, Shubhransu Sekhar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8298Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten Steen. by Baldoni, Roberto [editor.] | Nisse, Nicolas [editor.] | Steen, Maarten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8304Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Progress in Artificial Intelligence [electronic resource] : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings / edited by Fernando Moura Pires, Salvador Abreu. by Pires, Fernando Moura [editor.] | Abreu, Salvador [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2902Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Algorithms and Computation [electronic resource] : 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003. Proceedings / edited by Toshihide Ibaraki, Naoki Katoh, Hirotaka Ono. by Ibaraki, Toshihide [editor.] | Katoh, Naoki [editor.] | Ono, Hirotaka [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2906Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Validation of Stochastic Systems [electronic resource] : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle. by Baier, Christel [editor.] | Haverkort, Boudewijn R [editor.] | Hermanns, Holger [editor.] | Katoen, Joost-Pieter [editor.] | Siegle, Markus [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2925Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
SOFSEM 2004: Theory and Practice of Computer Science [electronic resource] : 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings / edited by Peter Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller. by Emde Boas, Peter [editor.] | Pokorný, Jaroslav [editor.] | Bieliková, Mária [editor.] | Štuller, Július [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2932Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Membrane Computing [electronic resource] : International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers / edited by Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Martín-Vide, Carlos [editor.] | Mauri, Giancarlo [editor.] | Păun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2933Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Artificial Evolution [electronic resource] : 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers / edited by Pierre Liardet, Pierre Collet, Cyril Fonlupt, Evelyne Lutton, Marc Schoenauer. by Liardet, Pierre [editor.] | Collet, Pierre [editor.] | Fonlupt, Cyril [editor.] | Lutton, Evelyne [editor.] | Schoenauer, Marc [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2936Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
DNA Computing [electronic resource] : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003. Revised Papers / edited by Junghuei Chen, John Reif. by Chen, Junghuei [editor.] | Reif, John [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2943Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings / edited by Rocco Nicola, Gian-Luigi Ferrari, Greg Meredith. by Nicola, Rocco [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2949Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
