|
|
361.
|
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / edited by Simona Ronchi Rocca.
by Rocca, Simona Ronchi | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
362.
|
Reliable Software Technologies – Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings / edited by Nabil Abdennadher, Fabrice Kordon.
by Abdennadher, Nabil | Kordon, Fabrice | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
363.
|
Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bošnački, Stefan Edelkamp.
by Bošnački, Dragan | Edelkamp, Stefan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
364.
|
Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings / edited by Franz Baader.
by Baader, Franz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
365.
|
Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford.
by Schmidt, Heinz W | Crnkovic, Ivica | Heineman, George T | Stafford, Judith A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
366.
|
ECOOP 2007 – Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.
by Ernst, Erik | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
367.
|
Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers / edited by Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi.
by Azevedo, Francisco | Barahona, Pedro | Fages, François | Rossi, Francesca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
368.
|
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.
by Nielson, Hanne Riis | Filé, Gilberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
369.
|
Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / edited by Zoltán Horváth, Viktória Zsók, Andrew Butterfield.
by Horváth, Zoltán | Zsók, Viktória | Butterfield, Andrew | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
370.
|
CONCUR 2007 – Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos.
by Caires, Luís | Vasconcelos, Vasco T | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
371.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [electronic resource] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers / edited by Pablo Noriega, Javier Vázquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, Eric Matson.
by Noriega, Pablo | Vázquez-Salceda, Javier | Boella, Guido | Boissier, Olivier | Dignum, Virginia | Fornara, Nicoletta | Matson, Eric | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
372.
|
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers / edited by Thorsten Altenkirch, Conor McBride.
by Altenkirch, Thorsten | McBride, Conor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
373.
|
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä.
by Dahl, Véronica | Niemelä, Ilkka | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
374.
|
Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.
by Boer, Frank S | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
375.
|
Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.
by Aldini, Alessandro | Gorrieri, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
376.
|
Principles and Practice of Constraint Programming – CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / edited by Christian Bessière.
by Bessière, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
377.
|
Software Architecture [electronic resource] : First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings / edited by Flavio Oquendo.
by Oquendo, Flavio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
378.
|
Transactions on Aspect-Oriented Software Development III [electronic resource] / edited by Awais Rashid, Mehmet Aksit.
by Rashid, Awais | Aksit, Mehmet | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
379.
|
Model Driven Engineering Languages and Systems [electronic resource] : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.
by Engels, Gregor | Opdyke, Bill | Schmidt, Douglas C | Weil, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
380.
|
Theoretical Aspects of Computing – ICTAC 2007 [electronic resource] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings / edited by Cliff B. Jones, Zhiming Liu, Jim Woodcock.
by Jones, Cliff B | Liu, Zhiming | Woodcock, Jim | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
