|
|
2861.
|
Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers / edited by Yuri Gurevich, Bertrand Meyer.
by Gurevich, Yuri | Meyer, Bertrand | 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
|
|
|
2862.
|
Modeling and Computations in Electromagnetics [electronic resource] : A Volume Dedicated to Jean-Claude Nédélec / edited by Habib Ammari.
by Ammari, Habib | 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
|
|
|
2863.
|
Frontiers in Algorithmics [electronic resource] : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings / edited by Franco P. Preparata, Qizhi Fang.
by Preparata, Franco P | Fang, Qizhi | 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
|
|
|
2864.
|
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
|
|
|
2865.
|
Mathematics of Surfaces XII [electronic resource] : 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings / edited by Ralph Martin, Malcolm Sabin, Joab Winkler.
by Martin, Ralph | Sabin, Malcolm | Winkler, Joab | 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
|
|
|
2866.
|
Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.
by Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza | 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
|
|
|
2867.
|
Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
by Mossakowski, Till | Montanari, Ugo | Haveraaen, Magne | 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
|
|
|
2868.
|
Advanced Data Mining and Applications [electronic resource] : Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings / edited by Reda Alhajj, Hong Gao, Xue Li, Jianzhong Li, Osmar R. Zaïane.
by Alhajj, Reda | Gao, Hong | Li, Xue | Li, Jianzhong | Zaïane, Osmar R | 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
|
|
|
2869.
|
Comparative Evaluation of XML Information Retrieval Systems [electronic resource] : 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers / edited by Norbert Fuhr, Mounia Lalmas, Andrew Trotman.
by Fuhr, Norbert | Lalmas, Mounia | Trotman, 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
|
|
|
2870.
|
Python Scripting for Computational Science [electronic resource] / edited by Hans Petter Langtangen.
by Langtangen, Hans Petter | 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
|
|
|
2871.
|
Computational Discovery of Scientific Knowledge [electronic resource] : Introduction, Techniques, and Applications in Environmental and Life Sciences / edited by Sašo Džeroski, Ljupčo Todorovski.
by Džeroski, Sašo | Todorovski, Ljupčo | 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
|
|
|
2872.
|
Artificial Immune Systems [electronic resource] : 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings / edited by Leandro Nunes Castro, Fernando José Zuben, Helder Knidel.
by Castro, Leandro Nunes | Zuben, Fernando José | Knidel, Helder | 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
|
|
|
2873.
|
Crystalline Cellulose and Derivatives [electronic resource] : Characterization and Structures / by Peter Zugenmaier.
by Zugenmaier, Peter | 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
|
|
|
2874.
|
Modelling Distributed Systems [electronic resource] / by Wan Fokkink.
by Fokkink, Wan | 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
|
|
|
2875.
|
Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin.
by Malyshkin, Victor | 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
|
|
|
2876.
|
Business Intelligence for the Real-Time Enterprises [electronic resource] : First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers / edited by Christoph Bussler, Malu Castellanos, Umesh Dayal, Sham Navathe.
by Bussler, Christoph | Castellanos, Malu | Dayal, Umesh | Navathe, Sham | 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
|
|
|
2877.
|
Algorithms and Data Structures [electronic resource] : 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings / edited by Frank Dehne, Jörg-Rüdiger Sack, Norbert Zeh.
by Dehne, Frank | Sack, Jörg-Rüdiger | Zeh, Norbert | 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
|
|
|
2878.
|
Computer Network Security [electronic resource] : Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings / edited by Vladimir Gorodetsky, Igor Kotenko, Victor A. Skormin.
by Gorodetsky, Vladimir | Kotenko, Igor | Skormin, Victor 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
|
|
|
2879.
|
Intercultural Collaboration [electronic resource] : First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers / edited by Toru Ishida, Susan R. Fussell, Piek T. J. M. Vossen.
by Ishida, Toru | Fussell, Susan R | Vossen, Piek T. J. M | 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
|
|
|
2880.
|
RoboCup 2006: Robot Soccer World Cup X [electronic resource] / edited by Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi.
by Lakemeyer, Gerhard | Sklar, Elizabeth | Sorrenti, Domenico G | Takahashi, Tomoichi | 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
|
