Your search returned 241 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Graph drawing and network visualization : 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised selected papers / edited by Fabrizio Frati, Kwan-Liu Ma.

by GD (Symposium) (25th : 2017 : Boston) | Frati, Fabrizio [editor.] | Ma, Kwan-Liu [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10692.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: GD 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms and discrete applied mathematics : 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / edited by B.S. Panda, Partha P. Goswami.

by CALDAM (Conference) (4th : 2018 : Guwahati, India) | Panda, B. S [editor.] | Goswami, Partha P [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10743. | 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, [2018]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Combinatorial algorithms : 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers / edited by Ljiljana Brankovic, Joe Ryan, William F. Smyth.

by International Workshop on Combinatorial Algorithms (28th : 2017 : Newcastle, Australia) | Brankovic, Ljiljana [editor.] | Ryan, Joe [editor.] | Smyth, William F [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10765.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: IWOCA 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reliable software technologies -- Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / António Casimiro, Pedro M. Ferreira (Eds.).

by Ada-Europe International Conference on Reliable Software Technologies (23rd : 2018 : Lisbon, Portugal) | Casimiro, António [editor.] | Ferreira, Pedro M [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10873.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2018]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
Trends in functional programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers / David Van Horn, John Hughes (eds.).

by International Symposium on Trends in Functional Programming (17th : 2016 : College Park, Md.) | Van Horn, David [editor.] | Hughes, John, 1958- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10447. | 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, 2019Other title: TFP 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Developments in language theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings / Piotrek Hofman, Michał Skrzypczak (eds.).

by Conference on Developments in Language Theory (23rd : 2019 : Warsaw, Poland) | Hofman, Piotrek [editor.] | Skrzypczak, Michał [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11647. | 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, [2019]Other title: DLT 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithms and data structures : 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings / Zachary Friggstad, Jörg-Rüdiger Sack, Mohammad R. Salavatipour, eds.

by International Algorithms and Data Structures Symposium (16th : 2019 : Edmonton, Canada) | Friggstad, Zachary [editor.] | Sack, J.-R. (Jörg-Rüdiger), 1954- [editor.] | Salavatipour, Mohammad R [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11646. | 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, [2019]Copyright date: ©2019Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Information and communications security [electronic resource] : 21st International Conference, ICICS 2019, Beijing, China, December 15-17, 2019, Revised Selected Papers / Jianying Zhou, Xiapu Luo, Qingni Shen, Zhen Xu (eds.).

by ICICS (Conference) (21st : 2019 : Beijing, China) | Zhou, Jianying | Luo, Xiapu | Shen, Qingni | Xu, Zhen.

Series: Serienbezeichnung | Lecture notes in computer science ; 11999. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2020Other title: ICICS 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
On the move to meaningful internet systems : OTM 2019 workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21-25, 2019, Revised Selected Papers / Christophe Debruyne, Hervé Panetto, Wided Guédria, Peter Bollen, Ioana Ciuciu, George Karabatis, Robert Meersman (eds.).

by OTM Confederated International Conferences (18th : 2019 : Rhodes, Greece) | Debruyne, Christophe [editor.] | Panetto, Herve [editor.] | Guedria, Wided, 1982- [editor.] | Bollen, Peter [editor.] | Ciuciu, Ioana, 1982- [editor.] | Karabatis, George [editor.] | Meersman, R [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11878. | 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, 2020Copyright date: ©2020Other title: OTM 2019.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 : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers / William J. Bowman, Ronald Garcia (eds.).

by International Symposium on Trends in Functional Programming (20th : 2019 : Vancouver, B.C.) | Bowman, William J | Garcia, Ronald.

Series: Serienbezeichnung | Lecture notes in computer science ; 12053. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cham : Springer, 2020Other title: TFP 2019.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday / Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner (eds.).

by Blass, Andreas, 1947- | Cégielski, Patrick, 1954- | Dershowitz, Nachum | Droste, Manfred, 1956- | Finkbeiner, Bernd.

Series: Serienbezeichnung | Lecture notes in computer science ; 12180. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Cham : Springer, 2020Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks / by Michael Voss, Rafael Asenjo, James Reinders.

by Voss, Michael [author.] | Asenjo, Rafael [author.] | Reinders, James [author.] | SpringerLink (Online service).

Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2019Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
No cover image available
International Symposium on Mathematics, Quantum Theory, and Cryptography [electronic resource] : Proceedings of MQC 2019 / edited by Tsuyoshi Takagi, Masato Wakayama, Keisuke Tanaka, Noboru Kunihiro, Kazufumi Kimoto, Yasuhiko Ikematsu.

by Takagi, Tsuyoshi [editor.] | Wakayama, Masato [editor.] | Tanaka, Keisuke [editor.] | Kunihiro, Noboru [editor.] | Kimoto, Kazufumi [editor.] | Ikematsu, Yasuhiko [editor.] | SpringerLink (Online service).

Series: Mathematics for Industry ; 33Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2021Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Projection-Based Clustering through Self-Organization and Swarm Intelligence [electronic resource] : Combining Cluster Analysis with the Visualization of High-Dimensional Data / by Michael Christoph Thrun.

by Thrun, Michael Christoph [author.] | SpringerLink (Online service).

Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Intertwingled [electronic resource] : The Work and Influence of Ted Nelson / edited by Douglas R. Dechow, Daniele C. Struppa.

by Dechow, Douglas R [editor.] | Struppa, Daniele C [editor.] | SpringerLink (Online service).

Series: History of ComputingEdition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic 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).
Place hold Log in to add tags
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Mikołaj Bojańczyk, Alex Simpson.

by Bojańczyk, Mikołaj [editor.] | Simpson, Alex [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 11425Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters.

by Bauer, Lujo [editor.] | Küsters, Ralf [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10804Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman.

by Beyer, Dirk [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10805Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Security of Networks and Services in an All-Connected World [electronic resource] : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings / edited by Daphne Tuncer, Robert Koch, Rémi Badonnel, Burkhard Stiller.

by Tuncer, Daphne [editor.] | Koch, Robert [editor.] | Badonnel, Rémi [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10356Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online 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