|
41.
|
Hardware Verification with C++ [electronic resource] : A Practitioner’s Handbook / by Mike Mintz, Robert Ekendahl.
by Mintz, Mike | Ekendahl, Robert | 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
|
|
42.
|
Visual Languages and Applications [electronic resource] / by Kang Zhang.
by Zhang, Kang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
43.
|
More Math Into Latex [electronic resource] : 4th Edition / by George Grätzer.
by Grätzer, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
|
|
44.
|
Parsing Techniques [electronic resource] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs.
by Grune, Dick | Jacobs, Ceriel J. H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2008Online access: Click here to access online Availability: No items available
|
|
45.
|
Introduction to C++ Programming and Graphics [electronic resource] / by Constantine Pozrikidis.
by Pozrikidis, Constantine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
46.
|
Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework / by Mike Mintz, Robert Ekendahl.
by Mintz, Mike | Ekendahl, Robert | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2007Online access: Click here to access online Availability: No items available
|
|
47.
|
A Modular Calculus for the Average Cost of Data Structuring [electronic resource] / by Michel Schellekens.
by Schellekens, Michel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
48.
|
Open Source Systems Security Certification [electronic resource] / by Ernesto Damiani, Claudio Agostino Ardagna, Nabil El Ioini.
by Damiani, Ernesto | Ardagna, Claudio Agostino | El Ioini, Nabil | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
49.
|
The China Information Technology Handbook [electronic resource] / edited by Patricia Ordóñez de Pablos, Miltiadis D. Lytras.
by Ordóñez de Pablos, Patricia | Lytras, Miltiadis D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
50.
|
Programming Languages [electronic resource] : An Active Learning Approach / by Kent Lee.
by Lee, Kent | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2008Online access: Click here to access online Availability: No items available
|
|
51.
|
High Assurance Services Computing [electronic resource] / edited by Liang-Jie Zhang, Raymond Paul, Jing Dong.
by Zhang, Liang-Jie | Paul, Raymond | Dong, Jing | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
52.
|
Multi-Agent Programming: [electronic resource] : Languages, Tools and Applications / edited by Amal El Fallah Seghrouchni, Jürgen Dix, Mehdi Dastani, Rafael H. Bordini.
by El Fallah Seghrouchni, Amal | Dix, Jürgen | Dastani, Mehdi | Bordini, Rafael H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
53.
|
Handbook of Floating-Point Arithmetic [electronic resource] / by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Damien Stehlé, Serge Torres.
by Muller, Jean-Michel | Brisebarre, Nicolas | de Dinechin, Florent | Jeannerod, Claude-Pierre | Lefèvre, Vincent | Melquiond, Guillaume | Revol, Nathalie | Stehlé, Damien | Torres, Serge | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston : Birkhäuser Boston, 2010Online access: Click here to access online Availability: No items available
|
|
54.
|
Guide to Assembly Language [electronic resource] : A Concise Introduction / by James T. Streib.
by Streib, James T | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
55.
|
Specification of Software Systems [electronic resource] / by V.S. Alagar, K. Periyasamy.
by Alagar, V.S | Periyasamy, K | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
56.
|
Guide to HTML, JavaScript and PHP [electronic resource] : For Scientists and Engineers / by David R. Brooks.
by Brooks, David R | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
57.
|
Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.
by Mogensen, Torben Ægidius | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
58.
|
Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.
by Broy, Manfred | Grünbauer, Johannes | Harel, David | Hoare, Tony | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: No items available
|
|
59.
|
The Developer’s Guide to Debugging [electronic resource] / by Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka.
by Grötker, Thorsten | Holtmann, Ulrich | Keding, Holger | Wloka, Markus | 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
|
|
60.
|
Optimized ASIP Synthesis from Architecture Description Language Models [electronic resource] / by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers.
by Schliebusch, Oliver | Meyr, Heinrich | Leupers, Rainer | 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
|