Refine your search

Your search returned 139 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / Krishnendu Chatterjee, Thomas A. Henzinger (eds.). by Series: Lecture notes in computer science ; 6246. | LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2010
Online resources:
Availability: Items available for loan: Library (1)Call number: 004-2010.
Place hold
2.
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
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.
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
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed. by Series: Lecture notes in computer science ; 6037. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 80013034
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • LOPSTR 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
High performance computing and applications : second international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / Wu Zhang [and others] (eds.). by Series: Lecture notes in computer science ; 5938. | 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
16.
Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Rajiv Gupta (ed.). by Series: Lecture notes in computer science ; 6011. | 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 : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, the Netherlands, September 9-11, 2009 : revised selected papers / José Monteiro, René van Leuken (eds.). by Series: Lecture notes in computer science ; 5953. | 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
18.
WALCOM : algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / Md. Saidur Rahman, Satoshi Fujita (eds.). by Series: Lecture notes in computer science ; 5942. | 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:
  • Algorithms and computation
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers / Santiago Escobar (ed.). by Series: Lecture notes in computer science ; 5979. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / Luke Ong (Ed.). by Series: Lecture notes in computer science ; 6014. | 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
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha