|
|
16801.
|
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
|
|
|
16802.
|
Subwavelength and Nanometer Diameter Optical Fibers [electronic resource] / by Limin Tong, Michael Sumetsky.
by Tong, Limin | Sumetsky, Michael | 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
|
|
|
16803.
|
Learning by Playing. Game-based Education System Design and Development [electronic resource] : 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings / edited by Maiga Chang, Rita Kuo, Kinshuk, Gwo-Dong Chen, Michitaka Hirose.
by Chang, Maiga | Kuo, Rita | Kinshuk | Chen, Gwo-Dong | Hirose, Michitaka | 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
|
|
|
16804.
|
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
|
|
|
16805.
|
Jets From Young Stars V [electronic resource] : High Performance Computing and Applications / edited by José Gracia, Fabio Colle, Turlough Downes.
by Gracia, José | Colle, Fabio | Downes, Turlough | 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
|
|
|
16806.
|
Tropical Circulation Systems and Monsoons [electronic resource] / by Kshudiram Saha.
by Saha, Kshudiram | 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
|
|
|
16807.
|
Peace through International Law [electronic resource] : The Role of the International Law Commission. A Colloquium at the Occasion of its Sixtieth Anniversary / edited by Georg Nolte.
by Nolte, Georg | 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
|
|
|
16808.
|
Solutions Manual for Econometrics [electronic resource] / by Badi H. Baltagi.
by Baltagi, Badi H | 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
|
|
|
16809.
|
Acoustics for Engineers [electronic resource] : Troy Lectures / by Jens Blauert, Ning Xiang.
by Blauert, Jens | Xiang, Ning | 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
|
|
|
16810.
|
German Annual of Spatial Research and Policy 2009 [electronic resource] : New Disparities in Spatial Development in Europe / edited by Heiderose Kilper.
by Kilper, Heiderose | 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
|
|
|
16811.
|
Nonlinear Science [electronic resource] : The Challenge of Complex Systems / by Zensho Yoshida.
by Yoshida, Zensho | 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
|
|
|
16812.
|
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
|
|
|
16813.
|
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
|
|
|
16814.
|
Dynamics of Ice Sheets and Glaciers [electronic resource] / by Ralf Greve, Heinz Blatter.
by Greve, Ralf | Blatter, Heinz | 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
|
|
|
16815.
|
Wireless Algorithms, Systems, and Applications [electronic resource] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / edited by Benyuan Liu, Azer Bestavros, Ding-Zhu Du, Jie Wang.
by Liu, Benyuan | Bestavros, Azer | Du, Ding-Zhu | Wang, Jie | 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
|
|
|
16816.
|
Electronic Structure and Magnetism of 3d-Transition Metal Pnictides [electronic resource] / by Kazuko Motizuki, Hideaki Ido, Tadaei Itoh, Masato Morifuji.
by Motizuki, Kazuko | Ido, Hideaki | Itoh, Tadaei | Morifuji, Masato | 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
|
|
|
16817.
|
Business Intelligence for the Real-Time Enterprise [electronic resource] : Second International Workshop, BIRTE 2008, Auckland, New Zealand, August 24, 2008, Revised Selected Papers / edited by Malu Castellanos, Umesh Dayal, Timos Sellis.
by Castellanos, Malu | Dayal, Umesh | Sellis, Timos | 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
|
|
|
16818.
|
Business Information Systems Workshops [electronic resource] : BIS 2009 International Workshops, Poznan, Poland, April 27-29, 2009. Revised Papers / edited by Witold Abramowicz, Dominik Flejter.
by Abramowicz, Witold | Flejter, Dominik | 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
|
|
|
16819.
|
Advances in Web Based Learning – ICWL 2009 [electronic resource] : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings / edited by Marc Spaniol, Qing Li, Ralf Klamma, Rynson W. H. Lau.
by Spaniol, Marc | Li, Qing | Klamma, Ralf | Lau, Rynson W. H | 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
|
|
|
16820.
|
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
|
