|
|
14481.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / edited by Neil D. Jones, Markus Müller-Olm.
by Jones, Neil D | Müller-Olm, Markus | 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
|
|
|
14482.
|
Mastication Robots [electronic resource] : Biological Inspiration to Implementation / by Weiliang Xu, John E. Bronlund.
by Xu, Weiliang | Bronlund, John E | 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
|
|
|
14483.
|
Computer Recognition Systems 3 [electronic resource] / edited by Marek Kurzynski, Michal Wozniak.
by Kurzynski, Marek | Wozniak, Michal | 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
|
|
|
14484.
|
Tensor Algebra and Tensor Analysis for Engineers [electronic resource] : With Applications to Continuum Mechanics / by Mikhail Itskov.
by Itskov, Mikhail | 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
|
|
|
14485.
|
Donaldson Type Invariants for Algebraic Surfaces [electronic resource] : Transition of Moduli Stacks / by Takuro Mochizuki.
by Mochizuki, Takuro | 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
|
|
|
14486.
|
Perspectives in Mathematical System Theory, Control, and Signal Processing [electronic resource] : A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday / edited by Jan C. Willems, Shinji Hara, Yoshito Ohta, Hisaya Fujioka.
by Willems, Jan C | Hara, Shinji | Ohta, Yoshito | Fujioka, Hisaya | 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
|
|
|
14487.
|
Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.
by Baldoni, Matteo | Son, Tran Cao | Riemsdijk, M. Birna | Winikoff, Michael | 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
|
|
|
14488.
|
Health of Antarctic Wildlife [electronic resource] : A Challenge for Science and Policy / edited by Knowles R. Kerry, Martin Riddle.
by Kerry, Knowles R | Riddle, Martin | 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
|
|
|
14489.
|
Electromagnetic Field Computation by Network Methods [electronic resource] / by Peter Russer, Mauro Mongiardo, Leopold B. Felsen.
by Russer, Peter | Mongiardo, Mauro | Felsen, Leopold B | 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
|
|
|
14490.
|
Graph Factors and Matching Extensions [electronic resource] / by Qinglin Roger Yu, Guizhen Liu.
by Yu, Qinglin Roger | Liu, Guizhen | 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
|
|
|
14491.
|
Building Leadership in Project and Network Management [electronic resource] : A Facilitator's Tool Set / edited by Hans-Werner Franz, Ruggiera Sarcina.
by Franz, Hans-Werner | Sarcina, Ruggiera | 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
|
|
|
14492.
|
The European Court of Human Rights Overwhelmed by Applications: Problems and Possible Solutions [electronic resource] / edited by Ulrike Deutsch, Rüdiger Wolfrum.
by Deutsch, Ulrike | Wolfrum, Rüdiger | 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
|
|
|
14493.
|
Innovations in Remote Sensing and Photogrammetry [electronic resource] / edited by Simon Jones, Karin Reinke.
by Jones, Simon | Reinke, Karin | 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
|
|
|
14494.
|
Metaheuristic Clustering [electronic resource] / by Swagatam Das, Ajith Abraham, Amit Konar.
by Das, Swagatam | Abraham, Ajith | Konar, Amit | 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
|
|
|
14495.
|
Approximation and Online Algorithms [electronic resource] : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers / edited by Evripidis Bampis, Martin Skutella.
by Bampis, Evripidis | Skutella, Martin | 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
|
|
|
14496.
|
Complex Analysis [electronic resource] / by Rolf Busam, Eberhard Freitag.
by Busam, Rolf | Freitag, Eberhard | 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
|
|
|
14497.
|
Cardio-Respiratory Control in Vertebrates [electronic resource] : Comparative and Evolutionary Aspects / edited by Mogens L. Glass, Stephen C. Wood.
by Glass, Mogens L | Wood, Stephen C | 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
|
|
|
14498.
|
Morphometrics for Nonmorphometricians [electronic resource] / edited by Ashraf M.T. Elewa.
by Elewa, Ashraf M.T | 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
|
|
|
14499.
|
How Unified Is the European Union? [electronic resource] : European Integration Between Visions and Popular Legitimacy / edited by Lars Pehrson, Lars Oxelheim, Sverker Gustavsson.
by Pehrson, Lars | Oxelheim, Lars | Gustavsson, Sverker | 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
|
|
|
14500.
|
Experience and Knowledge Management in Software Engineering [electronic resource] / by Kurt Schneider.
by Schneider, Kurt | 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
|
