|
361.
|
Logic synthesis and verification algorithms
by Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
|
|
362.
|
Design of systems on a chip: design and test.
by Reis, Ricardo | Jess, Jochen A. G | Lubaszewski, Marcelo | Reis, Ricardo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 621.3815 REI] (1).
|
|
363.
|
SystemVerilog for design
by Sutherland, Stuart | Davidmann, Simon | Flake, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SUT] (1).
|
|
364.
|
Abstraction refinement for large scale model checking.
by Wang, Chao | Hachtel, Gary D | Somenzi, Fabio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.21 WAN] (1).
|
|
365.
|
Reverse Engineering of Object Oriented Code
by Potrich, Alessandra | Tonella, Paolo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.117 TON] (1).
|
|
366.
|
Data compression : the complete reference
by Salomon, David. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 005.746 SAL] (1).
|
|
367.
|
Selected writings on computing : a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1982Availability: Items available for loan: [Call number: 001.64 DIJ] (1).
|
|
368.
|
Introduction to artificial life
by Adami, Christoph. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 570.13 ADA] (2).
|
|
369.
|
Handbook of mathematics and computational science
by Harris, John W | Stocker, Horst. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1998Availability: Items available for loan: [Call number: 510 HAR] (1).
|
|
370.
|
CyberLaw
by Rosenoer, Jonathan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 347.303999 ROS] (1).
|
|
371.
|
Modeling dynamic biological systems
by Ruth, Matthias | Hannon, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 574.0113 HAN] (2).
|
|
372.
|
Verification of sequential and concurrent programs
by Apt, Krzysztof R | Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1).
|
|
373.
|
Physics for computer science students : with emphasis on atomic and semiconductor physics
by Garcia, Narciso | Damask, Arthur | Schwarz, Schwarz. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 530.0246213 GAR] (1).
|
|
374.
|
On concurrent programming
by Schneider, Fred B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.275 SCH] (1).
|
|
375.
|
Codes, systems, and graphical models
by Marcus, Brain | Marcus, Brain | Rosenthal, Joachim | Rosenthal, Joachim. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 003.54 MAR] (1).
|
|
376.
|
Mathematical Statistics with Mathematica
by Rose, Colin | Rose, Colin | Smith, Murray D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 519.5 ROS] (3).
|
|
377.
|
Bayesian networks and decision graphs
by Jensen, Finn V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 519.542 JEN] (1).
|
|
378.
|
Mathematical computing : an introduction to programming using Maple
by Betounes, David | Redfern, Mylan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2002Availability: Items available for loan: [Call number: 005.133 BET] (2).
|
|
379.
|
Programming Methodology
by Mclver, Annabelle | Morgan, Carroll. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 MCL] (1).
|
|
380.
|
Origin of concurrent programming : from semaphores to remote procedure calls
by Hansen, Per Brinch. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.275 HAN] (1).
|