Your search returned 237 results.

Not what you expected? Check for suggestions
Sort
Results
The Munich Project CIP : Volume II: The Program Transformation System CIP-S / edited by F.L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper.

by Bauer, F. L | Ehler, H | Horsch, A | Möller, B | Partsch, H | Paukner, O | Pepper, P.

Series: Serienbezeichnung | Lecture notes in computer science ; 292.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Discrete and Computational Geometry.

Series: Serienbezeichnung | Lecture notes in computer scienceMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Springer Berlin / Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings / edited by Jiří Fiala, Václav Koubek, Jan Kratochvíl.

by Fiala, Jiří | Koubek, Václav | Kratochvíl, Jan.

Series: Serienbezeichnung | Lecture notes in computer science ; 3153.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 1, 2004. Proceedings / edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg.

by Ehrig, Hartmut | Engels, Gregor | Parisi-Presicce, Francesco | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 3256.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Design and Implementation of Large Spatial Databases : First Symposium SSD '89 Santa Barbara, California, July 17/18, 1989 Proceedings / edited by Alejandro P. Buchmann, Oliver Günther, Terence R. Smith, Yuan-Fang Wang.

by Symposium SSD (1st : 1989 : Santa Barbara, Calif.) | Buchmann, Alejandro P | Günther, Oliver | Smith, Terence R | Wang, Yuan-Fang.

Series: Serienbezeichnung | Lecture notes in computer science ; 409.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings / edited by Andrzej M. Borzyszkowski, Stefan Sokołowski.

by Borzyszkowski, Andrzej M | Sokołowski, Stefan.

Series: Serienbezeichnung | Lecture notes in computer science ; 711.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms -- ESA '94 : Second Annual European Symposium Utrecht, the Netherlands, September 26-28, 1994 Proceedings / edited by Jan Leeuwen.

by ESA (Symposium) (2nd : 1994 : Utrecht, Netherlands) | Leeuwen, J. van (Jan).

Series: Serienbezeichnung | Lecture notes in computer science ; 855.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithm Theory -- SWAT'96 : 5th Scandinavian Workshop on Algorithm Theory Reykjavík, Iceland, July 3-5, 1996 Proceedings / edited by Rolf Karlsson, Andrzej Lingas.

by Scandinavian Workshop on Algorithm Theory (5th : 1996 : Reykjavík, Iceland) | Karlsson, R. (Rolf), 1950- | Lingas, Andrzej.

Series: Serienbezeichnung | Lecture notes in computer science ; 1097.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Parameterized and exact computation : 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised selected papers / Gregory Gutin, Stefan Szeider (eds.).

by IPEC (Symposium) (8th : 2013 : Sophia-Antipolis, France) | Gutin, Gregory, 1957- [editor.] | Szeider, Stefan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8246. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2013Other title: IPEC 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Combinatorial algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers / edited by Thierry Lecroq, Laurent Mouchard.

by International Workshop on Combinatorial Algorithms (24th : 2013 : Rouen, France) | Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8288.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, revised selected papers.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Engineering secure software and systems : 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / Jan Jürjens, Frank Piessens, Nataliia Bielova (eds.).

by ESSoS (Symposium) (6th : 2014 : Munich, Germany) | Jürjens, Jan [editor.] | Piessens, F. (Frank) [editor.] | Bielova, Nataliia [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8364. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Similarity Search and Applications : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings / edited by Giuseppe Amato, Richard Connor, Fabrizio Falchi, Claudio Gennaro.

by Amato, Giuseppe [editor.] | Connor, Richard [editor.] | Falchi, Fabrizio [editor.] | Gennaro, Claudio [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9371.Edition: 1st ed. 2015.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Structural Information and Communication Complexity : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler.

by Colloquium on Structural Information and Communication Complexity (22nd : 2015 : Montserrat, Spain) | Scheideler, Christian [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9439. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: SIROCCO 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Distributed computing : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / edited by Yoram Moses.

by DISC (Symposium) (29th : 2015 : Tokyo, Japan) | Moses, Yoram [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9363. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and computation : 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings / edited by Khaled Elbassioni, Kazuhisa Makino.

by ISAAC (Symposium) (26th : 2015 : Nagoya-shi, Japan) | Elbassioni, Khaled [editor.] | Makino, Kazuhisa [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9472. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, 2015Other title: ISAAC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
WALCOM Algorithms and Computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020, Proceedings / M. Sohel Rahman, Kunihiko Sadakane, Wing-Kin Sung (eds.).

by WALCOM (Workshop) (14th : 2020 : Singapore, Singapore) | Rahman, M. Sohel | Sadakane, Kunihiko | Sung, Wing-Kin.

Series: Serienbezeichnung | Lecture notes in computer science ; 12049. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: WALCOM 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in cryptology -- CRYPTO 2020 : 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17-21, 2020, Proceedings. Part III / Daniele Micciancio, Thomas Ristenpart (eds.).

by CRYPTO (Conference) (40th : 2020 : Online) | Micciancio, Daniele | Ristenpart, Thomas.

Series: Serienbezeichnung | Lecture notes in computer science ; 12172. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: CRYPTO 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advanced ANSI SQL data modeling and structure processing / Michael M. David.

by David, Michael M.

Series: Artech House computer science libraryMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Boston : Artech House, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Digital content annotation and transcoding / Katashi Nagao.

by Nagao, Katashi.

Series: Artech House digital audio and video libraryMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Boston, MA : Artech House, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Data modeling essentials / Graeme C. Simsion and Graham C. Witt.

by Simsion, Graeme C | Witt, Graham C.

Edition: 3rd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha