Your search returned 33 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures / Roland Backhouse [and others] (eds.).

by SSDGP 2006 (2006 : Nottingham, England) | Backhouse, Roland C, 1948-.

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4719. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: SSDGP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automata, languages and programming. Part II : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings / Luca Aceto [and others] (eds.).

Series: Serienbezeichnung | Lecture notes in computer science ; 5126.Source: Automata, languages and programmingMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jrg Kreowski, Grzegorz Rozenberg.

by Corradini, Andrea | Ehrig, Hartmut | Kreowski, Hans -Jrg | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 2505,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17 19, 2000 Proceedings.

by Reichel, Horst | Tison, Sophie.

Series: Serienbezeichnung | Lecture notes in computer science ; 1770,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings. Part III / Meikang Qiu (ed.).

by International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.) | Qiu, Meikang [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12454. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: ICA3PP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Theory of Cryptography : 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020 : proceedings. Part II / Rafael Pass, Krzysztof Pietrzak (eds.).

by Theory of Cryptography Conference (18th : 2020 : Online) | Pass, Rafael [editor.] | Pietrzak, Krzysztof [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12551. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2020]Other title: TCC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Provable and practical security : 14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020, Proceedings / Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang (eds.).

by ProvSec (Conference) (14th : 2020 : Online) | Nguyen, Khoa [editor.] | Wu, Wenling [editor.] | Lam, Kwok Yan [editor.] | Wang, Huaxiong [editor].

Series: Serienbezeichnung | LNCS sublibrary. SL 4, Security and cryptology. | Lecture notes in computer science ; 12505.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ProvSec 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Networked systems : 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings / Chryssis Georgiou, Rupak Majumdar (eds.).

by NETYS (Conference) (8th : 2020 : Online) | Georgiou, Chryssis [editor.] | Majumdar, Rupak [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12129. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2021]Other title: NETYS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SOFSEM 2021: theory and practice of computer science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings / Tomáš Bureš, Riccardo Dondi, Johann Gamper, Giovanna Guerrini, Tomasz Jurdziński, Claus Pahl, Florian Sikora, Prudence W.H. Wong (eds.).

by SOFSEM (Conference) (47th : 2021 : Online) | Bures, Tomas [editor.] | Dondi, Riccardo [editor.] | Gamper, Johann [editor.] | Guerrini, Giovanna, 1969- [editor.] | Jurdzinski, Tomasz [editor.] | Pahl, Claus [editor.] | Sikora, Florian [editor.] | Wong, Prudence W.H [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12607. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2021]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers / Manuel Serrano, Jurriaan Hage (eds.).

by International Symposium on Trends in Functional Programming (16th : 2015 : Sophia-Antipolis, France) | Serrano, Manuel [editor.] | Hage, Jurriaan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9547. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Switzerland : Springer, 2016Other title: TFP 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Progress in cryptology - INDOCRYPT 2018 : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, proceedings / Debrup Chakraborty, Tetsu Iwata (Eds.).

by International Conference in Cryptology in India (19th : 2018 : New Delhi, India) | Chakraborty, Debrup [editor] | Iwata, Tetsu [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 11356.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018]Other title: INDOCRYPT 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8 13, 2002 Proceedings.

by Widmayer, Peter | Eidenbenz, Stephan | Triguero, Francisco | Morales, Rafael | Conejo, Ricardo | Hennessy, Matthew.

Series: Serienbezeichnung | Lecture notes in computer science ; 2380,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, L. (Luc) | Fraigniaud, Pierre | Mignotte, Anne | Robert, Yves.

Series: Serienbezeichnung | Lecture notes in computer science ; 1124.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Euro-Par'96 Parallel Processing : Second International Euro-Par Conference Lyon, France, August 26-29 1996 Proceedings, Volume I / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, L. (Luc) | Fraigniaud, Pierre | Mignotte, Anne | Robert, Yves.

Series: Serienbezeichnung | Lecture notes in computer science ; 1123.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings / Markus Krötzsch, Umberto Straccia (eds.).

by RR (Conference) (6th : 2012 : Vienna, Austria) | Krötzsch, Markus | Straccia, Umberto.

Series: Serienbezeichnung | Lecture notes in computer science ; 7497. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: RR 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha