Your search returned 42 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Adaptive Processing of Sequences and Data Structures : International Summer School on Neural Networks (3z (BE. R. Caianiello (3y (B Vietri sul Mare, Salerno, Italy September 613, 1997 Tutorial Lectures / edited by C. Lee Giles, Marco Gori.

by Giles, C. Lee | Gori, Marco.

Series: Serienbezeichnung | Lecture notes in computer science ; 1387,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, 1998Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Word Equations and Related Topics : Second International Workshop, IWWERT '91 Rouen, France, October 7-9, 1991 Proceedings / edited by Habib Abdulrab, Jean-Pierre Pécuchet.

by Abdulrab, Habib | Pécuchet, Jean-Pierre.

Series: Serienbezeichnung | Lecture notes in computer science ; 677.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Metaclasses and Their Application : Data Model Tailoring and Database Integration / by Wolfgang Klas, Michael Schrefl.

by Klas, Wolfgang | Schrefl, Michael.

Series: Serienbezeichnung | Lecture notes in computer science ; 943.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.).

by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automated technology for verification and analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Dang Van Hung, Oleg Sokolsky (eds.).

by ATVA (Symposium) (18th : 2020 : Hanoi, Vietnam) | Dang, Hung Van, 1950- [editor.] | Sokolsky, Oleg [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12302. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ATVA 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Spatial Information Theory. Foundations of Geographic Information Science : International Conference, COSIT 2003, Kartause Ittingen, Switzerland, September 24-28, 2003. Proceedings / edited by Walter Kuhn, Michael F. Worboys, Sabine Timpf.

by Kuhn, Walter | Worboys, Michael F | Timpf, Sabine.

Series: Serienbezeichnung | Lecture notes in computer science ; 2825,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence Hamburg, Germany, February 28-March 2, 1994 Proceedings / edited by Kai Luck, Heinz Marburger.

by Luck, Kai von | Marburger, H. (Heinz).

Series: Serienbezeichnung | Lecture notes in computer science ; 777.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
IGIS '94: Geographic Information Systems : International Workshop on Advanced Research in Geographic Information Systems Monte Verità, Ascona, Switzerland February 28 - March 4, 1994 Proceedings / edited by Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer.

by Nievergelt, Jurg | Roos, Thomas | Schek, Hans-Jörg | Widmayer, Peter.

Series: Serienbezeichnung | Lecture notes in computer science ; 884.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1994Online 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
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).
Place hold Log in to add tags
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).
Place hold Log in to add tags
Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020 : proceedings. Part III / Frank Hutter, Kristian Kersting, Jefrey Lijffijt, Isabel Valera (eds.).

by ECML PKDD (Conference) (2020 : Online) | Hutter, Frank [editor.] | Kersting, Kristian [editor.] | Lijffijt, Jefrey [editor.] | Valera, Isabel [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 12459.Source: Springer Nature eBookMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2021]Other title: ECML PKDD 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
Ad-Hoc, mobile, and wireless networks : 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19-21, 2020, Proceedings / Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo (eds.).

by ADHOC-NOW (Conference) (19th : 2020 : Online) | Grieco, Luigi Alfredo [editor] | Boggia, Gennaro [editor] | Piro, Giuseppe [editor] | Jararweh, Yaser [editor] | Campolo, Claudia [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 12338. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ADHOC-NOW 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Ad-Hoc, mobile, and wireless networks : 19th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2020, Bari, Italy, October 19-21, 2020, Proceedings / Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo (eds.).

by ADHOC-NOW (Conference) (19th : 2020 : Online) | Grieco, Luigi Alfredo [editor] | Boggia, Gennaro [editor] | Piro, Giuseppe [editor] | Jararweh, Yaser [editor] | Campolo, Claudia [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 12338. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2020Other title: ADHOC-NOW 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reachability problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / Sylvain Schmitz, Igor Potapov (eds.).

by International Conference on Reachability Problems (14th : 2020 : online) | Schmitz, Sylvain [editor.] | Potapov, Igor [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12448. | 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: RP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reachability problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / Sylvain Schmitz, Igor Potapov (eds.).

by International Conference on Reachability Problems (14th : 2020 : online) | Schmitz, Sylvain [editor.] | Potapov, Igor [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12448. | 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: RP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mobile web and intelligent information systems : 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017, proceedings / Muhammad Younas, Irfan Awan, Irena Holubova (Eds.).

by MobiWIS (Conference) (14th : 2017 : Prague, Czech Republic) | Younas, Muhammad (Senior lecturer in computer science) [editor.] | Awan, Irfan [editor.] | Holubova, Irena [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10486.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2017]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Similarity search and applications : 12th International Conference, SISAP 2019, Newark, NJ, USA, October 2-4, 2019, Proceedings / Giuseppe Amato, Claudio Gennaro, Vincent Oria, Miloš Radovanović (eds.).

by International Conference on Similarity Search and Applications (12th : 2019 : Newark, N.J.) | Amato, Giuseppe | Gennaro, Claudio | Oria, Vincent | Radovanović, Miloš.

Series: Serienbezeichnung | Lecture notes in computer science ; 11807. | 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, 2019Other title: SISAP 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
Pages

Powered by Koha