|
|
561.
|
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco.
by Bertacco, Valeria | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
562.
|
Encyclopedia of Multimedia [electronic resource] / edited by Borko Furht.
by Furht, Borko | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
563.
|
Embedded System Design [electronic resource] / by Peter Marwedel.
by Marwedel, Peter | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
564.
|
Orthogonal Frequency Division Multiplexing for Wireless Communications [electronic resource] / edited by Ye Li, Gordon L. Stüber.
by Li, Ye | Stüber, Gordon L | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
565.
|
Modelling and Reasoning with Vague Concepts [electronic resource] / by Jonathan Lawry.
by Lawry, Jonathan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
566.
|
Intelligence and Security Informatics for International Security [electronic resource] : Information Sharing and Data Mining / by Hsinchun Chen.
by Chen, Hsinchun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
567.
|
Wide-Bandwidth High-Dynamic Range D/A Converters [electronic resource] / by Konstantinos Doris, Arthu van Roermund, Domine Leenaerts.
by Doris, Konstantinos | van Roermund, Arthu | Leenaerts, Domine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
568.
|
Modeling and Simulation in Scilab/Scicos [electronic resource] / by Stephen L. Campbell, Jean-Philippe Chancelier, Ramine Nikoukhah.
by Campbell, Stephen L | Chancelier, Jean-Philippe | Nikoukhah, Ramine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
569.
|
Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz.
by Yuan, Jun | Pixley, Carl | Aziz, Adnan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
570.
|
M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke.
by Koppitz, J | Denecke, K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
571.
|
Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions [electronic resource] / by Duc Thai Nguyen.
by Nguyen, Duc Thai | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
572.
|
Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu.
by Heydon, Allan | Mann, Timothy | Levin, Roy | Yu, Yuan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
573.
|
Fault-Tolerance Techniques for SRAM-based FPGAs [electronic resource] / by Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis.
by Kastensmidt, Fernanda Lima | Carro, Luigi | Reis, Ricardo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
574.
|
Controlled Markov Processes and Viscosity Solutions [electronic resource] / by Wendell H. Fleming, H.M. Soner.
by Fleming, Wendell H | Soner, H.M | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: No items available
|
|
|
575.
|
Advances in Digital Forensics [electronic resource] : IFIP International Conference on Digital Forensics, National Center for Forensic Science, Orlando, Florida, February 13–16, 2005 / edited by Mark Pollitt, Sujeet Shenoi.
by Pollitt, Mark | Shenoi, Sujeet | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
576.
|
Mobile Information Systems II [electronic resource] : IFIP International Working Conference on Mobile Information Systems, (MOBIS) Leeds, UK, December 6–7, 2005 / edited by John Krogstie, Karlheinz Kautz, David Allen.
by Krogstie, John | Kautz, Karlheinz | Allen, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: No items available
|
|
|
577.
|
Security Management, Integrity, and Internal Control in Information Systems [electronic resource] : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / edited by Paul Dowland, Steve Furnell, Bhavani Thuraisingham, X. Sean Wang.
by Dowland, Paul | Furnell, Steve | Thuraisingham, Bhavani | Wang, X. Sean | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
578.
|
EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World [electronic resource] : IFIP International Workshop on Networked Applications, Colmenarejo, Madrid/Spain, 6–8 July, 2005 / edited by Carlos Delgado Kloos, Andrés Marín, David Larrabeiti.
by Kloos, Carlos Delgado | Marín, Andrés | Larrabeiti, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
579.
|
Challenges in Ad Hoc Networking [electronic resource] : Fourth Annual Mediterranean Ad Hoc Networking Workshop, June 21–24, 2005, Île de Porquerolles, France / edited by K. Agha, I. Guérin Lassous, G. Pujolle.
by Agha, K | Guérin Lassous, I | Pujolle, G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
580.
|
Writing Testbenches using System Verilog [electronic resource] / by Janick Bergeron.
by Bergeron, Janick | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
