Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
|
|
|
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|
|
|
|
|
|
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; Format:
available online
; 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).
|
|
|
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; Format:
available online
; 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).
|