Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Results
1001.
Information and communications security : 8th international conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006 : proceedings / Peng Ning, Sihan Qing, Ninghui Li (eds.). by Series: Lecture notes in computer science ; 4307.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • ICICS 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1002.
Cryptology and network security : 5th international conference, CANS 2006 Suzhou, China, December 2006 : proceedings / David Pointcheval, Yi Mu, Kefei Chen (eds.). by Series: Lecture notes in computer science ; 4301. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York ; [London] : Springer, ©2006
Other title:
  • CANS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
1003.
Semantic multimedia : First International Conference on Semantic and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006 ; proceedings / Yannis Avrithis [and others] (eds.). by Series: Lecture notes in computer science ; 4306.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • International Conference on Semantic and Digital Media Technologies
  • SAMT 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1004.
Privacy in statistical databases : CENEX-SDC project international conference, PSD 2006, Rome, Italy, December 13-15, 2006 : proceedings / Josep Domingo-Ferrer, Luisa Franconi (eds.). by Series: Lecture notes in computer science ; 4302.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • PSD 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1005.
1006.
Progress in Cryptology - INDOCRYPT 2006 : 7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006 ; proceedings / Rana Barua, Tanja Lange (eds.). by Series: Lecture notes in computer science ; 4329.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11941378
Publication details: Berlin : Springer, 2006
Other title:
  • INDOCRYPT 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1007.
Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers / Klaus Havelund [and others] (eds.). by Series: Lecture notes in computer science ; 4262.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2006
Other title:
  • FATES 2006
  • RV 2006
  • FATES/RV 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1008.
Algorithms and computation : 17th international symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006 ; proceedings / Tetsuo Asano (ed.). by Series: Lecture notes in computer science ; 4288.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2006
Other title:
  • ISAAC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
1009.
Computer processing of oriental languages : beyond the Orient : the research challenges ahead : 21st international conference, ICCPOL 2006, Singapore, December 17-19, 2006 : proceedings / Yuji Matsumoto [and others] (eds.). by Series: Lecture notes in computer science ; 4285. | 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, ©2006
Other title:
  • ICCPOL 2006
Online resources:
Availability: Items available for loan: e-Library (1).
1010.
1011.
Critical information infrastructures security : first international workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006 ; revised papers / Javier Lopez (ed.). by Series: Lecture notes in computer science ; 4347. | 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, ©2006
Other title:
  • CRITIS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
1012.
Verification of object-oriented software : the KeY approach / Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino. by Series: Lecture notes in computer science ; 4334. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • KeY approach
Online resources:
Availability: Items available for loan: e-Library (1).
1013.
Data mining and bioinformatics : first International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, revised selected papers / Mehmet M. Dalkilic, Sun Kim, Jiong Yang (eds.). by Series: Lecture notes in computer science ; 4316. | Lecture notes in computer science. Lecture notes in bioinformatics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Online resources:
Availability: Items available for loan: e-Library (1).
1014.
1015.
1016.
Advances in computer graphics : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006 : proceedings / Tomoyuki Nishita, Qunsheng Peng, Hans-Peter Seidel (eds.). by Series: Lecture notes in computer science ; 4035. | 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, 2006
Other title:
  • Twenty-fourth Computer Graphics International Conference
  • 24th Computer Graphics International Conference
  • CGI 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
1017.
Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings / Tarmo Uustalu (ed.). by Series: Lecture notes in computer science ; 4014. | 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, ©2006
Other title:
  • MPC 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
1018.
Theory and applications of relational structures as knowledge instruments II : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers / Harrie de Swart [and others] (eds.). by Series: Lecture notes in computer science ; 4342. | 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, ©2006
Other title:
  • COST Action 274 TARSKI 2002-2005
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
1019.
Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : proceedings / Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (eds.). by Series: Lecture notes in computer science ; 4068. | 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, ©2006
Other title:
  • 14th International Conference on Conceptual Structures
  • Fourteenth International Conference on Conceptual Structures
  • ICCS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
1020.
Artificial intelligence and soft computing - ICAISC 2006 : 8th international conference, Zakopane, Poland, June 25-29, 2006 : proceedings / Leszek Rutkowski [and others] (eds.). by Series: Lecture notes in computer science ; 4029. | 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, ©2006
Other title:
  • ICAISC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha