Your search returned 12 results.

Not what you expected? Check for suggestions
Sort
Results
Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, proceedings. Part I / Fedor V. Fomin, Rūsin̜š Freivalds, Marta Kwiatkowska, David Peleg (eds.).

by International Colloquium on Automata, Languages, and Programming (40th : 2013 : Rīga, Latvia) | Fomin, Fedor V [editor.] | Freĭvald, R. V [editor.] | Kwiatkowska, Marta [editor.] | Peleg, D. (David) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 7965. | 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: Heidelberg : Springer, [2013]Other title: ICALP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / Krishnendu Chatterjee, Jirí Sgall (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (38th : 2013 : Klosterneuburg, Austria) | Chatterjee, Krishnendu [editor.] | Sgall, Jiří, 1965- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8087. | Lecture notes in computer science. Advanced research in computing and software science.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fundamental approaches to software engineering : 17th International Conference, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / Stefania Gnesi, Arend Rensink (eds.).

by FASE (Conference) (17th : 2014 : Grenoble, France) | Gnesi, Stefania, 1954- [editor.] | Rensink, Arend [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 8411. | 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: Heidelberg : Springer, 2014Other title: FASE 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.

by FOSSACS (Conference) (17th : 2014 : Grenoble, France) | Muscholl, Anca [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 8412. | 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: Heidelberg : Springer, 2014Other title: FOSSACS.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Programming languages and systems : 23rd European Symposium on Programming, ESOP 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / Zhong Shao (eds.).

by European Symposium on Programming (23rd : 2014 : Grenoble, France) | Shao, Zhong, 1968- [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 8410. | 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: Heidelberg : Springer, 2014Other title: ESOP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings. Part II / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.).

by International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark) | Esparza, Javier [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8573. | 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: Heidelberg : Springer, 2014Other title: ICALP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
CONCUR 2013-- Concurrency theory : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / Pedro R. D'Argenio, Hernán Melgratti (eds.).

by International Conference on Concurrency Theory (24th : 2013 : Buenos Aires, Argentina) | D'Argenio, Pedro R, 1968- [editor.] | Melgratti, Hernán [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8052. | 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: Heidelberg : Springer, 2013Other title: CONCUR 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Web and internet economics : 9th international conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013 : proceedings / Yiling Chen, Nicole Immorlica (eds.).

by WINE (Conference) (9th : 2013 : Cambridge, Mass.) | Chen, Yiling (Associate Professor of computer science) [editor.] | Immorlica, Nicole [editor.].

Series: Serienbezeichnung | Lecture notes in computer science. Advanced research in computing and software science. | Lecture notes in computer science ; 8289. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: WINE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings / Kenneth L. McMillan, Xavier Rival (eds.).

by VMCAI (Conference) (15th : 2014 : San Diego, Calif.) | McMillan, Kenneth L [editor.] | Rival, Xavier [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8318. | 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: Heidelberg : Springer, 2014Other title: VMCAI 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings / Erika Ábrahám, Klaus Havelund (eds.).

by TACAS (Conference) (20th : 2014 : Grenoble, France) | Ábrahám, Erika [editor.] | Havelund, Klaus, 1955- [editor.] | ETAPS (Conference) (17th : 2014 : Grenoble, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 8413. | 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: Heidelberg : Springer, 2014Other title: TACAS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings. Part I / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.).

by International Colloquium on Automata, Languages, and Programming (41st : 2014 : Copenhagen, Denmark) | Esparza, Javier [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8572. | 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: Heidelberg : Springer, 2014Other title: ICALP.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and computation : 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings / edited by Leizhen Cai, Siu-Wing Cheng, Tak-Wah Lam.

by ISAAC (Symposium) (24th : 2013 : Hong Kong, China) | Cai, Leizhen [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8283. | 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: Heidelberg : Springer, 2013Other title: ISAAC 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha