Your search returned 36 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Parallel and distributed computation numerical methods Dimitri P. Bertsekas; John N. Tsitsiklis by Series: Prentice-Hall international editions
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Englewood Cliffs [u.a.] Prentice-Hall International 1989
Online resources:
Availability: Items available for reference: Books at groups: Not for loan (1).
2.
3.
4.
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings / Kwangkeun Yi (ed.). by Series: Lecture notes in computer science ; 3780.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • APLAS 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
FSTTCS 2005 : foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings / R. Ramanujam, Sandeep Sen (eds.). by Series: Lecture notes in computer science ; 3821.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • Foundations of software technology and theoretical computer science
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings / Peter Sestoft (ed.). by Series: Lecture notes in computer science ; 3924.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11693024
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • 15th European Symposium on Programming
  • Fifteenth European Symposium on Programming
  • European Symposium on Programming
  • ESOP 2006
  • Joint European Conferences on Theory and Practice of Software
  • ETAPS 2006
  • European Joint Conferences on Theory and Practice of Software
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus and others]. by Series: Lecture notes in computer science ; 55.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1977
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner. by Series: Lecture notes in computer science ; 369.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
10.
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 / edited by Clemens E. Hackl. by Series: Lecture notes in computer science ; 23.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English, German Language: engger Publisher: Berlin ; New York : Springer-Verlag, 1975
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Logic of programs : workshop, ETH Zürich, May-July 1979 / edited by Erwin Engeler. by Series: Lecture notes in computer science ; 125.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 1981
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
13.
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.). by Series: Lecture notes in computer science ; 5497. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr. 12697175
Publication details: Berlin ; New York : Springer, 2009
Other title:
  • TYPES 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Esop 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 Proceedings. Series: Lecture Notes in Computer Science Ser
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: New York : Springer, April 1986
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Knowledge representation for agents and multi-agent systems : First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, revised selected papers / John-Jules Ch. Meyer, Jan Broersen (eds.). by Series: Lecture notes in computer science ; 5605. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12780396
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • KRAMAS 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
An introduction to the PL/CV2 programming logic / R.L. Constable, S.D. Johnson, C.D. Eichenlaub. by Series: Lecture notes in computer science ; 135.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1982
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
A survey of verification techniques for parallel programs / Howard Barringer. by Series: Lecture notes in computer science ; 191.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki. by Series: Lecture notes in computer science ; 148.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1983
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Compiler specification and verification / Wolfgang Polak. by Series: Lecture notes in computer science ; 124.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1981
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Advances in computer games : 12th international conference, ACG 2009, Pamplona, Spain, May 11-13, 2009 : revised papers / H. Jaap van den Herik, Pieter Spronck (eds.). by Series: Lecture notes in computer science ; 6048. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha