Your search returned 23 results.

Not what you expected? Check for suggestions
1.
Parallel and distributed computation numerical methods Dimitri P. Bertsekas; John N. Tsitsiklis

by Bertsekas, Dimitri P | Tsitsiklis, John N.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: Englewood Cliffs [u.a.] Prentice-Hall International 1989Online access: Inhaltsverzeichnis | Zentralblatt MATH Inhaltstext Availability: Items available for reference: Books at groups (1). Location(s): Alistarh Group .
2.
Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.).

by FOSSACS (Conference) (7th : 2004 : Barcelona, Spain) | Walukiewicz, Igor | ETAPS (Conference) (2004 : Barcelona, Spain).

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 .
3.
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / David Schmidt, (ed.).

by European Symposium on Programming (13th : 2004 : Barcelona, Spain) | Schmidt, David A, 1953 May 10- | ETAPS (Conference) (2004 : Barcelona, Spain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ESOP 2004 | ETAPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings / Kwangkeun Yi (ed.).

by APLAS (Symposium) (3rd : 2005 : Tsukuba Kenkyū Gakuen Toshi, Japan) | Yi, Kwangkeun.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: APLAS 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 Conference on Foundations of Software Technology and Theoretical Computer Science (25th : 2005 : Hyderabad, India) | Ramanujam, R | Sen, Sandeep.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: Foundations of software technology and theoretical computer science.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
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 European Symposium on Programming (15th : 2006 : Vienna, Austria) | Sestoft, Peter | ETAPS (Conference) (9th : 2006 : Vienna, Austria).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other 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.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).

by Bird, Richard, 1943- | Morgan, Carroll, 1952- | Woodcock, Jim | International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
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 TYPES 2008 (2008 : Torino, Italy) | Berardi, Stefano | Damiani, Ferruccio | De'Liguoro, Ugo.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2009Other title: TYPES 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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 KRAMAS 2008 (2008 : Sydney, N.S.W.) | Meyer, John-Jules Ch | Broersen, Jan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2009Other title: KRAMAS 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
A survey of verification techniques for parallel programs / Howard Barringer.

by Barringer, Howard, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki.

by Symposium on Logics of Programs and Their Applications (1980 : Poznań, Poland) | Salwicki, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Compiler specification and verification / Wolfgang Polak.

by Polak, Wolfgang, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1981Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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 Advances in Computer Games (Conference) (12th : 2009 : Pamplona, Spain) | Herik, Jaap van den | Spronck, Pieter.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Facing the multicore-challenge : aspects of new paradigms and technologies in parallel computing / Rainer Keller, David Kramer, Jan-Philipp Weiss (eds.).

by Keller, Rainer, Dr.-Ing | Kramer, David | Weiss, Jan-Philipp.

Material type: Text Text; Format: available online remote; 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 .
15.
Simulation, modeling, and programming for autonomous robots : second international conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010 : proceedings / Noriaki Ando [and others] (eds.).

by SIMPAR (Conference) (2nd : 2010 : Darmstadt, Germany) | Ando, Noriaki.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2010Other title: SIMPAR 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Computers and games : 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat (eds.).

by CG (Conference) (7th : 2010 : Kanazawa-shi, Japan) | Herik, Jaap van den | Iida, Hiroyuki, 1962- | Plaat, Aske.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: CG 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Search computing : trends and developments / Stefano Ceri, Marco Brambilla (eds.).

by Ceri, Stefano, 1955- | Brambilla, Marco.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
First-order dynamic logic / David Harel.

by Harel, David, 1950-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.

by Kirchner, H. (Hélène) | Wechler, Wolfgang | Centre national de la recherche scientifique (France) | Institut national de recherche en informatique et en automatique (France) | International Conference on Algebraic and Logic Programming (2nd : 1990 : Nancy, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Logic Programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 / K. Furukawa, H. Tanaka, T. Fujisaki eds.

by Logic Programming Conference (8th : 1989 : Tokyo, Japan) | Furukawa, Kōichi | Tanaka, H. (Hozumi) | Fujisaki, T. (Tetsunosuke).

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

Powered by Koha