Your search returned 17 results.

Not what you expected? Check for suggestions
1.
Object modeling with the OCL : the rationale behind the Object Constraint Language / Tony Clark, Jos Warmer (eds.).

by Clark, Tony (College teacher) | Warmer, Jos B.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Computer science in perspective : essays dedicated to Thomas Ottmann / Rolf Klein, Hans-Werner Six, Lutz Wegner (eds.).

by Klein, Rolf, 1953- | Six, H.-W. (Hans-Werner), 1944- | Wegner, Lutz.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

by Bruynooghe, M. (Maurice) | Lau, K.-K. (Kung-Kiu), 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York, NY : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday / Dieter Hutter, Werner Stephan (eds.).

by Siekmann, Jörg H | Hutter, Dieter | Stephan, Werner.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Adaptive agents and multi-agent systems II : adaptation and multi-agent learning / Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso (eds.).

by Kudenko, Daniel, 1968- | Kazakov, Dimitar, 1967- | Alonso, Eduardo, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Socionics : scalability of complex social systems / Klaus Fischer, Michael Florian, Thomas Malsch (eds.).

by Fischer, Klaus, Dipl.-Inform | Florian, Michael | Malsch, Thomas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: Scalability of complex social systems.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Theoretical computer science : essays in memory of Shimon Even / Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman (eds.).

by Even, Shimon | Goldreich, Oded | Rosenberg, Arnold L, 1941- | Selman, Alan L.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Software engineering for multi-agent systems IV : research issues and practical applications / Alessandro Garcia [and others] (eds.).

by Garcia, Alessandro, 1976- | SELMAS 2005 (2005 : Saint Louis, Mo.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Toward category-level object recognition / Jean Ponce [and others] (eds.).

by Ponce, Jean.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Uncertainty reasoning for the semantic web I : ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / Paulo Cesar G. da Costa [and others] (eds.).

by Costa, Paulo Cesar G. da | URSW (Workshop) | International Semantic Web Conference.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Software engineering : international summer schools, ISSSE 2006-2008, Salerno, Italy : revised tutorial lectures / Andrea De Lucia, Filomena Ferrucci (eds.).

by De Lucia, Andrea | Ferrucci, Filomena | ISSSE (Summer School) (2006 : Salerno, Italy) | ISSSE (Summer School) (2007 : Salerno, Italy) | ISSSE (Summer School) (2008 : Salerno, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Other title: ISSSE 2006-2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Towards digital optical networks : COST action 291 final report / Ioannis Tomkos [and others] (eds.).

by Tomkos, Ioannis | European Cooperation in the Field of Scientific and Technical Research (Organization). COST 291 Action.

Source: Springer - LINK.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Modular ontologies : concepts, theories and techniques for knowledge modularization / Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra (eds.).

by Stuckenschmidt, Heiner | Parent, Christine | Spaccapietra, S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Robust and online large-scale optimization : models and techniques for transportation systems / Ravindra K. Ahuja, Rolf H. Möhring, Christos D. Zaroliagis (eds.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2009Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Graph transformations and model-driven engineering : essays dedicated to Manfred Nagl on the occasion of his 65th birthday / Gregor Engels [and others] (eds.).

by Engels, G.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Advances in Petri Nets, 1991 / G. Rozenberg (Ed.).

by Rozenberg, Grzegorz | Plünnecke, Helmut | Reisig, Wolfgang, 1950- | International Conference on Applications and Theory of Petri Nets (11th : 1990 : Paris, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Other title: Bibliography of Petri Nets 1990.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha