Refine your search

Your search returned 4219 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1161.
1162.
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.). by Series: Lecture notes in computer science ; 6996.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • ATVA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1163.
Towards a service-based Internet : 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / Witold Abramowicz [and others] (eds.). by Series: Lecture notes in computer science ; 6994. | Lecture notes in computer science. Services science.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer-Verlag GmbH Berlin Heidelberg, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1164.
Public Key Cryptography " PKC 2003 : 6th International Workshop on Practice and Theory in Public Key Cryptography Miami, FL, USA, January 6 8, 2003 Proceedings. by Series: Lecture notes in computer science ; 2567,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1165.
Electronic Government : Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003. Proceedings / edited by Roland Traunm ller. by Series: Lecture notes in computer science ; 2739,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
In: Springer Nature eBook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1166.
Service-Oriented Computing - ICSOC 2003 : First International Conference, Trento, Italy, December 15-18, 2003. Proceedings. by Series: Lecture notes in computer science ; 2910,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1167.
Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 2425, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman. by Series: Lecture notes in computer science ; 2704,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1168.
Privacy Enhancing Technologies : Second International Workshop, PET 2002 San Francisco, CA, USA, April 1415, 2002 Revised Papers / edited by Roger Dingledine, Paul Syverson. by Series: Lecture notes in computer science ; 2482,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1169.
Computational Methods in Neural Modeling : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003 Maó, Menorca, Spain, June 3 6, 2003 Proceedings, Part I. by Series: Lecture notes in computer science ; 2686,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1170.
Artificial Neural Nets Problem Solving Methods : 7th International Work-Conference on Artificial and Natural Neural Networks, IWANN2003 Maó, Menorca, Spain, June 3 6, 2003 Proceedings, Part II. by Series: Lecture notes in computer science ; 2687,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1171.
Advances in Cryptology CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings. by Series: Lecture notes in computer science ; 3152,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1172.
Public Key Cryptography PKC 2004 : 7th International Workshop on Theory and Practice in Public Key Cryptography, Singapore, March 1-4, 2004. Proceedings. by Series: Lecture notes in computer science ; 2947,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1173.
Energy-aware communications : 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings / Ralf Lehnert (ed.). by Series: Lecture notes in computer science ; 6955. | 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, ©2011
Other title:
  • EUNICE 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1174.
Multiple access communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011, proceedings / Claudio Sacchi [and others] (eds.). by Series: Lecture notes in computer science ; 6886. | 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, ©2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1175.
Artificial intelligence in medicine : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011 : proceedings / Mor Peleg, Nada Lavrac̆, Carlo Combi (eds.). by Series: Lecture notes in computer science ; 6747. | 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 ; New York : Springer, ©2011
Other title:
  • AIME 2011
  • 13th Conference on Artificial Intelligence in Medicine
  • Thirteenth Conference on Artificial Intelligence in Medicine
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1176.
Multiple classifier systems : 10th International Workshop, MCS 2011, Naples, Italy, June 15-17, 2011, proceedings / Carlo Sansone, Josef Kittler, Fabio Roli (eds.). by Series: Lecture notes in computer science ; 6713. | 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 ; New York : Springer, ©2011
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
1177.
1178.
1179.
1180.
Knowledge-based and intelligent information and engineering systems. Part IV : 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, proceedings / Andreas König [and others] (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 6884. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • KES 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha