Refine your search

Your search returned 218 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
41.
Programs, proofs, processes : 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings / Fernando Ferreira [and others] (eds.). by Series: Lecture notes in computer science ; 6158. | 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:
  • CiE 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
42.
Requirements engineering: foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 ; proceedings / Roel Wieringa, Anne Persson (eds.). by Series: Lecture notes in computer science ; 6182. | 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
43.
Euro-Par 2009 parallel processing workshops : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, the Netherlands, August 25-28, 2009 ; workshops / Hai-Xiang Lin [and others] (eds.). by Series: Lecture notes in computer science ; 6043. | 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:
  • Euro-Par 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
44.
A 25-Year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP / Agostino Dovier, Enrico Pontelli (Eds.). by Series: Lecture notes in computer science ; 6125. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • Twenty-five year perspective on logic programming
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
45.
Algorithms and architectures for parallel processing : 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings. Part II / Ching-Hsien Hsu [and others] (eds.). by Series: Lecture notes in computer science ; 6082. | 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
46.
Advances in swarm intelligence : first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 ; proceedings. Part II / Ying Tan, Yuhui Shi, Kay Chen Tan (eds.). by Series: Lecture notes in computer science ; 6146. | 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
47.
48.
Computing and combinatorics : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings / My T. Thai, Sartaj Sahni (eds.). by Series: Lecture notes in computer science ; 6196. | 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:
  • COCOON 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
49.
Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / Erwin Schoitsch (ed.). by Series: Lecture notes in computer science ; 6351. | 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:
  • SAFECOMP 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
50.
CONCUR 2010--concurrency theory : 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings / Paul Gastin, François Laroussinie (eds.). by Series: Lecture notes in computer science ; 6269. | 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
51.
Data management in grid and peer-to-peer systems : third international conference, Globe 2010, Bilbao, Spain, September 1-2, 2010 : proceedings / Abdelkader Hameurlain, Franck Morvan, A Min Tjoa (eds.). by Series: Lecture notes in computer science ; 6265. | 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
Other title:
  • Globe 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
52.
Intelligent data engineering and automated learning--IDEAL 2010 : 11th international conference, Paisley, UK, September 1-3, 2010 : proceedings / Colin Fyfe [and others] (eds.). by Series: Lecture notes in computer science ; 6283. | 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
Other title:
  • IDEAL 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
53.
Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). by Series: Lecture notes in computer science ; 6200. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
54.
Self-organizing architectures : first international workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised selected and invited papers / Danny Weyns [and others] (Eds.). by Series: Lecture notes in computer science ; 6090. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
55.
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Part II / Samson Abramsky [and others] (Eds.). by Series: Lecture notes in computer science ; 6199. | 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 ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • ICALP 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
56.
Computer aided verification : 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.). by Series: Lecture notes in computer science ; 6174. | 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:
  • CAV 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
57.
Web engineering : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings / Boualem Benatallah [and others] (Eds.). by Series: Lecture notes in computer science ; 6189. | 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 ; Heidelberg : Springer-Verlag, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
58.
Argumentation in multi-agent systems : 6th international workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009 : revised selected and invited papers / Peter McBurney [and others] (eds.). by Series: Lecture notes in computer science ; 6057. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • ArgMAS 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
59.
Computational science and its applications -- ICCSA 2010 : international conference, Fukuoka, Japan, March 23-26 : proceedings. Part IV / David Taniar [and others] (eds.). by Series: Lecture notes in computer science ; 6019. | 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
60.
Applications of evolutionary computation : EvoApplications 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings. Part II, EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG. / Cecilia Di Chio [and others] (eds.). by Series: Lecture notes in computer science ; 6025. | 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:
  • EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha