|
|
|
Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / edited by Martin Erwig, Richard F. Paige, Eric Wyk. by Erwig, Martin [editor.] | Paige, Richard F [editor.] | Wyk, Eric [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8225Source: 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): .
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski, Plamen Yalamov. by Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Waśniewski, Jerzy [editor.] | Yalamov, Plamen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2907Source: 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): .
|
|
|
|
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): .
|
|
|
|
Multi-Agent-Based Simulation III [electronic resource] : 4th International Workshop, MABS 2003, Melbourne, Australia, July 14, 2003. Revised Papers / edited by David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier. by Hales, David [editor.] | Edmonds, Bruce [editor.] | Norling, Emma [editor.] | Rouchier, Juliette [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2927Source: 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): .
|
|
|
|
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): .
|
|
|
|
Multi-Agent for Mass User Support [electronic resource] : International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers / edited by Koichi Kurumatani, Shu-Heng Chen, Azuma Ohuchi. by Kurumatani, Koichi [editor.] | Chen, Shu-Heng [editor.] | Ohuchi, Azuma [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3012Source: 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): .
|
|
|
|
Hybrid Systems: Computation and Control [electronic resource] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings / edited by Rajeev Alur, George J. Pappas. by Alur, Rajeev [editor.] | Pappas, George J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2993Source: 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): .
|
|
|
|
Regulated Agent-Based Social Systems [electronic resource] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / edited by Gabriela Lindemann, Daniel Moldt, Mario Paolucci. by Lindemann, Gabriela [editor.] | Moldt, Daniel [editor.] | Paolucci, Mario [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2934Source: 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): .
|
|
|
|
|
|
|
|
Medical Simulation [electronic resource] : International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004. Proceedings / edited by Stéphane Cotin, Dimitris Metaxas. by Cotin, Stéphane [editor.] | Metaxas, Dimitris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3078Source: 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): .
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / edited by Vincent Danos, Vincent Schachter. by Danos, Vincent [editor.] | Schachter, Vincent [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3082Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004. Proceedings / edited by Vicenç Torra, Yasuo Narukawa. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3131Source: 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): .
|
|
|
|
Document Analysis Systems VI [electronic resource] : 6th International Workshop, DAS 2004, Florence, Italy, September 8 - 10, 2004. Proceedings / edited by Simone Marinai, Andreas R. Dengel. by Marinai, Simone [editor.] | Dengel, Andreas R [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3163Source: 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): .
|
|
|
|
Evolvable Systems: From Biology to Hardware [electronic resource] : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings / edited by J. Manuel Moreno, Jordi Madrenas, Jordi Cosp. by Moreno, J. Manuel [editor.] | Madrenas, Jordi [editor.] | Cosp, Jordi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3637Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Articulated Motion and Deformable Objects [electronic resource] : Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004. Proceedings / edited by Francisco J. Perales, Bruce A. Draper. by Perales, Francisco J [editor.] | Draper, Bruce A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3179Source: 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): .
|
|
|
|
«UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications [electronic resource] : 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings / edited by Thomas Baar, Alfred Strohmeier, Ana Moreira, Stephen J. Mellor. by Baar, Thomas [editor.] | Strohmeier, Alfred [editor.] | Moreira, Ana [editor.] | Mellor, Stephen J [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3273Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Cellular Automata [electronic resource] : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings / edited by Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra. by Sloot, Peter M. A [editor.] | Chopard, Bastien [editor.] | Hoekstra, Alfons G [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3305Source: 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): .
|
|
|
|
Switching and Learning in Feedback Systems [electronic resource] : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / edited by Roderick Murray-Smith, Robert Shorten. by Murray-Smith, Roderick [editor.] | Shorten, Robert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3355Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Artificial Intelligence and Simulation [electronic resource] : 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / edited by Tag Gon Kim. by Kim, Tag Gon [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3397Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|