Your search returned 56 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Advances in rule interchange and applications : international symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007 ; proceedings / Adrian Paschke, Yevgen Biletskiy (eds.). by Series: 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:
  • 12180622
Publication details: Berlin : Springer, 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
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 Series: Lecture notes in computer science ; 5238. | 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, ©2008
Other title:
  • ABZ 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus and others]. by Series: Lecture notes in computer science ; 55.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1977
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner. by Series: Lecture notes in computer science ; 369.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1989
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
A hierarchical associative processing system / Heinrich J. Stüttgen. by Series: Lecture notes in computer science ; 195.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
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 Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 5457.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
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 Series: 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, ©2009
Other title:
  • PETRI NETS 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 : proceedings / Philippa Gardner, Floris Geerts (eds.). by Series: Lecture notes in computer science ; 5708. | 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 number:
  • 12740819
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • DBPL 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Database and XML technologies : 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009 : proceedings / Zohra Bellahsène [and others] (eds.). by Series: Lecture notes in computer science ; 5679. | 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 number:
  • 12728664
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • XSym 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
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 Series: 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.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Other title:
  • Semantic technologies for information systems
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
A study in string processing languages / Paul Klint. by Series: Lecture notes in computer science ; 205.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1985
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Complementary definitions of programming language semantics / James E. Donahue. by Series: Lecture notes in computer science ; 42.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1976
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
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 Series: 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:
  • 80011080
Publication details: Berlin : Springer, 2010
Other title:
  • ESOP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
The Vienna development method : the Meta-language / edited by D. Bjørner and C.B. Jones. by Series: Lecture notes in computer science ; 61.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1978
Other title:
  • Meta-language
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / Neil D. Jones, Steven S. Muchnick. by Series: Lecture notes in computer science ; 66.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1978
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Objects, models, components, patterns : 48th international conference, TOOLS 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings / Jan Vitek (ed.). by Series: 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
18.
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 Series: Lecture notes in computer science ; 6128. | 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, ©2010
Other title:
  • PETRI NETS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
ECOOP 2010 - object-oriented programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010 ; proceedings / Theo D'Hondt (ed.). by Series: Lecture notes in computer science ; 6183.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
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 Series: 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, ©2010
Other title:
  • INEX 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha