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
161.
Wired/wireless internet communications : 5th international conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007 : proceedings / Fernando Boavida [and others] (eds.). by Series: Lecture notes in computer science ; 4517.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2007
Other title:
  • WWIC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
162.
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
163.
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
164.
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
165.
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
166.
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
167.
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
168.
169.
170.
Fun with algorithms : 4th international conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007 : proceedings / Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci (eds.). by Series: Lecture notes in computer science ; 4475.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • FUN 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
171.
Advances in web and network technologies, and information management : APWeb/WAIM 2007 international workshops, DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007 : proceedings / Kevin Chen-Chuan Chang [and others] (eds.). by Series: Lecture notes in computer science ; 4537. | 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:
  • APWeb/WAIM 2007
  • APWeb 2007
  • WAIM 2007
  • DBMAN 2007
  • WebETrends 2007
  • PAIS 2007
  • ASWAN 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
172.
Algorithms and architectures for parallel processing : 7th international conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007 : proceedings / Hai Jin [and others] (eds.). by Series: Lecture notes in computer science ; 4494.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ICA3PP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
173.
174.
175.
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
176.
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
177.
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
178.
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
179.
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
180.
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
Pages

Powered by Koha