|
|
241.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / edited by Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner.
by Filliâtre, Jean-Christophe | Paulin-Mohring, Christine | Werner, Benjamin | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
242.
|
Unconventional Programming Paradigms [electronic resource] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel.
by Banâtre, Jean-Pierre | Fradet, Pascal | Giavitto, Jean-Louis | Michel, Olivier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
243.
|
Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi.
by Nicola, Rocco | Sangiorgi, Davide | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
244.
|
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings / edited by Hubert Baumeister, Michele Marchesi, Mike Holcombe.
by Baumeister, Hubert | Marchesi, Michele | Holcombe, Mike | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
245.
|
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed.
by Prinz, Andreas | Reed, Rick | Reed, Jeanne | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
246.
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro.
by Steffen, Martin | Zavattaro, Gianluigi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
247.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
248.
|
Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Lea Kutvonen, Nancy Alonistioti.
by Kutvonen, Lea | Alonistioti, Nancy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
249.
|
Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers / edited by Bill Pugh, Chau-Wen Tseng.
by Pugh, Bill | Tseng, Chau-Wen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
250.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi.
by Pettersson, Paul | Yi, Wang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
251.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers / edited by Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn.
by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
252.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi.
by Emerson, E. Allen | Namjoshi, Kedar S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
253.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov.
by Sutcliffe, Geoff | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
254.
|
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings / edited by Shichao Zhang, Ray Jarvis.
by Zhang, Shichao | Jarvis, Ray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
255.
|
MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings / edited by Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín.
by Gelbukh, Alexander | Albornoz, Álvaro | Terashima-Marín, Hugo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
256.
|
Knowledge Discovery in Databases: PKDD 2005 [electronic resource] : 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005. Proceedings / edited by Alípio Mário Jorge, Luís Torgo, Pavel Brazdil, Rui Camacho, João Gama.
by Jorge, Alípio Mário | Torgo, Luís | Brazdil, Pavel | Camacho, Rui | Gama, João | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
257.
|
Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / edited by Norbert Eisinger, Jan Małuszyński.
by Eisinger, Norbert | Małuszyński, Jan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
258.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh.
by Bacchus, Fahiem | Walsh, Toby | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
259.
|
Developments in Language Theory [electronic resource] : 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings / edited by Clelia Felice, Antonio Restivo.
by Felice, Clelia | Restivo, Antonio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
260.
|
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.
by Etalle, Sandro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
