|
81.
|
Constraint-based verification
by Yuan, Jun | Aziz, Adnan | Pixley, Carl. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
|
|
82.
|
First course in differential equations
by Logan, J. David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 517.38 LOG] (1).
|
|
83.
|
Secrets of the old one : Einstein, 1905
by Bernstein, Jeremy. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 530.092 BER] (1).
|
|
84.
|
Reconfigurable computing : accelerating computation with field-programmable gate arrays
by Gokhale, Maya B | Graham, Paul S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.395 GOK] (1).
|
|
85.
|
Advances in design and specification languages for SoCs : selected contributions from FDL'04
by Boulet, Pierre. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 621.392 BOU] (1).
|
|
86.
|
Consistent preferences approach to deductive reasoning in games
by Asheim, Geir B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 519.3 ASH] (1).
|
|
87.
|
Handbook of mathematical models in computer vision
by Chen, Yunmei | Faugeras, Olivier | Paragios, Nikos. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.37015118 PAR] (1).
|
|
88.
|
Unconstrained face recognition
by Zhou, Shaohua Kevin | Chellappa, Rama | Zhao, Wenyi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.37 ZHO] (1).
|
|
89.
|
Modeling and simulation for RF system design
by Frevert, Ronny | Haase, Joachim | Jancke, Roland | Knochel, Uwe and. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 621.382 FRE] (2).
|
|
90.
|
Semantic management of middleware
by Oberle, Daniel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.713 OBE] (1).
|
|
91.
|
Understanding intrusion detection through visualization
by Axelsson, Stefan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 005.8 AXE] (1).
|
|
92.
|
Modeling and simulation in Scilab / Sciocos
by Campbell, Stephen L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 502.855369 CAM] (1).
|
|
93.
|
Future generation grids : proceedings of the Workshop on Future Generation Grids, November 1-5, 2004 Dagstuhl, Germany
by Getov, Vladimir | Getov, Vladimir | Laforenza, Domenico | Laforenza, Domenico | Reinefeld, Alexander | Reinefeld, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 004.36 GET] (2).
|
|
94.
|
Nanoscale transistors: device Physics, modeling and simulation.
by Lundstrom, Mark | Guo, Jing. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 620.5 LUN] (1).
|
|
95.
|
Software engineering techniques applied to agricultural systems : an object-oriented and UML approach
by Pardalos, Panos M | Papajorgji, Petraq J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 630.2085 PAP] (1).
|
|
96.
|
Immersive audio signal processing
by Bharitkar, Sunil | Kyriakakis, Chris. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.3822 BHA] (1).
|
|
97.
|
Industrial applications of semantic Web : proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005, Jyvaskyla, Finland
by Bramer, Max | Terziyan, Vagan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 025.04 BRA] (1).
|
|
98.
|
Fundamentals of switching theory and logic design : a hands on approach
by Astola, Jaakko T | Stankovic, Radomir S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.3815372 AST] (1).
|
|
99.
|
Distributed multimedia retrieval strategies for large scale networked systems
by Veeravalli, Bharadwaj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004.36 VEE] (1).
|
|
100.
|
Fully-depleated soi CMOS circuits and technology for ultralow power applications
by Sakurai, Takayasu | Douseki, Takakuni | Matsuzawa, Akira. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 621.39732 SAK] (1).
|