Results
|
|
|
|
|
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.). by TPHOLs (20th : 2007 : Kaiserslautern, Germany) | Schneider, Klaus, 1967- | Brandt, Jens, 1978-. Series: Serienbezeichnung | Lecture notes in computer science ; 4732. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: TPHOLs 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Computers and games : 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik, Paolo Ciancarini, H.H.L.M. (Jeroen) Donkers (eds.). by CG (Conference) (5th : 2006 : Turin, Italy) | Herik, H. J. van den (Hendrik Jacob) | Ciancarini, Paolo, 1959- | Donkers, H. H. L. M. Series: Serienbezeichnung | Lecture notes in computer science ; 4630. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 12171316Publication details: Berlin ; New York : Springer, ©2007Other title: CG 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings / Jetty Kleijn, Alex Yakovlev (eds.). by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (28th : 2007 : Siedlce, Poland) | Kleijn, Jetty | Yakovlev, Alex. Series: Serienbezeichnung | Lecture notes in computer science ; 4546. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | Twenty-eighth International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | International Conference on Applications and Theory of Petri Nets and Other Models of Concurrence | ICATPN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Developments in language theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007 : proceedings / Tero Harju, Juhani Karhumäki, Arto Lepistö (eds.). by Conference on Developments in Language Theory (11th : 2007 : Turku, Finland) | Harju, T | Karhumäki, Juhani | Lepistö, Arto. Series: Serienbezeichnung | Lecture notes in computer science ; 4588. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: DLT 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
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; Format:
available online
; 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).
|
|
|
Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (eds.). by International SPIN Workshop (14th : 2007 : Berlin, Germany) | Bošnački, Dragan, 1963- | Edelkamp, Stefan | CAV (Conference) (19th : 2007 : Berlin, Germany). Series: Serienbezeichnung | Lecture notes in computer science ; 4595. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: SPIN 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Algebraic biology : second international conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007 : proceedings / Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (eds.). by AB 2007 (2007 : Hagenberg im Mühlkreis, Austria) | Anai, Hirokazu | Horimoto, Katsuhisa | Kutsia, Temur. Series: Serienbezeichnung | Lecture notes in computer science ; 4545. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: AB 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
Combinatorial optimization and applications : first international conference, COCOA 2007, Xi'an, China, August 14-16, 2007 : proceedings / Andreas Dress, Yinfeng Xu, Binhai Zhu (eds.). by COCOA (Conference) (1st : 2007 : Xi'an Shi, China) | Dress, Andreas | Xu, Yinfeng | Zhu, Binhai, 1966-. Series: Serienbezeichnung | Lecture notes in computer science ; 4616. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: COCOA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Embedded computer systems : architectures, modeling, and simulation : 7th international workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007 : proceedings / Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen (eds.). by SAMOS 2007 (2007 : Samos, Greece) | Vassiliadis, Stamatis | Bereković, Mladen | Hämäläinen, Timo D. Series: Serienbezeichnung | Lecture notes in computer science ; 4599. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: SAMOS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Frontiers in algorithmics : first annual international workshop, FAW 2007, Lanzhou, China, August 1-3, 2007 : proceedings / Franco P. Preparata, Qizhi Fang (eds.). by FAW 2007 (2007 : Lanzhou Shi, China) | Preparata, Franco P | Fang, Qizhi. Series: Serienbezeichnung | Lecture notes in computer science ; 4613. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: FAW 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.). by CALCO (Conference) (2nd : 2007 : Bergen, Norway) | Mossakowski, Till | Montanari, U. (Ugo) | Haveraaen, Magne. Series: Serienbezeichnung | Lecture notes in computer science ; 4624. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 12094387Publication details: Berlin ; New York : Springer, ©2007Other title: CALCO 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Artificial immune systems : 6th international conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007 : proceedings / Leandro Nunes de Castro, Fernando Jose Von Zuben, Helder Knidel (eds.). by ICARIS (Conference) (6th : 2007 : Santos, São Paulo, Brazil) | De Castro, Leandro Nunes, 1974- | Von Zuben, Fernando J | Knidel, Helder. Series: Serienbezeichnung | Lecture notes in computer science ; 4628. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: ICARIS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings / Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh (eds.). by WADS 2007 (2007 : Halifax, N.S.) | Dehne, F. (Frank), 1960- | Sack, J.-R. (Jörg-Rüdiger), 1954- | Zeh, Norbert. Series: Serienbezeichnung | Lecture notes in computer science ; 4619. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: WADS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|