Your search returned 50 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Advances in rule interchange and applications : international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 ; proceedings / Adrian Paschke, Yevgen Biletskiy (eds.).

by RuleML (Symposium : Rule interchange) (2007 : Orlando, Fla.) | Paschke, Adrian | Biletskiy, Yevgen.

Series: Serienbezeichnung | Lecture notes in computer science ; 4824. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12180622Publication details: Berlin : Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings / Egon Börger [and others] (eds.).

by ABZ (Conference) (1st : 2008 : London, England) | Börger, E. (Egon), 1946-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5238. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2008Other title: ABZ 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Language and automata theory and applications : third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 : proceedings / Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martin-Vide (eds.).

by LATA (Conference) (3rd : 2009 : Tarragona, Spain) | Horia Dediu, Adrian | Mihai Ionescu, Armand | Martín Vide, Carlos.

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 5457.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Applications and theory of petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / Giuliana Franceschinis, Karsten Wolf (eds.).

by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (30th : 2009 : Paris, France) | Franceschinis, Giuliana | Wolf, Karsten, 1967-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5606. | 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, ©2009Other title: PETRI NETS 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings / Philippa Gardner, Floris Geerts (eds.).

by International Symposium on Database Programming Languages (12th : 2007 : Lyon, France) | Gardner, Philippa | Geerts, Floris.

Series: Serienbezeichnung | Lecture notes in computer science ; 5708. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12740819Publication details: Berlin ; New York : Springer, ©2009Other title: DBPL 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Database and XML technologies : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009 : proceedings / Zohra Bellahsène [and others] (eds.).

by International XML Database Symposium (6th : 2009 : Lyon, France) | Bellahsène, Zohra, 1954-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5679. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12728664Publication details: Berlin ; New York : Springer, ©2009Other title: XSym 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Reasoning web : semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / Sergio Tessaris [and others] (eds.).

by Summer School on Reasoning Web (5th : 2009 : Bressanone, Italy) | Tessaris, Sergio.

Series: Serienbezeichnung | Lecture notes in computer science ; 5689. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2009Other title: Semantic technologies for information systems.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Programming languages and systems : 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Andrew D. Gordon (Ed.).

by European Symposium on Programming (19th : 2010 : Paphos, Cyprus) | Gordon, Andrew D.

Series: Serienbezeichnung | Lecture notes in computer science ; 6012. | 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 number: 80011080Publication details: Berlin : Springer, 2010Other title: ESOP 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Objects, models, components, patterns : 48th international conference, TOOLS 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Jan Vitek (ed.).

by TOOLS (Conference) (48th : 2010 : Málaga, Spain) | Vitek, Jan (Computer scientist).

Series: Serienbezeichnung | Lecture notes in computer science ; 6141. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 ; advanced lectures / Alessandro Aldini [and others] (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy) | Aldini, Alessandro.

Series: Serienbezeichnung | Lecture notes in computer science ; 6154. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Other title: SFM 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings / Johan Lilius, Wojciech Penczek (eds.).

by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st : 2010 : Braga, Portugal) | Lilius, Johan | Penczek, Wojciech.

Series: Serienbezeichnung | Lecture notes in computer science ; 6128. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2010Other title: PETRI NETS 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings / Theo D'Hondt (ed.).

by ECOOP (Conference) (24th : 2010 : Maribor, Slovenia) | D'Hondt, Theo.

Series: Serienbezeichnung | Lecture notes in computer science ; 6183.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Focused retrieval and evaluation : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and selected papers / Shlomo Geva, Jaap Kamps, Andrew Trotman (Eds.).

by Initiative for the Evaluation of XML Retrieval (Project). International Workshop (8th : 2009 : Brisbane, Australia) | Geva, Shlomo | Kamps, Jaap | Trotman, Andrew.

Series: Serienbezeichnung | Lecture notes in computer science ; 6203. | 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 Publication details: Berlin ; New York : Springer-Verlag, ©2010Other title: INEX 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / Adrian-Horia Dediu, Henning Fernau, Carlos Martín-Vide (eds.).

by LATA (Conference) (4th : 2010 : Trier, Germany) | Horia Dediu, Adrian | Fernau, Henning, 1965- | Martín Vide, Carlos.

Series: Serienbezeichnung | Lecture notes in computer science ; 6031. | 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, ©2010Other title: LATA 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Developments in language theory : 14th international conference, DLT 2010, London, ON, Canada, August 17-20, 2010 : proceedings / Yuan Gao [and others] (eds.).

by Conference on Developments in Language Theory (14th : 2010 : London, Ont.) | China (Republic : 1949- ). Gao deng fa yuan.

Series: Serienbezeichnung | Lecture notes in computer science ; 6224. | 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 : Springer, 2010Other title: DLT 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers / Thomas Icard, Reinhard Muskens (eds.).

by European Summer School in Logic, Language, and Information (20th : 2008 : Hamburg, Germany) | Icard, Thomas | Muskens, Reinhard, 1953- | European Summer School in Logic, Language, and Information (21st : 2009 : Bordeaux, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 6211. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Other title: ESSLLI 2008 | ESSLLI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised papers / Ralf Lämmel, João Saraiva, Joost Visser (eds.).

by GTTSE (Summer School) (4th : 2011 : Braga, Portugal) | Lämmel, Ralf | Saraiva, João | Visser, Joost.

Series: Serienbezeichnung | Lecture notes in computer science ; 7680. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: Generative and transformational techniques in software engineering 4 | GTTSE 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software language engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised selected papers / edited by Krzysztof Czarnecki, Görel Hedin.

by SLE (Conference) (5th : 2012 : Dresden, Germany) | Czarnecki, Krzysztof, 1970- | Hedin, Görel, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 7745. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: SLE 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Matthias Felleisen, Philippa Gardner (eds.).

by European Symposium on Programming (22nd : 2013 : Rome, Italy) | Felleisen, Matthias | Gardner, Philippa | ETAPS (Conference) (16th : 2013 : Rome, Italy).

Series: Serienbezeichnung | Lecture notes in computer science ; 7792. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013Other title: ESOP 2013 | ETAPS 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic, language, and computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised selected papers / Guram Bezhanishvili [and others] (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (9th : 2011 : Kutaisi, Georgia) | Bezhanishvili, Guram.

Series: Serienbezeichnung | Lecture notes in computer science ; 7758. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | 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, ©2013Other title: TbiLLC 2011.Online 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