Refine your search

Your search returned 5285 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
181.
User modeling 2007 : 11th international conference, UM 2007, Corfu, Greece, June 25-29, 2007 : proceedings / Cristina Conati, Kathleen McCoy, Georgios Paliouras (eds.). by Series: Lecture notes in computer science ; 4511. | 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:
  • UM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
182.
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / Jim Davies, Jeremy Gibbons (eds.). by Series: Lecture notes in computer science ; 4591. | 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, ©2007
Other title:
  • IFM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
183.
Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.). by Series: Lecture notes in computer science ; 4588. | 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:
  • DLT 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
184.
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.). by Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4600. | Lecture notes in computer science. Festschrift.
Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
185.
Software engineering for multi-agent systems V : research issues and practical applications / Ricardo Choren [and others] (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4408. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12078462
Publication details: Berlin ; New York : Springer, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
186.
Security and privacy in ad-hoc and sensor networks : 4th European workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, proceedings / Frank Stajano [and others] (eds.). by Series: Lecture notes in computer science ; 4572. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ESAS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
187.
Online communities and social computing : second international conference, OCSC 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Douglas Schuler (ed.). by Series: Lecture notes in computer science ; 4564. | 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 ; New York : Springer, ©2007
Other title:
  • OCSC 2007
  • HCI International
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
188.
Reliable software technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings / Nabil Abdennadher, Fabrice Kordon (eds.). by Series: Lecture notes in computer science ; 4498.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Ada-Europe 2007
  • 12th Ada-Europe International Conference on Reliable Software Technologies
  • Twelfth Ada-Europe International Conference on Reliable Software Technologies
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
189.
Ergonomics and health aspects of work with computers : international conference, EHAWC 2007, held as part of HCI International 2007, Beijing, China, July 22-27 : proceedings / Marvin J. Dainoff (ed.). by Series: Lecture notes in computer science ; 4566. | 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 ; New York : Springer, ©2007
Other title:
  • EHAWC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
190.
Engineering psychology and cognitive ergonomics : 7th international conference, EPCE 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Don Harris (ed.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4562. | 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:
  • EPCE 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
191.
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.). by Series: Lecture notes in computer science ; 4590. | 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:
  • CAV 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
192.
Human interface and the management of information : Symposium on Human Interface 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Michael J. Smith, Gavriel Salvendy (eds.). by Series: Lecture notes in computer science ; 4557-4558. | 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 ; New York : Springer, ©2007
Other title:
  • Symposium on Human Interface 2007
  • HCI International 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
193.
Virtual reality : second international conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings / Randall Shumaker (ed.). by Series: Lecture notes in computer science ; 4563. | 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 ; New York : Springer, ©2007
Other title:
  • ICVR 2007
  • HCI International 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
194.
195.
196.
Applications of fuzzy sets theory : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007 : proceedings / Francesco Masulli, Sushmita Mitra, Gabriella Pasi (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4578. | 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:
  • 7th International Workshop on Fuzzy Logic and Applications
  • Seventh International Workshop on Fuzzy Logic and Applications
  • International Workshop on Fuzzy Logic and Application
  • WILF 2007
In: TSpringer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
197.
Combinatorial pattern matching : 18th annual symposium, CPM 2007, London, Canada, July 9-11, 2007 : proceedings / Bin Ma, Kaizhong Zhang (eds.). by Series: Lecture notes in computer science ; 4580.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • CPM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
198.
Advances in data mining : theoretical aspects and applications : 7th industrial conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007 : proceedings / Petra Perner (ed.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4597. | 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:
  • ICDM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
199.
Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings / Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.). by Series: Lecture notes in computer science ; 4545. | 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:
  • AB 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
200.
Pairing-based cryptography-- : Pairing 2007 : first international conference, Tokyo, Japan, July 2-4, 2007 : proceedings / Tsuyoshi Takagi [and others] (eds.). by Series: Lecture notes in computer science ; 4575. | 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:
  • Pairing 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha