Refine your search

Your search returned 1068 results.

|
1.
Verification, Model Checking, and Abstract Interpretation (vol. # 3385) [Recurso electrónico] / 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings edited by Radhia Cousot.

by Cousot, Radhia | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

2.
Embedded Software and Systems [Recurso electrónico] / Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings edited by Yann-Hang LeeHeung-Nam Kim, Jong Kim, Yongwan Park et al.

by Lee, Yann-Hang | Kim, Heung-Nam | Kim, Jong | Kim, Sung Won | Park, Yongwan | Yang, Laurence T | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available

3.
Web Reasoning and Rule Systems [Recurso electrónico] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie.

by Marchiori, Massimo | de Sainte Marie, Christian | Pan, Jeff Z | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available

4.
Tutorials in Mathematical Biosciences I [Recurso electrónico] / Mathematical Neuroscience edited by Alla Borisyuk, G. Bard Ermentrout, Avner Friedman, David Terman.

by Borisyuk, Alla | Ermentrout, G. Bard | Friedman, Avner | Terman, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5.
Abstract Harmonic Analysis of Continuous Wavelet Transforms [Recurso electrónico] / edited by Hartmut FÃơhr.

by FÃơhr, Hartmut | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6.
Quantum Independent Increment Processes I [Recurso electrónico] / From Classical Probability to Quantum Stochastic Calculus edited by Uwe FranzMichael Schuermann, David Applebaum, B.V. Rajarama Bhat et al.

by Franz, Uwe | Applebaum, David | Bhat, B.V. Rajarama | Kustermans, Johan | Lindsay, J. Martin | Schuermann, Michael | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7.
Quantum Independent Increment Processes II [Recurso electrónico] / Structure of Quantum Lévy Processes, Classical Probability, and Physics edited by Ole E. Barndorff-NielsenUwe Franz, Rolf Gohm, Burkhard KÃơmmerer et al.

by Barndorff-Nielsen, Ole E | Schuermann, Michael | Franz, Uwe | Gohm, Rolf | KÃơmmerer, Burkhard | ThorbjÃŗnsen, Steen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
Posn(R) and Eisenstein Series [Recurso electrónico] / edited by Jay Jorgenson, Serge Lang.

by Jorgenson, Jay | Lang, Serge | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

9.
Space Weather (vol. # 656) [Recurso electrónico] / The Physics Behind a Slogan edited by H. Fichtner, B. Heber, U Mall, K. Scherer.

by Fichtner, H | Heber, B | Mall, U | Scherer, K | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

10.
Topology and Geometry in Physics [Recurso electrónico] / edited by Eike Bick, Frank D. Steffen.

by Bick, Eike | Steffen, Frank D | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11.
Cosmic Magnetic Fields [Recurso electrónico] / edited by Rainer Beck, Richard Wielebinski.

by Beck, Rainer | Wielebinski, Richard | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

12.
Geometric and Topological Methods for Quantum Field Theory [Recurso electrónico] / edited by Hernan Ocampo, Sylvie Paycha, Andrés Vargas.

by Ocampo, Hernan | Paycha, Sylvie | Vargas, Andrés | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

13.
Topics in Hyposonic Flow Theory [Recurso electrónico] / edited by R.K. Zeytounian.

by Zeytounian, R.K | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

14.
Local-Moment Ferromagnets [Recurso electrónico] / Unique Properties for Modern Applications edited by Markus Donath, Wolfgang Nolting.

by Donath, Markus | Nolting, Wolfgang | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

15.
Half-metallic Alloys [Recurso electrónico] / Fundamentals and Applications edited by Peter H. Dederichs, Iosif Galanakis.

by Dederichs, Peter H | Galanakis, Iosif | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

16.
Implementation and Application of Automata (vol. # 3317) [Recurso electrónico] / 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers edited by Michael Domaratzki, Alexander Okhotin, Kai Salomaa

by Domaratzki, Michael | Okhotin, Alexander | Salomaa, Kai | Yu, Sheng | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

17.
Topics in Cryptology -- CT-RSA 2005 [Recurso electrónico] / The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings edited by Alfred John Menezes.

by Menezes, Alfred John | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
Combinatorial Geometry and Graph Theory [Recurso electrónico] / Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers edited by Jin Akiyama, Edy Tri Baskoro, Mikio Kano.

by Akiyama, Jin | Baskoro, Edy Tri | Kano, Mikio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19.
Computer Music Modeling and Retrieval (vol. # 3310) [Recurso electrónico] / Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers edited by Uffe Kock Wiil.

by Wiil, Uffe Kock | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

20.
Machine Learning for Multimodal Interaction (vol. # 3361) [Recurso electrónico] / First International Workshop, MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers edited by Samy Bengio, Hervé Bourlard.

by Bengio, Samy | Bourlard, Hervé | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Powered by Koha