Refine your search

Your search returned 15955 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.). by Series: Lecture notes in computer science ; 3312.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2004
Other title:
  • FMCAD 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
182.
Intelligent information technology : 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004 ; proceedings / Gautam Das, Ved P. Gulati (eds.). by Series: Lecture notes in computer science ; 3356.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11369288
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • CIT 2004
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
183.
Independent component analysis and blind signal separation : fifth international conference, ICA 2004, Granada, Spain, September 22-24, 2004 : proceedings / Carlos G. Puntonet, Alberto Prieto (eds.). by Series: Lecture notes in computer science ; 3195.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • ICA 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
184.
Algorithms and computation : 15th international symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004 ; proceedings / Rudolf Fleischer, Gerhard Trippen (eds.). by Series: Lecture notes in computer science ; 3341.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer, 2004Copyright date: ©2004
Other title:
  • ISAAC 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
185.
Computational science--ICCS 2006 : 6th international conference, Reading, UK, May 28-31, 2006 ; proceedings / Vassil N. Alexandrov [and others] (eds.). by Series: Lecture notes in computer science ; 3991-3994.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, 2006Copyright date: ©2006
Other title:
  • Computational science
  • ICCS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
186.
Articulated motion and deformable objects : 4th international conference, AMDO 2006, Port d'Andratx, Mallorca, Spain, July 11-14, 2006 : proceedings / Francisco J. Perales, Robert B. Fisher (eds.). by Series: Lecture notes in computer science ; 4069.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • AMDO 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
187.
Innovative approaches for learning and knowledge sharing : First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006 : proceedings / Wolfgang Nejdl, Klaus Tochtermann (eds.). by Series: Lecture notes in computer science ; 4227. | 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, ©2006
Other title:
  • First European Conference on Technology Enhanced Learning
  • European Conference on Technology Enhanced Learning
  • Technology enhanced learning
  • EC-TEL 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
188.
189.
Discovery science : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 : proceedings / Klaus P. Jantke, Ayumi Shinohara (eds.). by Series: Lecture notes in computer science ; 2226. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote
Publication details: Berlin ; London : Springer, 2001
Other title:
  • DS 2001
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
190.
191.
Artificial intelligence in medicine : 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, the Netherlands, July 7-11, 2007 : proceedings / Riccardo Bellazzi, Ameen Abu-Hanna, Jim Hunter (eds.). by Series: Lecture notes in computer science ; 4594. | 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, ©2007
Other title:
  • 11th Conference on Artificial Intelligence in Medicine
  • Eleventh Conference on Artificial Intelligence in Medicine
  • Conference on Artificial Intelligence in Medicine
  • AIME 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
192.
193.
Embedded software and systems : third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007 : proceedings / Yann-Hang Lee [and others] (eds.). by Series: Lecture notes in computer science ; 4523.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ICESS 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
194.
Experimental algorithms : 6th international workshop, WEA 2007, Rome, Italy, June 6-8, 2007 : proceedings / Camil Demetrescu (ed.). by Series: Lecture notes in computer science ; 4525. | 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, ©2007
Other title:
  • WEA 2007
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
195.
Coordination models and languages : 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings / Amy L. Murphy, Jan Vitek (eds.). by Series: Lecture notes in computer science ; 4467.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • COORDINATION 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
196.
Integer programming and combinatorial optimization : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007 : proceedings / Matteo Fischetti, David P. Williamson (eds.). by Series: Lecture notes in computer science ; 4513.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 12th International IPCO Conference
  • Twelfth International IPCO Conference
  • IPCO 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
197.
Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings / Joao Marques-Silva, Karem A. Sakallah (eds.). by Series: Lecture notes in computer science ; 4501.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • SAT 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
198.
Applied cryptography and network security : 5th international conference, ACNS 2007, Zhuhai, China, June 5-8, 2007 : proceedings / Jonathan Katz, Moti Yung (eds.). by Series: Lecture notes in computer science ; 4521. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2007
Other title:
  • ACNS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
199.
200.
Pages

Powered by Koha