Your search returned 210 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.

by Gabbay, Dov M [editor.] | Goncharov, Sergei S [editor.] | Zakharyaschev, Michael [editor.] | SpringerLink (Online service).

Series: International Mathematical Series ; 4Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou.

by Triantaphyllou, Evangelos [author.] | SpringerLink (Online service).

Series: Springer Optimization and Its Applications ; 43Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Cellular Automata and Groups [electronic resource] / by Tullio Ceccherini-Silberstein, Michel Coornaert.

by Ceccherini-Silberstein, Tullio [author.] | Coornaert, Michel [author.] | SpringerLink (Online service).

Series: Springer Monographs in MathematicsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg.

by Bergstra, Jan A [author.] | Middelburg, Cornelis A [author.] | SpringerLink (Online service).

Series: Atlantis Studies in Computing ; 2Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero.

by Mogavero, Fabio [author.] | SpringerLink (Online service).

Series: Atlantis Studies in Computing ; 3Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Kai Koskimies (ed.).

by Koskimies, Kai [edt] | International Conference on Compiler Construction, CC (7 : 28-03-1998 - 04-04-1998 : Lisbon, Portugal) | Joint European Conferences on Theory and Practice of Software, ETAPS (Lisbon, Portugal).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1998Other title: CC'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.).

佐藤, 泰介. by Fuji International Symposium on Functional and Logic Programming (4th : 1999 : Tsukuba Kenkyū Gakuen Toshi, Japan) | Middeldorp, Aart, 1963- | Satō, Taisuke.

Series: Serienbezeichnung | Lecture notes in computer science ; 1722.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / Joost-Pieter Katoen, Barbara König (eds.).

by International Conference on Concurrency Theory (22nd : 2011 : Aachen, Germany) | Katoen, Joost-Pieter | König, Barbara (Professor of Information Engineering).

Series: Serienbezeichnung | Lecture notes in computer science ; 6901. | 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 Publication details: Heidelberg ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers / Sven-Bodo Scholz, Olaf Chitil (eds.).

by International Symposium on Implementation and Application of Functional Languages (20th : 2008 : Hatfield, Hertfordshire, England) | Scholz, Sven-Bodo | Chitil, Olaf.

Series: Serienbezeichnung | Lecture notes in computer science ; 5836.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online 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 : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.).

by ATVA (Symposium) (9th : 2011 : Taipei, Taiwan) | Bultan, Tevfik | Hsiung, Pao-Ann.

Series: Serienbezeichnung | Lecture notes in computer science ; 6996.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2011Other title: ATVA 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings / Cesare Tinelli, Viorica Sofronie-Stokkermans (eds.).

by FroCoS (Symposium) (8th : 2011 : Saarbrücken, Germany) | Tinelli, C. (Cesare) | Sofronie-Stokkermans, Viorica.

Series: Serienbezeichnung | Lecture notes in computer science ; 6989. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / Makoto Kanazawa [and others] (eds.).

by Mathematics of Language (12th : 2011 : Nara, Japan) | Kanazawa, Makoto, 1964-.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 6878.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Extreme Programming and Agile Methods - XP / Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings.

by Maurer, F. (Frank) | Wells, Don.

Series: Serienbezeichnung | Lecture notes in computer science ; 2753,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
Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).

by FORMATS (Conference) (9th : 2011 : Ålborg, Denmark) | Fahrenberg, Uli | Tripakis, Stavros.

Series: Serienbezeichnung | Lecture notes in computer science ; 6919. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011Other title: FORMATS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings / Franziska Klügl, Sascha Ossowski (eds.).

by MATES (Conference) (9th : 2011 : Berlin, Germany) | Klügl, Franziska | Ossowski, Sascha, 1968-.

Series: Serienbezeichnung | Lecture notes in computer science ; 6973. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, the Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds).

by International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands) | Hage, Jurriaan | Morazán, Marco T.

Series: Serienbezeichnung | Lecture notes in computer science ; 6647.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / Hans van Ditmarsch, Jérôme Lang, Shier Ju (eds.).

by LORI (Workshop) (3rd : 2011 : Guangzhou, China) | Ditmarsch, Hans van, 1959- | Lang, Jérôme | Ju, Shier.

Series: Serienbezeichnung | Lecture notes in computer science ; 6953. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Jyrki Kivinen [and others] (eds.).

by ALT 2011 (2011 : Espoo, Finland) | Kivinen, Jyrki, 1965-.

Series: Serienbezeichnung | Lecture notes in computer science ; 6925. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2011Other title: ALT 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers / Danny Weyns, Marie-Pierre Gleizes (ed.).

by AOSE (Workshop) (11th : 2010 : Toronto, Ont.) | Weyns, Danny | Gleizes, Marie-Pierre.

Series: Serienbezeichnung | Lecture notes in computer science ; 6788.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / Giorgio Delzanno, Igor Potapov (eds.).

by RP (Workshop) (5th : 2011 : Genoa, Italy) | Delzanno, Giorgio | Potapov, Igor.

Series: Serienbezeichnung | Lecture notes in computer science ; 6945. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011Online 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