Your search returned 241 results.

Not what you expected? Check for suggestions
Sort
Results
Critical infrastructure protection : information infrastructure models, analysis, and defense / Javier Lopez, Roberto Setola, Stephen D. Wolthusen (eds.).

by López, Javier | Setola, Roberto | Wolthusen, Stephen D.

Series: Serienbezeichnung | Lecture notes in computer science ; 7130. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / edited by J.W. de Bakker, W.-P. de Roever, [and] G. Rozenberg.

by Bakker, J. W. de (Jacobus Willem), 1939- [editor.] | Roever, W.-P. de, 1943- [editor.] | Rozenberg, Grzegorz [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 354.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020, Proceedings / Manoj Changat, Sandip Das (eds.).

by CALDAM (Conference) (6th : 2020 : Hyderabad, India) | Changat, Manoj [editor.] | Das, Sandip [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12016. | 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, 2020Copyright date: ©2020Other title: CALDAM 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph structures for knowledge representation and reasoning : second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / Madalina Croitoru [and others] (eds.).

by GKR (Conference) (2nd : 2011 : Barcelona, Spain) | Croitoru, Madalina.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 7205. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Other title: GKR 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web reasoning and rule systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings / Balder ten Cate, Alessandra Mileo (eds.).

by RR (Conference) (9th : 2015 : Berlin, Germany) | Cate, Balder David ten [editor.] | Mileo, Alessandra [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9209. | 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 Publisher: Cham : Springer, 2015Other title: RR 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph structures for knowledge representation and reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, revised selected papers / Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).

by GKR (Conference) (4th : 2015 : Buenos Aires, Argentina) | Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian (Computer scientist) [editor.] | Stapleton, Gem [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9501. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: GKR 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web reasoning and rule systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / Magdalena Ortiz, Stefan Schlobach (eds.).

by RR (Conference) (10th : 2016 : Aberdeen, Scotland) | Ortiz, Magdalena [editor.] | Schlobach, Stefan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9898. | 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 Publisher: Switzerland : Springer, 2016Other title: RR 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Similarity search and applications : 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / Laurent Amsaleg, Michael E. Houle, Erich Schubert (eds.).

by International Conference on Similarity Search and Applications (9th : 2016 : Tokyo, Japan) | Amsaleg, Laurent [editor.] | Houle, Michael E [editor.] | Schubert, Erich [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9939. | 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 Publisher: Cham, Switzerland : Springer, 2016Other title: SISAP 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical morphology and its applications to signal and image processing : 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017, Proceedings / edited by Jesús Angulo, Santiago Velasco-Forero, Fernand Meyer.

by International Symposium on Mathematical Morphology and its Applications to Image and Signal Processing (13th : 2017 : Fontainebleau, France) | Angulo, Jesús [editor.] | Velasco-Forero, Santiago [editor.] | Meyer, Fernand [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10225.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Human aspects of IT for the aged population : aging, design and user experience : Third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings. Part I / Jia Zhou, Gavriel Salvendy (Eds.).

by ITAP (Conference) (3rd : 2017 : Vancouver, B.C.) | Zhou, Jia (Assistant professor) [editor.] | Salvendy, Gavriel [editor.] | International Conference on Human-Computer Interaction (19th : 2017 : Vancouver, B.C.).

Series: Serienbezeichnung | Lecture notes in computer science ; 10297. | 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 Publisher: Cham, Switzerland : Springer, [2017]Other title: ITAP 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / Juan de Lara, Detlef Plump, editors.

by ICGT (Conference) (10th : 2017 : Marburg, Germany) | Lara, Juan de (Lara Jaramillo) [editor.] | Plump, Detlef [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10373.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Similarity search and applications : 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedings / edited by Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl.

by International Conference on Similarity Search and Applications (10th : 2017 : Munich, Germany) | Beecks, Christian [editor.] | Borutta, Felix [editor.] | Kröger, Peer [editor.] | Seidl, Thomas [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10609.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: SISAP 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithmic aspects of cloud computing : third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised selected papers / Dan Alistarh, Alex Delis, George Pallis (eds.).

by ALGOCLOUD (Workshop) (3rd : 2017 : Vienna, Austria) | Alistarh, Dan [editor.] | Delis, Alex [editor.] | Pallis, George, 1978- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10739. | 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, 2018Other title: ALGOCLOUD 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Graph structures for knowledge representation and reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised selected papers / Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).

by GKR (Conference) (5th : 2017 : Melbourne, Vic.) | Croitoru, Madalina [editor.] | Marquis, Pierre (Professor of Computer Science) [editor.] | Rudolph, Sebastian (Computer scientist) [editor.] | Stapleton, Gem [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10775. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: GKR 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers / edited by Meng Wang, Scott Owens.

by International Symposium on Trends in Functional Programming (18th : 2017 : Canterbury, Great Britain) | Wang, Meng [editor.] | Owens, Scott [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10788. | 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 International Publishing : Imprint : Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Information and communications security : 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, proceedings / edited by Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu.

by ICICS (Conference) (19th : 2017 : Beijing, China) | Qing, Sihan [editor.] | Mitchell, Chris [editor.] | Chen, Liqun [editor.] | Liu, Dongmei (Computer scientist) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10631. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Approximation and online algorithms : 15th International Workshop, WAOA 2017, Vienna, Austria, September 7-8, 2017, revised selected papers / Roberto Solis-Oba, Rudolf Fleischer (Eds.).

by WAOA (Workshop) (15th : 2017 : Vienna, Austria) | Solis-Oba, Roberto [editor.] | Fleischer, Rudolf [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10787. | 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, [2018]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Integration of constraint programming, artificial intelligence, and operations research : 15th International Conference, CPAIOR 2018, Delft, the Netherlands, June 26-29, 2018, Proceedings / edited by Willem-Jan van Hoeve.

by CPAIOR (Conference : 2014- ) (15th : 2018 : Delft, Netherlands) | Van Hoeve, Willem-Jan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10848. | 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, 2018Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Database and expert systems applications : 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018, Proceedings. Part I / edited by Sven Hartmann, Hui Ma, Abdelkader Hameurlain, Günther Pernul, Roland R. Wagner.

by Database and Expert Systems Applications Conference (29th : 2018 : Regensburg, Germany) | Hartmann, Sven, 1969- [editor.] | Ma, Hui (Computer programmer) [editor.] | Hameurlain, Abdelkader [editor.] | Pernul, Günther [editor.] | Wagner, Roland R [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 11029.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2018Other title: DEXA 2018.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Structural, Syntactic, and Statistical Pattern Recognition : Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings / Xiao Bai, Edwin R. Hancock, Tin Kam Ho, Richard C. Wilson, Battista Biggio, Antonio Robles-Kelly (eds.).

by S+SSPR (Workshop) (2018 : Beijing, China) | Xiao, Bai [editor.] | Hancock, Edwin R [editor.] | Ho, Tin Kam [editor.] | Wilson, Richard C [editor.] | Biggio, Battista [editor.] | Robles-Kelly, Antonio [editor.].

Series: Serienbezeichnung | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics. | Lecture notes in computer science ; 11004.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).
Pages

Powered by Koha