Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
21.
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings / Alexandre Petrenko [and others] (eds.). by Series: Lecture notes in computer science ; 4581.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • Nineteenth IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • TestCom 2007
  • FATES 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
22.
Computational and ambient intelligence : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastian, Spain, June 20-22, 2007 : proceedings / Francisco Sandoval [and others] (eds.). by Series: Lecture notes in computer science ; 4507. | 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:
  • 9th International Work-Conference on Artificial and Natural Neural Networks
  • Ninth International Work-Conference on Artificial and Natural Neural Networks
  • International Work-Conference on Artificial and Natural Neural Networks
  • IWANN 2007
In: TSpringer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
23.
Computation and logic in the real world : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings / S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (eds.). by Series: Lecture notes in computer science ; 4497.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • Third Conference on Computability in Europe
  • Conference on Computability in Europe
  • CiE 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
24.
Managing traffic performance in converged networks : 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007 : proceedings / Lorne Mason, Tadeusz Drwiega, James Yan (eds.). by Series: Lecture notes in computer science ; 4516. | 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:
  • ITC20
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
25.
Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings / Jetty Kleijn, Alex Yakovlev (eds.). by Series: Lecture notes in computer science ; 4546. | 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:
  • 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence
  • Twenty-eighth International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence
  • International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence
  • ICATPN 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
26.
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings / Manuel Kauers [and others] (eds.). by Series: Serienbezeichnung | Lecture notes in computer science ; 4573. | 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:
  • Calculemus 2007
  • MKM 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
27.
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
28.
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
29.
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
30.
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
31.
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
32.
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
33.
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
34.
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
35.
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
36.
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
37.
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
38.
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
39.
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
40.
Pages

Powered by Koha