|
|
6401.
|
Logical and Relational Learning [electronic resource] / edited by Luc De Raedt.
by Raedt, Luc De | 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
|
|
|
6402.
|
Computational Intelligence: Research Frontiers [electronic resource] : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures / edited by Jacek M. Zurada, Gary G. Yen, Jun Wang.
by Zurada, Jacek M | Yen, Gary G | Wang, Jun | 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
|
|
|
6403.
|
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer.
by Barthe, Gilles | Boer, Frank S | 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
|
|
|
6404.
|
Cognitive Reasoning [electronic resource] : A Formal Approach / by Tamás Gergely, Oleg M. Anshakov.
by Gergely, Tamás | Anshakov, Oleg M | 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
|
|
|
6405.
|
Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / edited by Rudolf Fleischer, Jinhui Xu.
by Fleischer, Rudolf | Xu, Jinhui | 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
|
|
|
6406.
|
Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi.
by Lodi, Andrea | Panconesi, Alessandro | Rinaldi, Giovanni | 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
|
|
|
6407.
|
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
by Bernardo, Marco | Degano, Pierpaolo | Zavattaro, Gianluigi | 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
|
|
|
6408.
|
OPC Unified Architecture [electronic resource] / by Matthias Damm, Stefan-Helmut Leitner, Wolfgang Mahnke.
by Damm, Matthias | Leitner, Stefan-Helmut | Mahnke, Wolfgang | 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
|
|
|
6409.
|
Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings / edited by Steven M. Bellovin, Rosario Gennaro, Angelos Keromytis, Moti Yung.
by Bellovin, Steven M | Gennaro, Rosario | Keromytis, Angelos | Yung, Moti | 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
|
|
|
6410.
|
Robot Cognition and Navigation [electronic resource] : An Experiment with Mobile Robots / by Srikanta Patnaik.
by Patnaik, Srikanta | 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
|
|
|
6411.
|
Leonardo da Vinci’s Giant Crossbow [electronic resource] / by Matthew Landrus.
by Landrus, Matthew | 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
|
|
|
6412.
|
International Competitiveness in Africa [electronic resource] : Policy Implications in the Sub-Saharan Region / by Ivohasina Fizara Razafimahefa, Shigeyuki Hamori.
by Razafimahefa, Ivohasina Fizara | Hamori, Shigeyuki | 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
|
|
|
6413.
|
Molecular Genetic Approaches to Maize Improvement [electronic resource] / edited by Alan L. Kriz, Brian A. Larkins.
by Kriz, Alan L | Larkins, Brian 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
|
|
|
6414.
|
Advances in Automatic Differentiation [electronic resource] / edited by Christian H. Bischof, H. Martin Bücker, Paul Hovland, Uwe Naumann, Jean Utke.
by Bischof, Christian H | Bücker, H. Martin | Hovland, Paul | Naumann, Uwe | Utke, Jean | 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
|
|
|
6415.
|
Dependability Metrics [electronic resource] : Advanced Lectures / edited by Irene Eusgeld, Felix C. Freiling, Ralf Reussner.
by Eusgeld, Irene | Freiling, Felix C | Reussner, Ralf | 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
|
|
|
6416.
|
Managing Global Innovation [electronic resource] : Uncovering the Secrets of Future Competitiveness / by Roman Boutellier, Oliver Gassmann, Maximilian Zedtwitz.
by Boutellier, Roman | Gassmann, Oliver | Zedtwitz, Maximilian | SpringerLink (Online service). Edition: Third edition.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
|
|
|
6417.
|
Advances in Knowledge Acquisition and Management [electronic resource] : Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers / edited by Achim Hoffmann, Byeong-ho Kang, Debbie Richards, Shusaku Tsumoto.
by Hoffmann, Achim | Kang, Byeong-ho | Richards, Debbie | Tsumoto, Shusaku | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
6418.
|
Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / edited by Matteo Baldoni, Ulle Endriss.
by Baldoni, Matteo | Endriss, Ulle | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
6419.
|
Information Systems Security [electronic resource] : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006. Proceedings / edited by Aditya Bagchi, Vijayalakshmi Atluri.
by Bagchi, Aditya | Atluri, Vijayalakshmi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
6420.
|
Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers / edited by Zoran Despotovic, Sam Joseph, Claudio Sartori.
by Despotovic, Zoran | Joseph, Sam | Sartori, Claudio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|