Your search returned 44 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.). by Series: Lecture notes in computer science ; 4590. | 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:
  • CAV 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Advances in computer systems architecture : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007 : proceedings / Lynn Choi, Yunheung Paek, Sangyeun Cho (eds.). by Series: Lecture notes in computer science ; 4697. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12109494
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ACSAC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / Pascal Paillier, Ingrid Verbauwhede (eds.). by Series: Lecture notes in computer science ; 4727. | 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-Verlag, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Evolvable systems : from biology to hardware : 7th international conference, ICES 2007, Wuhan, China, September 21-23, 2007 : proceedings / Lishan Kang, Yong Liu, Sanyou Zeng (eds.). by Series: Lecture notes in computer science ; 4684. | 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:
  • ICES 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.). by Series: Lecture notes in computer science ; 4746. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12167449
Publication details: Berlin ; New York : Springer, 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Job scheduling strategies for parallel processing : 12th international workshop, JSSPP 2006 Saint-Malo, France, June 26 2006 : revised selected papers / Eitan Frachtenberg, Uwe Schwiegelshohn (eds.). by Series: Lecture notes in computer science ; 4376.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • JSSPP 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007 : proceedings / Nadine Azemard, Lars Svensson (eds.). by Series: Lecture notes in computer science ; 4644. | 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:
  • PATMOS 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
High performance embedded architectures and compilers : second international conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007 : proceedings / Koen De Bosschere [and others] (eds.). by Series: Lecture notes in computer science ; 4367.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • HiPEAC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
High performance embedded architectures and compilers : third international conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008 : proceedings / Per Stenström [and others] (eds.). by Series: Lecture notes in computer science ; 4917. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12212101
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • HiPEAC 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
11.
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.). by Series: Lecture notes in computer science ; 3576.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11513988
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • CAV 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Evolvable systems : from biology to hardware : 6th international conference, ICES 2005, Sitges, Spain, September 12-14, 2005 : proceedings / J. Manuel Moreno, Jordi Madrenas, Jordi Cosp (eds.). by Series: Lecture notes in computer science ; 3637.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • ICES 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.). by Series: Lecture notes in computer science ; 3603.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • TPHOLs 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Cryptographic hardware and embedded systems-- CHES 2005 : 7th international workshop, Edinburgh, UK, August 29-September 1, 2005 : proceedings / Josyula R. Rao, Berk Sunar (eds.). by Series: Lecture notes in computer science ; 3659.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • CHES 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.). by Series: Lecture notes in computer science ; 4144. | 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:
  • CAV 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
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
18.
Cryptographic hardware and embedded systems : CHES 2006 : 8th international workshop, Yokohama, Japan, October 10-13, 2006 : proceedings / Louis Goubin, Mitsuru Matsui (eds.). by Series: Lecture notes in computer science ; 4249.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • CHES 2006
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
20.
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / Jürgen Giesl, Reiner Hähnle (eds.). by Series: Lecture notes in computer science ; 6173. | 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, ©2010
Other title:
  • IJCAR 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha