Refine your search

Your search returned 105 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
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
3.
4.
Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9-12, 2004 : revised selected papers / Corrado Priami, Paola Quaglia (eds.). by Series: Lecture notes in computer science ; 3267.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11353478
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • IST/FET international workshop
  • GC 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Peer-to-peer systems III : third international workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004 : revised selected papers / Geoffrey M. Voelker, Scott Shenker (eds.). by Series: Lecture notes in computer science ; 3279. | Hot topics (Berlin, Germany)
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • Peer-to-peer systems three
  • Peer-to-peer systems 3
  • IPTPS 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Databases, information systems, and peer-to-peer computing : second international workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004 ; revised selected papers / Wee Siong Ng [and others] (eds.). by Series: Lecture notes in computer science ; 3367.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11404033
Publication details: Berlin : Springer, 2005
Other title:
  • DBISP2P 2004
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Peer-to-peer systems IV : 4th international workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005 : revised selected papers / Miguel Castro, Robbert van Renesse (eds.). by Series: Lecture notes in computer science ; 3640. | Hot topics (Berlin, Germany)
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11558989
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Peer-to-peer systems 4
  • Peer-to-peer systems four
  • IPTPS 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Agents and peer-to-peer computing : 4th international workshop, AP2PC 2005, Utrecht, the Netherlands, July 25, 2005 : revised papers / Zoran Despotovic, Sam Joseph, Claudio Sartori (eds.). by Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4118. | 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:
  • AP2PC 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Information security practice and experience : 15th International Conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26-28, 2019, Proceedings / Swee-Huay Heng, Javier Lopez (eds.). by Series: Lecture notes in computer science ; 11879. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2019
Other title:
  • ISPEC 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
11.
Internet of vehicles : technologies and services toward smart cities : 6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18-21, 2019, Proceedings / Ching-Hsien Hsu, Sondès Kallel, Kun-Chan Lan, Zibin Zheng (eds.). by Series: Lecture notes in computer science ; 11894. | 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
Publisher: Cham : Springer, 2020
Other title:
  • IOV 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Selected areas in cryptography -- SAC 2019 : 26th International Conference, Waterloo, ON, Canada, August 12-16, 2019, Revised Selected Papers / Kenneth G. Paterson, Douglas Stebila (eds.). by Series: Lecture notes in computer science ; 11959. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Other title:
  • SAC 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
Numerical computations : theory and algorithms : Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised selected papers. Part I / edited by Yaroslav D. Sergeyev, Dmitri E. Kvasov. by Series: Lecture notes in computer science ; 11973. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2020
Other title:
  • NUMTA 2019
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Computational complexity and property testing : on the interplay between randomness and computation / Oded Goldreich et al. by Series: Lecture notes in computer science ; 12050. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cham : Springer, 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Transactions on edutainment XVI / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang. by Series: Lecture notes in computer science ; 11782.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Germany : Springer, 2020
Other title:
  • Transactions on edutainment 16
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
Advances in intelligent data analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings / Michael R. Berthold, Ad Feelders, Georg Krempl (eds.). by Series: Lecture notes in computer science ; 12080. | 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
Publisher: Cham : Springer, 2020
Other title:
  • IDA 2020
  • Advances in intelligent data analysis 18
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
19.
20.
Biomedical image registration : 9th International Workshop, WBIR 2020, Portorož, Slovenia, December 1-2, 2020, Proceedings / Žiga Špiclin, Jamie McClelland, Jan Kybic, Orcun Goksel (Eds.). by Series: Lecture notes in computer science ; 12120. | 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: Cham : Springer, 2020
Other title:
  • WBIR 2020
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha