|
|
12241.
|
Social Understanding [electronic resource] : On Hermeneutics, Geometrical Models and Artificial Intelligence / by Jürgen Klüver, Christina Klüver.
by Klüver, Jürgen [author.] | Klüver, Christina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12242.
|
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems [electronic resource] / by Paul Lokuciejewski, Peter Marwedel.
by Lokuciejewski, Paul [author.] | Marwedel, Peter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12243.
|
Algorithm-Architecture Matching for Signal and Image Processing [electronic resource] : Best papers from Design and Architectures for Signal and Image Processing 2007 & 2008 & 2009 / edited by Guy Gogniat, Dragomir Milojevic, Adam Morawiec, Ahmet Erdogan.
by Gogniat, Guy [editor.] | Milojevic, Dragomir [editor.] | Morawiec, Adam [editor.] | Erdogan, Ahmet [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12244.
|
Science between Europe and Asia [electronic resource] : Historical Studies on the Transmission, Adoption and Adaptation of Knowledge / edited by Feza Günergun, Dhruv Raina.
by Günergun, Feza [editor.] | Raina, Dhruv [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12245.
|
Recent Advances in Computational and Applied Mathematics [electronic resource] / edited by Theodore E. Simos.
by Simos, Theodore E [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12246.
|
Computational Methods in Stochastic Dynamics [electronic resource] / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos.
by Papadrakakis, Manolis [editor.] | Stefanou, George [editor.] | Papadopoulos, Vissarion [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12247.
|
Innovating Government [electronic resource] : Normative, Policy and Technological Dimensions of Modern Government / edited by Simone van der Hof, Marga M. Groothuis.
by van der Hof, Simone [editor.] | Groothuis, Marga M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: The Hague, The Netherlands : T. M. C. Asser Press, 2011Online access: Click here to access online Availability: No items available
|
|
|
12248.
|
Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner.
by Braüner, Torben [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12249.
|
Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek.
by Orlowska, Ewa [author.] | Golińska Pilarek, Joanna [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12250.
|
Probabilistic Logics and Probabilistic Networks [electronic resource] / by Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler, Jon Williamson.
by Haenni, Rolf [author.] | Romeijn, Jan-Willem [author.] | Wheeler, Gregory [author.] | Williamson, Jon [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12251.
|
Computational Vision and Medical Image Processing [electronic resource] : Recent Trends / edited by João Manuel R. S. Tavares, R. M. Natal Jorge.
by Tavares, João Manuel R. S [editor.] | Jorge, R. M. Natal [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12252.
|
Computational Methods in Earthquake Engineering [electronic resource] / edited by Manolis Papadrakakis, Michalis Fragiadakis, Nikos D. Lagaros.
by Papadrakakis, Manolis [editor.] | Fragiadakis, Michalis [editor.] | Lagaros, Nikos D [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12253.
|
Dynamic Formal Epistemology [electronic resource] / edited by Patrick Girard, Olivier Roy, Mathieu Marion.
by Girard, Patrick [editor.] | Roy, Olivier [editor.] | Marion, Mathieu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12254.
|
Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
by van Benthem, Johan [editor.] | Gupta, Amitabha [editor.] | Parikh, Rohit [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12255.
|
Syntax-Based Collocation Extraction [electronic resource] / by Violeta Seretan.
by Seretan, Violeta [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12256.
|
Earthquake Data in Engineering Seismology [electronic resource] : Predictive Models, Data Management and Networks / edited by Sinan Akkar, Polat Gülkan, Torild van Eck.
by Akkar, Sinan [editor.] | Gülkan, Polat [editor.] | van Eck, Torild [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
12257.
|
Quality and Reliability of Large-Eddy Simulations II [electronic resource] / edited by Maria Vittoria Salvetti, Bernard Geurts, Johan Meyers, Pierre Sagaut.
by Salvetti, Maria Vittoria [editor.] | Geurts, Bernard [editor.] | Meyers, Johan [editor.] | Sagaut, Pierre [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12258.
|
Computational Modelling and Advanced Simulations [electronic resource] / edited by Justín Murín, Vladimír Kompiš, Vladimír Kutiš.
by Murín, Justín [editor.] | Kompiš, Vladimír [editor.] | Kutiš, Vladimír [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12259.
|
Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz.
by Leitsch, Alexander [author.] | Baaz, Matthias [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
|
|
12260.
|
Handbook of Philosophical Logic [electronic resource] : Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.
by Gabbay, Dov M [editor.] | Guenthner, Franz [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available
|
