Your search returned 49 results.

Not what you expected? Check for suggestions
Sort
Results
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).

by CAV (Conference) (19th : 2007 : Berlin, Germany) | Damm, Werner | Hermanns, Holger, 1967-.

Series: Serienbezeichnung | 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, ©2007Other title: CAV 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 ACSAC (Asia-Pacific Computer Systems Architecture Conference) (12th : 2007 : Seoul, Korea) | Choi, Lynn | Paek, Yunheung | Cho, Sangyeun.

Series: Serienbezeichnung | 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: 12109494Publication details: Berlin ; New York : Springer, ©2007Other title: ACSAC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Conference on Evolvable Systems (7th : 2007 : Wuhan, China) | Kang, Lishan | Liu, Yong, 1966- | Zeng, Sanyou.

Series: Serienbezeichnung | Lecture notes in computer science ; 4684. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ICES 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cryptographic hardware and embedded systems--CHES 2007 : 9th international workshop, Vienna, Austria, September 10-13, 2007 : proceedings / Pascal Paillier, Ingrid Verbauwhede (eds.).

by CHES (Workshop) (9th : 2007 : Vienna, Austria) | Paillier, Pascal | Verbauwhede, Ingrid.

Series: Serienbezeichnung | 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, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings / Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.).

by LADC 2007 (2007 : Morelia, Michoacán de Ocampo, Mexico) | Bondavalli, Andrea | Brasileiro, Francisco Vilar, 1965- | Rajsbaum, Sergio.

Series: Serienbezeichnung | 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: 12167449Publication details: Berlin ; New York : Springer, 2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 JSSPP (Workshop) (12th : 2006 : Saint-Malo, France) | Frachtenberg, Eitan | Schwiegelshohn, Uwe, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4376.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: JSSPP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 PATMOS (Workshop) (17th : 2007 : Göteborg, Sweden) | Azemard, Nadine, 1963- | Svensson, Lars, 1960-.

Series: Serienbezeichnung | 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, ©2007Other title: PATMOS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 HiPEAC 2007 (2007 : Ghent, Belgium) | Bosschere, Koen de.

Series: Serienbezeichnung | Lecture notes in computer science ; 4367.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: HiPEAC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 HiPEAC 2008 (2008 : Göteborg, Sweden) | Stenström, Per.

Series: Serienbezeichnung | 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: 12212101Publication details: Berlin ; New York : Springer, 2008Other title: HiPEAC 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Job scheduling strategies for parallel processing : 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004 : revised selected papers / Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn (eds.).

by JSSPP (Workshop) (10th : 2004 : New York, N.Y.) | Feitelson, Dror G | Rudolph, Larry | Schwiegelshohn, Uwe, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3277.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York, N.Y. : Springer, 2005Other title: JSSPP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.).

by CAV (Conference) (17th : 2005 : Edinburgh, Scotland) | Etessami, Kousha | Rajamani, Sriram K, 1970-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3576.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11513988Publication details: Berlin ; New York : Springer, 2005Other title: CAV 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 International Conference on Evolvable Systems (6th : 2005 : Sitges, Spain) | Moreno, J. Manuel | Madrenas, Jordi | Cosp, Jordi.

Series: Serienbezeichnung | Lecture notes in computer science ; 3637.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: ICES 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings / Joe Hurd, Tom Melham (eds.).

by TPHOLs (18th : 2005 : Oxford, England) | Hurd, Joe | Melham, T. F. (Tom F.).

Series: Serienbezeichnung | Lecture notes in computer science ; 3603.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2005Other title: TPHOLs 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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 CHES (Workshop) (7th : 2005 : Edinburgh, Scotland) | Rao, Josyula Ramachandra, 1962- | Sunar, Berk.

Series: Serienbezeichnung | Lecture notes in computer science ; 3659.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2005Other title: CHES 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Job scheduling strategies for parallel processing : 11th international workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005 : revised selected papers / Dror Feitelson [and others] (eds.).

by JSSPP (Workshop) (11th : 2005 : Cambridge, Mass.) | Feitelson, Dror G | IPDPS (Conference) (19th : 2005 : Cambridge, MA).

Series: Serienbezeichnung | Lecture notes in computer science ; 3834.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11605300Publication details: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings / Thomas Ball, Robert B. Jones (eds.).

by CAV (Conference) (18th : 2006 : Seattle, Wash.) | Ball, Thomas, 1965- | Jones, Robert B. (Robert Brent), 1969-.

Series: Serienbezeichnung | 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, ©2006Other title: CAV 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings / Chris Jesshope, Colin Egan (eds.).

by ACSAC (Asia-Pacific Computer Systems Architecture Conference) (11th : 2006 : Shanghai, China) | Jesshope, C. R | Egan, Colin, 1956-.

Series: Serienbezeichnung | 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, 2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cryptographic hardware and embedded systems : CHES 2006 : 8th international workshop, Yokohama, Japan, October 10-13, 2006 : proceedings / Louis Goubin, Mitsuru Matsui (eds.).

by CHES (Workshop) (8th : 2006 : Yokohama-shi, Japan) | Goubin, Louis | Matsui, Mitsuru, 1961-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4249.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: CHES 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Technologies for interactive digital storytelling and entertainment : third international conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006 : proceedings / Stefan Göbel, Rainer Malkewitz, Ido Iurgel (eds.).

by TIDSE 2006 (2006 : Darmstadt, Germany) | Göbel, Stefan | Malkewitz, Rainer | Iurgel, Ido.

Series: Serienbezeichnung | Lecture notes in computer science ; 4326.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: TIDSE 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / Jürgen Giesl, Reiner Hähnle (eds.).

by IJCAR (Conference) (5th : 2010 : Edinburgh, Scotland) | Giesl, Jürgen | Hähnle, Reiner.

Series: Serienbezeichnung | 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, ©2010Other title: IJCAR 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha