|
|
8261.
|
Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures / edited by Marco Bernardo, Luca Padovani, Gianluigi Zavattaro.
by Bernardo, Marco | Padovani, Luca | Zavattaro, Gianluigi | 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
|
|
|
8262.
|
Reliable Software Technologies – Ada-Europe 2009 [electronic resource] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings / edited by Fabrice Kordon, Yvon Kermarrec.
by Kordon, Fabrice | Kermarrec, Yvon | 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
|
|
|
8263.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings / edited by Willem-Jan Hoeve, John N. Hooker.
by Hoeve, Willem-Jan | Hooker, John N | 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
|
|
|
8264.
|
Functional Imaging and Modeling of the Heart [electronic resource] : 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings / edited by Nicholas Ayache, Hervé Delingette, Maxime Sermesant.
by Ayache, Nicholas | Delingette, Hervé | Sermesant, Maxime | 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
|
|
|
8265.
|
Mapping Geomorphological Environments [electronic resource] / by Kosmas Pavlopoulos, Niki Evelpidou, Andreas Vassilopoulos.
by Pavlopoulos, Kosmas | Evelpidou, Niki | Vassilopoulos, Andreas | 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
|
|
|
8266.
|
Applied Cryptography and Network Security [electronic resource] : 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings / edited by Michel Abdalla, David Pointcheval, Pierre-Alain Fouque, Damien Vergnaud.
by Abdalla, Michel | Pointcheval, David | Fouque, Pierre-Alain | Vergnaud, Damien | 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
|
|
|
8267.
|
Algorithmic Algebraic Combinatorics and Gröbner Bases [electronic resource] / edited by Mikhail Klin, Gareth A. Jones, Aleksandar Jurišić, Mikhail Muzychuk, Ilia Ponomarenko.
by Klin, Mikhail | Jones, Gareth A | Jurišić, Aleksandar | Muzychuk, Mikhail | Ponomarenko, Ilia | 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
|
|
|
8268.
|
Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I / edited by Gabrielle Allen, Jarosław Nabrzyski, Edward Seidel, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.
by Allen, Gabrielle | Nabrzyski, Jarosław | Seidel, Edward | Albada, Geert Dick | Dongarra, Jack | Sloot, Peter M. 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
|
|
|
8269.
|
Computational Science – ICCS 2009 [electronic resource] : 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II / edited by Gabrielle Allen, Jarosław Nabrzyski, Edward Seidel, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot.
by Allen, Gabrielle | Nabrzyski, Jarosław | Seidel, Edward | Albada, Geert Dick | Dongarra, Jack | Sloot, Peter M. 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
|
|
|
8270.
|
Perspectives on Spatial Data Analysis [electronic resource] / edited by Luc Anselin, Sergio J. Rey.
by Anselin, Luc | Rey, Sergio J | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8271.
|
Handbook on Business Process Management 2 [electronic resource] : Strategic Alignment, Governance, People and Culture / edited by Jan vom Brocke, Michael Rosemann.
by vom Brocke, Jan | Rosemann, Michael | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
8272.
|
Multi-Agent-Based Simulation IX [electronic resource] : International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / edited by Nuno David, Jaime Simão Sichman.
by David, Nuno | Sichman, Jaime Simão | 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
|
|
|
8273.
|
Formal to Practical Security [electronic resource] : Papers Issued from the 2005-2008 French-Japanese Collaboration / edited by Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada.
by Cortier, Véronique | Kirchner, Claude | Okada, Mitsuhiro | Sakurada, Hideki | 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
|
|
|
8274.
|
Research in Computational Molecular Biology [electronic resource] : 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings / edited by Serafim Batzoglou.
by Batzoglou, Serafim | 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
|
|
|
8275.
|
Experimental Algorithms [electronic resource] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings / edited by Jan Vahrenhold.
by Vahrenhold, Jan | 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
|
|
|
8276.
|
Dictionary of Weighing Terms [electronic resource] : A Guide to the Terminology of Weighing / by Roland Nater, Arthur Reichmuth, Roman Schwartz, Michael Borys, Panagiotis Zervos.
by Nater, Roland | Reichmuth, Arthur | Schwartz, Roman | Borys, Michael | Zervos, Panagiotis | 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
|
|
|
8277.
|
Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper.
by Chen, Jianer | Cooper, S. 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
|
|
|
8278.
|
Combinatorial Optimization and Applications [electronic resource] : Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings / edited by Ding-Zhu Du, Xiaodong Hu, Panos M. Pardalos.
by Du, Ding-Zhu | Hu, Xiaodong | Pardalos, Panos M | 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
|
|
|
8279.
|
Graph Theory, Computational Intelligence and Thought [electronic resource] : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday / edited by Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell.
by Lipshteyn, Marina | Levit, Vadim E | McConnell, Ross M | 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
|
|
|
8280.
|
Open Source Ecosystems: Diverse Communities Interacting [electronic resource] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, Björn Lundell, Anthony I. Wasserman.
by Boldyreff, Cornelia | Crowston, Kevin | Lundell, Björn | Wasserman, Anthony I | 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
|