|
|
6981.
|
Information Retrieval for Music and Motion [electronic resource] / by Meinard Müller.
by Müller, Meinard | 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
|
|
|
6982.
|
50 Years of EU Economic Dynamics [electronic resource] : Integration, Financial Markets and Innovations / edited by Richard Tilly, Paul J. J. Welfens, Michael Heise.
by Tilly, Richard | Welfens, Paul J. J | Heise, Michael | 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
|
|
|
6983.
|
Foundations in Microeconomic Theory [electronic resource] : A Volume in Honor of Hugo F. Sonnenschein / edited by Matthew O. Jackson, Andrew McLennan.
by Jackson, Matthew O | McLennan, Andrew | 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
|
|
|
6984.
|
Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings / edited by Hanne Riis Nielson, Gilberto Filé.
by Nielson, Hanne Riis | Filé, Gilberto | 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
|
|
|
6985.
|
Web Information Systems and Technologies [electronic resource] : International Conferences, WEBIST 2005 and WEBIST 2006 Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro, Vitor Pedrosa.
by Filipe, Joaquim | Cordeiro, José | Pedrosa, Vitor | 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
|
|
|
6986.
|
Random Curves [electronic resource] : Journeys of a Mathematician / by Neal Koblitz.
by Koblitz, Neal | 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
|
|
|
6987.
|
Swarm Intelligence [electronic resource] : Introduction and Applications / edited by Christian Blum, Daniel Merkle.
by Blum, Christian | Merkle, Daniel | 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
|
|
|
6988.
|
Decision Procedures [electronic resource] : An Algorithmic Point of View / by Daniel Kroening, Ofer Strichman.
by Kroening, Daniel | Strichman, Ofer | 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
|
|
|
6989.
|
Logics of Specification Languages [electronic resource] / edited by Dines Bjørner, Martin C. Henson.
by Bjørner, Dines | Henson, Martin C | 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
|
|
|
6990.
|
Design by Evolution [electronic resource] : Advances in Evolutionary Design / edited by Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz.
by Hingston, Philip F | Barone, Luigi C | Michalewicz, Zbigniew | 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
|
|
|
6991.
|
The Calculus of Computation [electronic resource] : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.
by Bradley, Aaron R | Manna, Zohar | 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
|
|
|
6992.
|
Speaker Classification II [electronic resource] : Selected Projects / edited by Christian Müller.
by Müller, Christian | 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
|
|
|
6993.
|
Information Hiding [electronic resource] : 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers / edited by Jan L. Camenisch, Christian S. Collberg, Neil F. Johnson, Phil Sallee.
by Camenisch, Jan L | Collberg, Christian S | Johnson, Neil F | Sallee, Phil | 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
|
|
|
6994.
|
Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings / edited by Raffaele Giancarlo, Sridhar Hannenhalli.
by Giancarlo, Raffaele | Hannenhalli, Sridhar | 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
|
|
|
6995.
|
Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio.
by Edelkamp, Stefan | Lomuscio, Alessio | 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
|
|
|
6996.
|
Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers / edited by Zoltán Horváth, Viktória Zsók, Andrew Butterfield.
by Horváth, Zoltán | Zsók, Viktória | Butterfield, 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
|
|
|
6997.
|
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings / edited by Rosina O. Weber, Michael M. Richter.
by Weber, Rosina O | Richter, Michael 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
|
|
|
6998.
|
Advances in Cryptology - CRYPTO 2007 [electronic resource] : 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings / edited by Alfred Menezes.
by Menezes, Alfred | 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
|
|
|
6999.
|
Handbook on Information Technologies for Education and Training [electronic resource] / edited by Heimo H. Adelsberger, Kinshuk, Jan M. Pawlowski, Demetrios G. Sampson.
by Adelsberger, Heimo H | Kinshuk | Pawlowski, Jan M | Sampson, Demetrios G | SpringerLink (Online service). Edition: 2.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
|
|
|
7000.
|
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog.
by Huang, De-Shuang | Heutte, Laurent | Loog, Marco | 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
|
