|
|
|
|
Integration of Software Specification Techniques for Applications in Engineering [electronic resource] : Priority Program SoftSpez of the German Research Foundation (DFG), Final Report / edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper. by Ehrig, Hartmut [editor.] | Damm, Werner [editor.] | Desel, Jörg [editor.] | Große-Rhode, Martin [editor.] | Reif, Wolfgang [editor.] | Schnieder, Eckehard [editor.] | Westkämper, Engelbert [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3147Source: 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): .
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : First International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, September 1-3, 2003. Proceedings / edited by Vladimír Mařík, Duncan McFarlane, Paul Valckenaers. by Mařík, Vladimír [editor.] | McFarlane, Duncan [editor.] | Valckenaers, Paul [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2744Source: 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): .
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings / edited by Vladimír Mařík, Robert Brennan, Michal Pěchouček. by Mařík, Vladimír [editor.] | Brennan, Robert [editor.] | Pěchouček, Michal [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3593Source: 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): .
|
|
|
|
|
|
|
|
|
|
Expert Systems in Engineering Principles and Applications [electronic resource] : International Workshop Vienna, Austria, September 24–26, 1990 Proceedings / edited by Georg Gottlob, Wolfgang Nejdl. by Gottlob, Georg [editor.] | Nejdl, Wolfgang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 462Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Other title: International Workshop. Vienna, Austria, September 24-26, 1990. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
FME '94: Industrial Benefit of Formal Methods [electronic resource] : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings / edited by Maurice Naftalin, Tim Denvir, Miquel Bertran. by Naftalin, Maurice [editor.] | Denvir, Tim [editor.] | Bertran, Miquel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 873Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Multi-Agent Systems and Applications IV [electronic resource] : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings / edited by Michael Pěchouček, Paolo Petta, László Zsolt Varga. by Pěchouček, Michael [editor.] | Petta, Paolo [editor.] | Varga, László Zsolt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3690Source: 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): .
|
|
|
|
|
FM’99 — Formal Methods [electronic resource] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies. by Wing, Jeannette M [editor.] | Woodcock, Jim [editor.] | Davies, Jim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1709Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Formal Methods and Software Development [electronic resource] : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. by Ehrig, Hartmut [editor.] | Floyd, Christiane [editor.] | Nivat, Maurice [editor.] | Thatcher, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 186Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 / edited by Vladimír Mařík, Valeriy Vyatkin, Armando W. Colombo. by Mařík, Vladimír [editor.] | Vyatkin, Valeriy [editor.] | Colombo, Armando W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4659Source: 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): .
|
|
|
|
|
Advances in Rule Interchange and Applications [electronic resource] : International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings / edited by Adrian Paschke, Yevgen Biletskiy. by Paschke, Adrian [editor.] | Biletskiy, Yevgen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4824Source: 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): .
|
|
|
|
|
Bioinspired Applications in Artificial and Natural Computation [electronic resource] : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II / edited by José Mira, José Manuel Ferrández, José R. Álvarez, Félix Paz, F. Javier Toledo. by Mira, José [editor.] | Ferrández, José Manuel [editor.] | Álvarez, José R [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5602Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Hybrid Artificial Intelligence Systems [electronic resource] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I / edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian. by Graña Romay, Manuel [editor.] | Corchado, Emilio [editor.] | Garcia Sebastian, M. Teresa [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6076Source: 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): .
|
|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I / edited by Chun-Yi Su, Subhash Rakheja, Honghai Liu. by Su, Chun-Yi [editor.] | Rakheja, Subhash [editor.] | Liu, Honghai [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7506Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
