Your search returned 2162 results.

Not what you expected? Check for suggestions
Sort
Results
Transactions on petri nets and other models of concurrency X / Maciej Koutny, Jörg Desel, Serge Haddad (eds.).

by Koutny, Maciej, 1958- [editor.] | Desel, Jörg [editor.] | Haddad, Serge [editor.] | International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (35th : 2014 : Tunis, Tunisia) | International Conference on Application of Concurrency to System Design (14th : 2014 : Tunis, Tunisia).

Series: Serienbezeichnung | Lecture notes in computer science ; 9410.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2015Other title: Transactions on petri nets and other models of concurrency 10.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Extreme Programming and Agile Methods - XP/Agile Universe 2004 [electronic resource] : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings / edited by Carmen Zannier, Hakan Erdogmus, Lowell Lindstrom.

by Zannier, Carmen [editor.] | XP/Agile Universe (Conference) [Corporate Author.] | Erdogmus, Hakan [editor.] | Lindstrom, Lowell [editor.] | XP/Agile Universe (Conference).

Series: Serienbezeichnung | Lecture notes in computer science ; 3134.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Imitation of life : how biology is inspiring computing / Nancy Forbes.

by Forbes, Nancy.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : Mit Press, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky ; essays dedicated to Samson Abramsky on the occasion of his 60th birthday / Bob Coecke, Luke Ong, Prakash Panangaden (eds.).

by Coecke, Bob | Ong, Luke | Panangaden, P. (Prakash).

Series: Serienbezeichnung | Lecture notes in computer science ; 7860. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of computer science : potential--theory--cognition / Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.).

by Brauer, Wilfried | Freksa, C | Jantzen, Matthias, 1948- | Valk, R. (Rüdiger).

Series: Serienbezeichnung | Lecture notes in computer science ; 1337.Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer [and others] (eds.).

by Brauer, Wilfried.

Series: Serienbezeichnung | Lecture notes in computer science ; 2300.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized; Publication details: Berlin ; Heidelberg : Springer, ©2002Other title: Essays dedicated to Grzegorz Rozenberg.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 2598.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theoretical computer science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003 : proceedings / Carlo Blundo, Cosimo Laneve (eds.).

by ICTCS 2003 (2003 : Bertinoro, Italy) | Blundo, Carlo, 1968- | Laneve, Cosimo, 1962-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2841.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3113. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York, NY : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Agent mediated electronic commerce IV : designing mechanisms and systems : AAMAS 2002 Workshop on Agent-Mediated Electronic Commerce, Bologna, Italy, July 16, 2002 : revised papers / Julian Padget, Onn Shehory, David Parkes, Norman Sadeh, William E. Walsh (eds.).

by Padget, Julian (Julian A.) [edt] | Shehory, Onn [edt] | Parkes, David [edt] | Sadeh, Norman [edt] | Walsh, William E [edt] | Workshop on Agent-Mediated Electronic Commerce, AAMAS 2002 (16-07-2002 : Bologna, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 2531. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2002Other title: Agent-mediated electronic commerce 4 | AMEC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Knowledge engineering and knowledge management : methods, models, and tools ; 12th international conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000 : proceedings / Rose Dieng, Olivier Corby (ed.).

by Dieng-Kuntz, Rose [edt] | Corby, Olivier [edt] | International Conference on Knowledge Engineering and Knowledge Management, EKAW (12 : 02-10-2000 - 06-10-2000 : Juan-les-Pins, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 1937. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2000Other title: EKAW 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
ECOOP '91 : European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991 : proceedings / Pierre America (ed.).

by America, P. (Petrus Hubertus Maria), 1959- [edt] | ECOOP (Conference) (1991 : Geneva).

Series: Serienbezeichnung | Lecture notes in computer science ; 512.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994 : proceedings / Alfredo De Santis, ed.

by EUROCRYPT (Conference) (1994 : Perugia, Italy) | De Santis, Alfredo | Workshop on the Theory and Application of Cryptographic Techniques, EUROCRYPT (09-05-1994 - 12-05-1994 : Perugia, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 950.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1995Other title: Advances in cryptology | EUROCRYPT '94.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computing and combinatorics : 12th annual international conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006 : proceedings / Danny Z. Chen, D.T. Lee (eds.).

by COCOON (Conference) (12th : 2006 : Taipei, Taiwan) | Chen, Danny Z | Lee, Der-Tsai.

Series: Serienbezeichnung | Lecture notes in computer science ; 4112.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11809678Publication details: Berlin ; New York : Springer, ©2006Other title: COCOON 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Coroutines : a programming methodology, a language design and an implementation / Christopher D. Marlin.

by Marlin, Christopher D, 1952- [aut].

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, 1980Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Using sophisticated models in resolution theorem proving / David M. Sandford.

by Sandford, David M [edt].

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1980Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / ed. by Hermann A. Maurer.

by Maurer, Hermann A, 1941- [edt] | Colloquium on Automata, Languages, and Programming (6th : 16-07-1979 - 20-07-1979 : Graz).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1979Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Public key cryptography : 5th International workshop on practice and theory in public key cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : proceedings / David Naccache, Pascal Paillier (eds.).

by Naccache, David, 1967- | Paillier, Pascal | International Workshop on Practice and Theory in Public Key Cryptosystems, PKC (5 : 12-02-2002 - 14-02-2002 : Paris, France).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2002Other title: PKC 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.).

by Watt, David A. (David Anthony), 1946- [edt] | International Conference on Compiler Construction, CC (9 : 25-03-2000 - 02-04-2000 : Berlin, Germany) | Joint European Conferences on Theory and Practice of Software, ETAPS (3 : Berlin, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2000Other title: CC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha