Your search returned 36 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Control Reconfiguration of Dynamical Systems [electronic resource] : Linear Approaches and Structural Tests / by Thomas Steffen. by Series: Lecture Notes in Control and Information Sciences ; 320
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Managed Software Evolution [electronic resource] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin. by
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Verification of Digital and Hybrid Systems [electronic resource] / edited by M. Kemal Inan, Robert P. Kurshan. by Series: Nato ASI Subseries F:, Computer and Systems Sciences ; 170
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000
Other title:
  • Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997.
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Computational Science ICCS 2008 : 8th International Conference, Krakw, Poland, June 23-25, 2008, Proceedings. Part II. by Series: Lecture notes in computer science ; 5102.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Automata, languages and programming. Part I : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings / Luca Aceto [and others] (eds.). Series: Lecture notes in computer science ; 5125.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2008
(MP) Automata, languages and programming
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Euro-Par 2008 - parallel processing : 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008 ; proceedings / Emilio Luque, Tomas Margalef, Domingo Benitez (eds.). by Series: Lecture notes in computer science ; 5168.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • International Euro-Par Conference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Graph drawing : 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 : revised papers / Ioannis G. Tollis, Maurizio Patrignani (eds.). Symposium on Graph Drawing H�erakleion, Greece) by Series: Lecture notes in computer science ; 5417.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Other title:
  • GD 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Komplexitt̃ Von Entscheidungsproblemen. by Series: Lecture Notes in Computer Science Ser
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Springer Oct. 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26 30, 2002 Proceedings. by Series: Lecture notes in computer science ; 2420,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15 17, 2001 Proceedings. by Series: Lecture notes in computer science ; 2010,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings. by Series: Lecture notes in computer science ; 3099,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Computational Science and Its Applications ICCSA 2004 : International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part II. by Series: Lecture notes in computer science ; 3044,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 2327, 1997 Proceedings / edited by Pierre Azma, Gianfranco Balbo. by Series: Lecture notes in computer science ; 1248,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26 30, 2000 Proceedings. by Series: Lecture notes in computer science ; 1825,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I. by Series: Lecture notes in computer science ; 3036,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part III. by Series: Lecture notes in computer science ; 2331,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 15, 2000 Proceedings / edited by Jos Rolim. by Series: Lecture notes in computer science ; 1800,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Computational Science - ICCS 2004 : 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III. by Series: Lecture notes in computer science ; 3038,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Computational Science " ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2 4, 2003 Proceedings, Part I. by Series: Lecture notes in computer science ; 2657,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Computational Science " ICCS 2003 : International Conference, Melbourne, Australia and St. Petersburg, Russia June 2 4, 2003 Proceedings, Part III. by Series: Lecture notes in computer science ; 2659,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha