|
|
2541.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski.
by Cook, Byron | Podelski, Andreas | 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
|
|
|
2542.
|
Transactions on Edutainment I [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Abdennour Rhalibi.
by Pan, Zhigeng | Cheok, Adrian David | Müller, Wolfgang | Rhalibi, Abdennour | 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
|
|
|
2543.
|
Fuel Cells I [electronic resource] / edited by Günther G. Scherer.
by Scherer, Günther 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
|
|
|
2544.
|
Fuel Cells II [electronic resource] / edited by Günther G. Scherer.
by Scherer, Günther 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
|
|
|
2545.
|
New Frontiers in Polymer Synthesis [electronic resource] / edited by Shiro Kobayashi.
by Kobayashi, Shiro | 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
|
|
|
2546.
|
Interfacial Processes and Molecular Aggregation of Surfactants [electronic resource] / edited by Ranga Narayanan.
by Narayanan, Ranga | 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
|
|
|
2547.
|
Image Analysis and Recognition [electronic resource] : 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings / edited by Aurélio Campilho, Mohamed Kamel.
by Campilho, Aurélio | Kamel, Mohamed | 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
|
|
|
2548.
|
Performance Evaluation: Metrics, Models and Benchmarks [electronic resource] : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / edited by Samuel Kounev, Ian Gorton, Kai Sachs.
by Kounev, Samuel | Gorton, Ian | Sachs, Kai | 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
|
|
|
2549.
|
Data Integration in the Life Sciences [electronic resource] : 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings / edited by Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux.
by Bairoch, Amos | Cohen-Boulakia, Sarah | Froidevaux, Christine | 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
|
|
|
2550.
|
Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt.
by Langendoen, Koen | Voigt, Thiemo | 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
|
|
|
2551.
|
Computational Science and Its Applications – ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova.
by Gervasi, Osvaldo | Murgante, Beniamino | Laganà, Antonio | Taniar, David | Mun, Youngsong | Gavrilova, Marina L | 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
|
|
|
2552.
|
Computational Science and Its Applications – ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Marina L. Gavrilova.
by Gervasi, Osvaldo | Murgante, Beniamino | Laganà, Antonio | Taniar, David | Mun, Youngsong | Gavrilova, Marina L | 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
|
|
|
2553.
|
25 Years of Model Checking [electronic resource] : History, Achievements, Perspectives / edited by Orna Grumberg, Helmut Veith.
by Grumberg, Orna | Veith, Helmut | 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
|
|
|
2554.
|
Natural Language and Information Systems [electronic resource] : 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings / edited by Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou.
by Kapetanios, Epaminondas | Sugumaran, Vijayan | Spiliopoulou, Myra | 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
|
|
|
2555.
|
Complex Motion [electronic resource] : First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers / edited by Bernd Jähne, Rudolf Mester, Erhardt Barth, Hanno Scharr.
by Jähne, Bernd | Mester, Rudolf | Barth, Erhardt | Scharr, Hanno | 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
|
|
|
2556.
|
Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven A. Brueckner, Salima Hassas, Márk Jelasity, Daniel Yamins.
by Brueckner, Sven A | Hassas, Salima | Jelasity, Márk | Yamins, Daniel | 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
|
|
|
2557.
|
Crystallography and the World of Symmetry [electronic resource] / by Sanat K. Chatterjee.
by Chatterjee, Sanat 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
|
|
|
2558.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers / edited by Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi.
by Washio, Takashi | Satoh, Ken | Takeda, Hideaki | Inokuchi, Akihiro | 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
|
|
|
2559.
|
Algorithm Theory – SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / edited by Joachim Gudmundsson.
by Gudmundsson, Joachim | 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
|
|
|
2560.
|
Image and Signal Processing [electronic resource] : 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings / edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass.
by Elmoataz, Abderrahim | Lezoray, Olivier | Nouboud, Fathallah | Mammass, Driss | 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
|
