Refine your search

Your search returned 567 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Hermenegildo, eds. by Series: Lecture notes in computer science ; 5944. | 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / Fabio Massacci, Dan Wallach, Nicola Zannone (eds.). by Series: Lecture notes in computer science ; 5965. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Other title:
  • ESSoS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
High performance embedded architectures and compilers : 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings / Yale N. Patt [and others] (eds.). by Series: Lecture notes in computer science ; 5952. | 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:
  • HiPEAC 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Structural information and communication complexity : 16th international colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009 : revised selected papers / Shay Kutten, Janez Žerovnik (eds.). by Series: Lecture notes in computer science ; 5869. | 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, ©2010
Other title:
  • SIROCCO 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Fundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers / Farhad Arbab, Marjan Sirjani (eds.). by Series: Lecture notes in computer science ; 5961. | 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
Other title:
  • FSEN 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.). by Series: Lecture notes in computer science ; 5947. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12829361
Publication details: Berlin : Springer, ©2010
Other title:
  • PSI 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Membrane computing : 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers / Gheorghe Păun [and others] (eds.). by Series: Lecture notes in computer science ; 5957. | 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:
  • WMC 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Biomedical simulation : 5th international symposium, ISBMS 2010, Phoenix, AZ, USA, January 23-24, 2010 : proceedings / Fernando Bello, Stéphane Cotin (eds.). by Series: Lecture notes in computer science ; 5958. | 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:
  • ISBMS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Grid resource management : on-demand provisioning, advance reservation, and capacity planning of grid resources / Mumtaz Siddiqui, Thomas Fahringer. by Series: Lecture notes in computer science ; 5951. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12833689
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, proceedings / Manuel Carro, Ricardo Peña (eds.). by Series: Lecture notes in computer science ; 5937. | 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, ©2010
Other title:
  • PADL 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Teaching fundamental concepts of informatics : 4th International Conference on Informatics in Secondary Schools, Evolution and Perspectives, ISSEP 2010, Zurich, Switzerland, January 13-15, 2010, proceedings / Juraj Hromkovič, Richard Královič, Jan Vahrenhold (eds.). by Series: Lecture notes in computer science ; 5941. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12830671
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • ISSEP 2010
  • Teaching fundamentals concepts of informatics
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / David S. Rosenblum, Gabriele Taentzer, (eds.). by Series: Lecture notes in computer science ; 6013. | 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: Berlin ; New York : Springer, 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Graph drawing : 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / David Eppstein, Emden R. Gansner (eds.). by Series: Lecture notes in computer science ; 5849. | 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, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Computational linguistics and intelligent text processing : 11th international conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, proceedings / Alexander Gelbukh (ed.). by Series: Lecture notes in computer science ; 6008. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • CICLing 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / Matteo Baldoni [and others] (eds.). by Series: Lecture notes in computer science ; 5948. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • Declarative agent languages and technologies 7
  • Declarative agent languages and technologies seven
  • DALT 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Search computing : challenges and directions / Stefano Ceri, Marco Brambilla, (eds.). by Series: Lecture notes in computer science ; 5950. | Lecture notes in computer science. State-of-the-art survey. | 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 : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Transactions on rough sets XI / James F. Peters, Andrzej Skowron (eds.). by Series: Lecture notes in computer science ; 5946.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • Transactions on rough sets 11
  • Transactions on rough sets eleven
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
Graph-theoretic concepts in computer science : 35th international workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / Christophe Paul, Michel Habib (eds.). by Series: Lecture notes in computer science ; 5911. | 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: Berlin ; New York : Springer, ©2010
Other title:
  • WG 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Advances in Multimedia Modeling : 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings / Susanne Boll [and others] (Eds.). by Series: Lecture notes in computer science ; 5916.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • MMM 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Pages

Powered by Koha