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
101.
Advances in computation and intelligence : 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings / Zhihua Cai [and others] (eds.). by Series: Lecture notes in computer science ; 6382. | 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:
  • ISICA 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
102.
Public key infrastructures, services and applications : 6th European workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers / Fabio Martinelli, Bart Preneel (eds.). by Series: Lecture notes in computer science ; 6391. | 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:
  • EuroPKI 2009
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
103.
Model-based engineering of embedded real-time systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers / Holger Giese [and others] (eds.). by Series: Lecture notes in computer science ; 6100. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • Best.-Nr. 80024023
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
104.
Testing software and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.). by Series: Lecture notes in computer science ; 6435. | 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:
  • ICTSS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
105.
Conceptual modeling--ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / Jeffrey Parsons [and others] (eds.). by Series: Lecture notes in computer science ; 6412. | 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:
  • ER 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
106.
Mathematical software--ICMS 2010 : third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010 : proceedings / Komei Fukuda [and others] (eds.). by Series: Lecture notes in computer science ; 6327. | 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:
  • ICMS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
107.
Trustworthly [ie: Trustworthy] global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). by Series: Lecture notes in computer science ; 6084. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
108.
Software architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : proceedings / Muhammad Ali Babar, Ian Gorton (eds.). by Series: Lecture notes in computer science ; 6285.
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
109.
Collaboration and technology : 16th international conference, CRIWG 2010, Maastricht, the Netherlands, September 20-23, 2010 : proceedings / Gwendolyn Kolfschoten, Thomas Herrmann, Stephan Lukosch (eds.). by Series: Lecture notes in computer science ; 6257. | 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:
  • CRIWG 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
110.
Swarm intelligence : 7th international conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010 : proceedings / Marco Dorigo [and others] (eds.). by Series: Lecture notes in computer science ; 6234. | 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:
  • ANTS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
111.
Model checking software : 17th International SPIN Workshop, Enschede, the Netherlands, September 27-29, 2010, Proceedings / Jaco van de Pol, Michael Weber (Eds.). by Series: Lecture notes in computer science ; 6349. | 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, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
112.
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by Series: Lecture notes in computer science ; 6371. | 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:
  • FMICS 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
113.
Computer vision - ECCV 2010 : 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings. Part IV / Kostas Daniilidis, Petros Maragos, Nikos Paragios (eds.). by Series: Lecture notes in computer science ; 6314. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ECCV 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
114.
Computer algebra in scientific computing : 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010 : proceedings / Vladimir P. Gerdt [and others] (eds.). by Series: Lecture notes in computer science ; 6244. | 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:
  • CASC 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
115.
Foundational and practical aspects of resource analysis : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers / Marko van Eekelen, Olha Shkaravska (eds.). by Series: Lecture notes in computer science ; 6324. | 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:
  • FOPARA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
116.
Intelligent virtual agents : 10th international conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010 : proceedings / Jan Allbeck [and others]. by Series: Lecture notes in computer science ; 6356. | 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 : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
117.
Transactions on aspect-oriented software development VII : a common case study for aspect-oriented modeling / Shmuel Katz, Mira Mezini, Jörg Kienzle (Eds.). by Series: Lecture notes in computer science ; 6210.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
118.
Foundations of intelligent systems : 12th International Symposium, ISMIS 2000 Charlotte, NC, USA, October 11-14, 2000, Proceedings / Zbigniew W. Raś, Setsuo Ohsuga (Eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science ; 1932.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2010
Other title:
  • ISMIS 2000
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
119.
Software product lines : going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings / Jan Bosch, Jaejoon Lee (eds.). by Series: Lecture notes in computer science ; 6287. | 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:
  • SPLC 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
120.
Recent advances in intrusion detection : 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, proceedings / Somesh Jha, Robin Sommer, Christian Kreibich (Eds.). by Series: Lecture notes in computer science ; 6307. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer, ©2010
Other title:
  • RAID 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha