Results
|
|
1121.
|
|
Image from Amazon.com
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings / edited by Nachum Dershowitz, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 4790Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1122.
|
|
Image from Amazon.com
|
|
|
|
1123.
|
|
Image from Amazon.com
|
|
|
|
1124.
|
|
Image from Amazon.com
|
|
|
|
1125.
|
|
Image from Amazon.com
|
|
|
|
1126.
|
|
Image from Amazon.com
|
Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers / edited by Bo Kågström, Erik Elmroth, Jack Dongarra, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 4699Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1127.
|
|
Image from Amazon.com
|
|
|
|
1128.
|
|
Image from Amazon.com
|
|
|
|
1129.
|
|
Image from Amazon.com
|
Advances in Conceptual Modeling – Foundations and Applications [electronic resource] : ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007. Proceedings / edited by Jean-Luc Hainaut, Elke A. Rundensteiner, Markus Kirchberg, Michela Bertolotto, Mathias Brochhausen, Yi-Ping Phoebe Chen, Samira Si-Saïd Cherfi, Martin Doerr, Hyoil Han, Sven Hartmann, Jeffrey Parsons, Geert Poels, Colette Rolland, Juan Trujillo, Eric Yu, Esteban Zimányie. by
- Hainaut, Jean-Luc [editor.]
- Rundensteiner, Elke A [editor.]
- Kirchberg, Markus [editor.]
- Bertolotto, Michela [editor.]
- Brochhausen, Mathias [editor.]
- Chen, Yi-Ping Phoebe [editor.]
- Cherfi, Samira Si-Saïd [editor.]
- Doerr, Martin [editor.]
- Han, Hyoil [editor.]
- Hartmann, Sven [editor.]
- Parsons, Jeffrey [editor.]
- Poels, Geert [editor.]
- Rolland, Colette [editor.]
- Trujillo, Juan [editor.]
- Yu, Eric [editor.]
- Zimányie, Esteban [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 4802Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1130.
|
|
Image from Amazon.com
|
|
|
|
1131.
|
|
Image from Amazon.com
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Series: Lecture Notes in Computer Science ; 4789Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1132.
|
|
Image from Amazon.com
|
|
|
|
1133.
|
|
Image from Amazon.com
|
Ubiquitous Computing Systems [electronic resource] : 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings / edited by Haruhisa Ichikawa, We-Duke Cho, Ichiro Satoh, Hee Yong Youn. by Series: Lecture Notes in Computer Science ; 4836Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1134.
|
|
Image from Amazon.com
|
|
|
|
1135.
|
|
Image from Amazon.com
|
Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Series: Lecture Notes in Computer Science ; 4719Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1136.
|
|
Image from Amazon.com
|
|
|
|
1137.
|
|
Image from Amazon.com
|
|
|
|
1138.
|
|
Image from Amazon.com
|
|
|
|
1139.
|
|
Image from Amazon.com
|
Advances in Visual Computing [electronic resource] : Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Nikos Paragios, Syeda-Mahmood Tanveer, Tao Ju, Zicheng Liu, Sabine Coquillart, Carolina Cruz-Neira, Torsten Müller, Tom Malzbender. by
- Bebis, George [editor.]
- Boyle, Richard [editor.]
- Parvin, Bahram [editor.]
- Koracin, Darko [editor.]
- Paragios, Nikos [editor.]
- Tanveer, Syeda-Mahmood [editor.]
- Ju, Tao [editor.]
- Liu, Zicheng [editor.]
- Coquillart, Sabine [editor.]
- Cruz-Neira, Carolina [editor.]
- Müller, Torsten [editor.]
- Malzbender, Tom [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 4841Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
1140.
|
|
Image from Amazon.com
|
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Series: Lecture Notes in Computer Science ; 4806Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
