Refine your search

Your search returned 1199 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
121.
Advances in computer systems architecture : 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005 : proceedings / Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang (eds.). by Series: Lecture notes in computer science ; 3740.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11572961
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • ACSAC 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
122.
Agents and peer-to-peer computing : third international workshop, AP2PC 2004, New York, NY, USA, July 19, 2004 : revised and invited papers / Gianluca Moro, Sonia Bergamaschi, Karl Aberer (eds.). by Series: Lecture notes in computer science ; 3601. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Hot topics (Berlin, Germany)
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • AP2PC 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
123.
Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings / Alan Hartman, David Kreische (eds.). by Series: Lecture notes in computer science ; 3748.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11581741
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • ECMDA-FA 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
124.
125.
Applied parallel computing : state of the art in scientific computing : 7th international workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004 : revised selected papers / Jack Dongarra, Kaj Madsen, Jerzy Wasniewski (eds.). by Series: Lecture notes in computer science ; 3732.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : [Great Britain] Springer, ©2006
Other title:
  • PARA 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
126.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.). by Series: Lecture notes in computer science ; 3875.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • First International Haifa Verification Conference
  • International Haifa Verification Conference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
127.
Parallel processing and applied mathematics : 6th international conference, PPAM 2005, Poznań, Poland, September 11-14, 2005 : revised selected papers / Roman Wyrzykowski [and others]. by Series: Lecture notes in computer science ; 3911.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • PPAM 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
128.
129.
Hybrid systems : computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings / João Hespanha, Ashish Tiwari (eds.). by Series: Lecture notes in computer science ; 3927.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • HSCC 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
130.
Petri nets and other models of concurrency : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings / Susanna Donatelli, P.S. Thiagarajan (eds.). by Series: Lecture notes in computer science ; 4024. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11767589
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
  • Twenty-seventh International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
  • ICATPN 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
131.
Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Paolo Ciancarini, Herbert Wiklicky (eds.). by Series: 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, ©2006
Other title:
  • COORDINATION 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
132.
133.
Self-organizing systems : first international workshop, IWSOS 2006 and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 : proceedings / Hermann de Meer, James P.G. Sterbenz (eds.). by Series: Lecture notes in computer science ; 4124.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • IWSOS 2006
  • Third International Workshop on New Trends in Network Architectures and Services
  • International Workshop on New Trends in Network Architectures and Services
  • EuroNGI 2006
  • Self-organising systems
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
134.
Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / András Horváth, Miklós Telek (eds.). by Series: Lecture notes in computer science ; 4054.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11777830
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Third European Performance Engineering Workshop
  • EPEW 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
135.
136.
137.
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
138.
Embedded computer systems : architectures, modeling, and simulation : 6th international workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006 : proceedings / Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen (eds.). by Series: Lecture notes in computer science ; 4017. | 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:
  • SAMOS 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
139.
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings / Chris Jesshope, Colin Egan (eds.). by Series: Lecture notes in computer science ; 4186. | 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
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
140.
Recent advances in parallel virtual machine and message passing interface : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006 : proceedings / Bernd Mohr [and others] (eds.). by Series: LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4192.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Parallel virtual machine and message passing interface
  • Thirteenth European PVM/MPI Users' Group Meeting
  • European PVM/MPI Users' Group Meeting
  • EuroPVM/MPI 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha