|
|
1541.
|
Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
1542.
|
Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva.
by Lämmel, Ralf | Visser, Joost | Saraiva, João | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1543.
|
Software and Data Technologies [electronic resource] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek.
by Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | Maciaszek, Leszek A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
1544.
|
Systems and Virtualization Management. Standards and New Technologies [electronic resource] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold.
by Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1545.
|
Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay.
by Jay, Barry | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
1546.
|
Runtime Verification [electronic resource] : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers / edited by Martin Leucker.
by Leucker, Martin | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1547.
|
Self-Sustaining Systems [electronic resource] : First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers / edited by Robert Hirschfeld, Kim Rose.
by Hirschfeld, Robert | Rose, Kim | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1548.
|
Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / edited by G. Ramalingam.
by Ramalingam, G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1549.
|
Software-Intensive Systems and New Computing Paradigms [electronic resource] : Challenges and Visions / edited by Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer.
by Wirsing, Martin | Banâtre, Jean-Pierre | Hölzl, Matthias | Rauschmayer, Axel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1550.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.
by Cervesato, Iliano | Veith, Helmut | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1551.
|
Theory and Practice of Uncertain Programming [electronic resource] / by Baoding Liu.
by Liu, Baoding | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
1552.
|
Distributed Computing and Internet Technology [electronic resource] : 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings / edited by Manish Parashar, Sanjeev K. Aggarwal.
by Parashar, Manish | Aggarwal, Sanjeev K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
1553.
|
Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by José Nelson Amaral.
by Amaral, José Nelson | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1554.
|
Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures / edited by Egon Börger, Antonio Cisternino.
by Börger, Egon | Cisternino, Antonio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1555.
|
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell.
by Paech, Barbara | Martell, Craig | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1556.
|
Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by François Fages, Francesca Rossi, Sylvain Soliman.
by Fages, François | Rossi, Francesca | Soliman, Sylvain | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1557.
|
Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings / edited by Valérie Issarny, Richard Schantz.
by Issarny, Valérie | Schantz, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1558.
|
High Performance Computing - HiPC 2008 [electronic resource] : 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings / edited by Ponnuswamy Sadayappan, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.
by Sadayappan, Ponnuswamy | Parashar, Manish | Badrinath, Ramamurthy | Prasanna, Viktor K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1559.
|
Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / edited by Maria Garcia de la Banda, Enrico Pontelli.
by Garcia de la Banda, Maria | Pontelli, Enrico | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
1560.
|
Touch of Class [electronic resource] : Learning to Program Well with Objects and Contracts / by Bertrand Meyer.
by Meyer, Bertrand | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
