Results
|
|
61.
|
|
Image from Amazon.com
|
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans van Ditmarsch, Jérôme Lang, Shier Ju. by Series: Lecture Notes in Computer Science ; 6953Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
In:
Springer eBooks
Availability: No items available.
|
|
|
62.
|
|
Image from Amazon.com
|
|
|
|
63.
|
|
Image from Amazon.com
|
|
|
|
64.
|
|
Image from Amazon.com
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers / edited by Leszek A. Maciaszek, César González-Pérez, Stefan Jablonski. by Series: Communications in Computer and Information Science ; 69Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
65.
|
|
Image from Amazon.com
|
|
|
|
66.
|
|
Image from Amazon.com
|
Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings / edited by Richard Hull, Jan Mendling, Stefan Tai. by Series: Lecture Notes in Computer Science ; 6336Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
67.
|
|
Image from Amazon.com
|
Algorithmic Learning Theory [electronic resource] : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings / edited by Marcus Hutter, Frank Stephan, Vladimir Vovk, Thomas Zeugmann. by Series: Lecture Notes in Computer Science ; 6331Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
68.
|
|
Image from Amazon.com
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 6397Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
69.
|
|
Image from Amazon.com
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings / edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand. by Series: Lecture Notes in Computer Science ; 6412Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
70.
|
|
Image from Amazon.com
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 6415Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
71.
|
|
Image from Amazon.com
|
Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 6416Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|
|
|
72.
|
|
Image from Amazon.com
|
|
|
|
73.
|
|
Image from Amazon.com
|
|
|
|
74.
|
|
Image from Amazon.com
|
|
|
|
75.
|
|
Image from Amazon.com
|
|
|
|
76.
|
|
Image from Amazon.com
|
Architectures for Adaptive Software Systems [electronic resource] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister. by Series: Lecture Notes in Computer Science ; 5581Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
In:
Springer eBooks
Availability: No items available.
|
|
|
77.
|
|
Image from Amazon.com
|
|
|
|
78.
|
|
Image from Amazon.com
|
|
|
|
79.
|
|
Image from Amazon.com
|
|
|
|
80.
|
|
Image from Amazon.com
|
|
