|
|
6261.
|
Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini.
by Fraser, Gordon [editor.] | Gargantini, Angelo [editor.] | 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
|
|
|
6262.
|
The Selten School of Behavioral Economics [electronic resource] : A Collection of Essays in Honor of Reinhard Selten / edited by Abdolkarim Sadrieh, Axel Ockenfels.
by Sadrieh, Abdolkarim [editor.] | Ockenfels, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
6263.
|
Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip Turck.
by Stiller, Burkhard [editor.] | Turck, Filip [editor.] | 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
|
|
|
6264.
|
Computational Physics [electronic resource] : Simulation of Classical and Quantum Systems / by Philipp O. J. Scherer.
by Scherer, Philipp O. J [author.] | 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
|
|
|
6265.
|
Regional Development Research in China: A Roadmap to 2050 [electronic resource] / edited by Dadao Lu, Jie Fan.
by Lu, Dadao [editor.] | Fan, Jie [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
6266.
|
Intelligent Information Access [electronic resource] / edited by Giuliano Armano, Marco Gemmis, Giovanni Semeraro, Eloisa Vargiu.
by Armano, Giuliano [editor.] | Gemmis, Marco [editor.] | Semeraro, Giovanni [editor.] | Vargiu, Eloisa [editor.] | 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
|
|
|
6267.
|
Fractional Dynamics [electronic resource] : Applications of Fractional Calculus to Dynamics of Particles, Fields and Media / by Vasily E. Tarasov.
by Tarasov, Vasily E [author.] | 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
|
|
|
6268.
|
Lévy Matters I [electronic resource] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance / by Thomas Duquesne, Oleg Reichmann, Ken-iti Sato, Christoph Schwab ; edited by Ole E Barndorff-Nielsen, Jean Bertoin, Jean Jacod, Claudia Klüppelberg.
by Duquesne, Thomas [author.] | Reichmann, Oleg [author.] | Sato, Ken-iti [author.] | Schwab, Christoph [author.] | Barndorff-Nielsen, Ole E [editor.] | Bertoin, Jean [editor.] | Jacod, Jean [editor.] | Klüppelberg, Claudia [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
6269.
|
Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision / edited by Zongmin Ma, Li Yan.
by Ma, Zongmin [editor.] | Yan, Li [editor.] | 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
|
|
|
6270.
|
Computational Intelligence in Power Engineering [electronic resource] / edited by Bijaya Ketan Panigrahi, Ajith Abraham, Swagatam Das.
by Panigrahi, Bijaya Ketan [editor.] | Abraham, Ajith [editor.] | Das, Swagatam [editor.] | 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
|
|
|
6271.
|
Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings / edited by My T. Thai, Sartaj Sahni.
by Thai, My T [editor.] | Sahni, Sartaj [editor.] | 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
|
|
|
6272.
|
Cellular Automata and Groups [electronic resource] / by Tullio Ceccherini-Silberstein, Michel Coornaert.
by Ceccherini-Silberstein, Tullio [author.] | Coornaert, Michel [author.] | 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
|
|
|
6273.
|
Classical Mechanics [electronic resource] : Hamiltonian and Lagrangian Formalism / by Alexei Deriglazov.
by Deriglazov, Alexei [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
6274.
|
Underwater SLAM for Structured Environments Using an Imaging Sonar [electronic resource] / by David Ribas, Pere Ridao, José Neira.
by Ribas, David [author.] | Ridao, Pere [author.] | Neira, José [author.] | 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
|
|
|
6275.
|
Introduction to the Physics of Massive and Mixed Neutrinos [electronic resource] / by Samoil Bilenky.
by Bilenky, Samoil [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
6276.
|
Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Benoît Baudry, Eric Wohlstadter.
by Baudry, Benoît [editor.] | Wohlstadter, Eric [editor.] | 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
|
|
|
6277.
|
Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.
by Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | 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
|
|
|
6278.
|
Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.
by Kaufmann, Matt [editor.] | Paulson, Lawrence C [editor.] | 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
|
|
|
6279.
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.
by Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | 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
|
|
|
6280.
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.
by Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | 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
|
