|
|
3621.
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
by Berghofer, Stefan | Nipkow, Tobias | Urban, Christian | Wenzel, Makarius | 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
|
|
|
3622.
|
Algorithms and Data Structures [electronic resource] : 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings / edited by Frank Dehne, Marina Gavrilova, Jörg-Rüdiger Sack, Csaba D. Tóth.
by Dehne, Frank | Gavrilova, Marina | Sack, Jörg-Rüdiger | Tóth, Csaba D | 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
|
|
|
3623.
|
Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala.
by Kutyłowski, Mirosław | Charatonik, Witold | Gębala, Maciej | 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
|
|
|
3624.
|
Multiscale, Nonlinear and Adaptive Approximation [electronic resource] : Dedicated to Wolfgang Dahmen on the Occasion of his 60th Birthday / edited by Ronald DeVore, Angela Kunoth.
by DeVore, Ronald | Kunoth, Angela | 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
|
|
|
3625.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari.
by Corradini, Andrea | Montanari, Ugo | 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
|
|
|
3626.
|
Classical Mechanics [electronic resource] : Systems of Particles and Hamiltonian Dynamics / by Walter Greiner.
by Greiner, Walter | 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
|
|
|
3627.
|
Mathematical Modeling in Biomedical Imaging I [electronic resource] : Electrical and Ultrasound Tomographies, Anomaly Detection, and Brain Imaging / edited by Habib Ammari.
by Ammari, Habib | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
3628.
|
Feedback and Control for Everyone [electronic resource] / by Pedro Albertos, Iven Mareels.
by Albertos, Pedro | Mareels, Iven | 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
|
|
|
3629.
|
Efficient Algorithms [electronic resource] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / edited by Susanne Albers, Helmut Alt, Stefan Näher.
by Albers, Susanne | Alt, Helmut | Näher, Stefan | 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
|
|
|
3630.
|
Contemporary Quantitative Finance [electronic resource] : Essays in Honour of Eckhard Platen / edited by Carl Chiarella, Alexander Novikov.
by Chiarella, Carl | Novikov, Alexander | 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
|
|
|
3631.
|
A Course in Commutative Algebra [electronic resource] / by Gregor Kemper.
by Kemper, Gregor | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
3632.
|
Critical Information Infrastructure Security [electronic resource] : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers / edited by Roberto Setola, Stefan Geretshuber.
by Setola, Roberto | Geretshuber, Stefan | 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
|
|
|
3633.
|
Advances in Combinatorial Mathematics [electronic resource] : Proceedings of the Waterloo Workshop in Computer Algebra 2008 / edited by Ilias S. Kotsireas, Eugene V. Zima.
by Kotsireas, Ilias S | Zima, Eugene V | 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
|
|
|
3634.
|
Algebraic Informatics [electronic resource] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / edited by Symeon Bozapalidis, George Rahonis.
by Bozapalidis, Symeon | Rahonis, George | 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
|
|
|
3635.
|
Mathematics of Surfaces XIII [electronic resource] : 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings / edited by Edwin R. Hancock, Ralph R. Martin, Malcolm A. Sabin.
by Hancock, Edwin R | Martin, Ralph R | Sabin, Malcolm 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
|
|
|
3636.
|
Mathematical Morphology and Its Application to Signal and Image Processing [electronic resource] : 9th International Symposium, ISMM 2009 Groningen, The Netherlands, August 24-27, 2009 Proceedings / edited by Michael H. F. Wilkinson, Jos B. T. M. Roerdink.
by Wilkinson, Michael H. F | Roerdink, Jos B. T. 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
|
|
|
3637.
|
Swarm Intelligence for Multi-objective Problems in Data Mining [electronic resource] / edited by Carlos Artemio Coello Coello, Satchidananda Dehuri, Susmita Ghosh.
by Coello, Carlos Artemio Coello | Dehuri, Satchidananda | Ghosh, Susmita | 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
|
|
|
3638.
|
Advanced Topics in System and Signal Theory [electronic resource] : A Mathematical Approach / by Volker Pohl, Holger Boche.
by Pohl, Volker | Boche, Holger | 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
|
|
|
3639.
|
Fuzzy Information and Engineering Volume 2 [electronic resource] / edited by Bingyuan Cao, Tai-Fu Li, Cheng-Yi Zhang.
by Cao, Bingyuan | Li, Tai-Fu | Zhang, Cheng-Yi | 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
|
|
|
3640.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings / edited by Irit Dinur, Klaus Jansen, Joseph Naor, José Rolim.
by Dinur, Irit | Jansen, Klaus | Naor, Joseph | Rolim, José | 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
|
