|
|
1801.
|
Dynamic Epistemic Logic [electronic resource] / by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi.
by Ditmarsch, Hans | Hoek, Wiebe | Kooi, Barteld | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1802.
|
Designing Embedded Processors [electronic resource] : A Low Power Perspective / edited by Jörg Henkel, Sri Parameswaran.
by Henkel, Jörg | Parameswaran, Sri | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1803.
|
Advanced Memory Optimization Techniques for Low-Power Embedded Processors [electronic resource] / by Manish Verma, Peter Marwedel.
by Verma, Manish | Marwedel, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1804.
|
Methods and Tools for Drought Analysis and Management [electronic resource] / edited by Giuseppe Rossi, Teodoro Vega, Brunella Bonaccorso.
by Rossi, Giuseppe | Vega, Teodoro | Bonaccorso, Brunella | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1805.
|
Modeling with Itô Stochastic Differential Equations [electronic resource] / by E. Allen.
by Allen, E | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1806.
|
Computing Meaning [electronic resource] / edited by Harry Bunt, Reinhard Muskens.
by Bunt, Harry | Muskens, Reinhard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1807.
|
Mobile Phone Programming [electronic resource] : Application to Wireless Networking / edited by Frank H. P. Fitzek, Frank Reichert.
by Fitzek, Frank H. P | Reichert, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1808.
|
Real-Time Object Uniform Design Methodology with UML [electronic resource] / edited by Bui Minh Duc.
by Duc, Bui Minh | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1809.
|
Cognitive Wireless Networks [electronic resource] : Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications / edited by Frank H. P. Fitzek, Marcos D. Katz.
by Fitzek, Frank H. P | Katz, Marcos D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1810.
|
IUTAM Symposium on Multiscale Problems in Multibody System Contacts [electronic resource] : Proceedings of the IUTAM Symposium held in Stuttgart, Germany, February 20–23, 2006 / edited by Peter Eberhard.
by Eberhard, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1811.
|
Periodic Nanostructures [electronic resource] / edited by Mircea V. Diudea, Csaba L. Nagy.
by Diudea, Mircea V | Nagy, Csaba L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1812.
|
Advances in Fractional Calculus [electronic resource] : Theoretical Developments and Applications in Physics and Engineering / edited by Jocelyn Sabatier, Om Prakash Agrawal, J. A. Tenreiro Machado.
by Sabatier, Jocelyn | Agrawal, Om Prakash | Machado, J. A. Tenreiro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1813.
|
Arabic Computational Morphology [electronic resource] : Knowledge-based and Empirical Methods / edited by Abdelhadi Soudi, Antal van den Bosch, Günter Neumann.
by Soudi, Abdelhadi | Bosch, Antal van den | Neumann, Günter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1814.
|
Exploring C for Microcontrollers [electronic resource] : A Hands on Approach / by Jivan S. Parab, Vinod G. Shelake, Rajanish K. Kamat, Gourish M. Naik.
by Parab, Jivan S | Shelake, Vinod G | Kamat, Rajanish K | Naik, Gourish M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1815.
|
Advances in Meshfree Techniques [electronic resource] / edited by V. M. A. Leitão, C. J. S. Alves, C. Armando Duarte.
by Leitão, V. M. A | Alves, C. J. S | Armando Duarte, C | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1816.
|
Introduction to Reconfigurable Computing [electronic resource] : Architectures, Algorithms, and Applications / edited by Christophe Bobda.
by Bobda, Christophe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
1817.
|
Induction, Algorithmic Learning Theory, and Philosophy [electronic resource] / edited by Michèle Friend, Norma B. Goethe, Valentina S. Harizanov.
by Friend, Michèle | Goethe, Norma B | Harizanov, Valentina S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1818.
|
Advances in Design and Specification Languages for Embedded Systems [electronic resource] : Selected Contributions from FDL'06 / edited by Sorin A. Huss.
by Huss, Sorin A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1819.
|
Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.
by Nicolescu, G | Jerraya, A. A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
1820.
|
Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
by Primiero, Giuseppe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
