|
|
561.
|
Introduction to logic synthesis using Verilog HDL
by Reese, Robert B | Thornton, Mitchell Aaron. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2006Availability: Items available for loan: [Call number: 621.392 REE] (1).
|
|
|
562.
|
Quantum computing for computer architects
by Metodi, Tzvetan S | Chong, Frederic T. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2006Availability: Items available for loan: [Call number: 004.1 MET] (1).
|
|
|
563.
|
Finite state machine datapath design, optimization, and implementation
by Davis, Justin S | Reese, Robert B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2008Availability: Items available for loan: [Call number: 621.392 DAV] (1).
|
|
|
564.
|
Formal models and techniques for analyzing security protocols
by Cortier, Veronique | Kremer, Steve. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: IOS Press, 2011Availability: Items available for loan: [Call number: 005.82 COR] (1).
|
|
|
565.
|
Net delusion : the dark side of internet freedom
by Morozov, Evgeny. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: PublicAffairs, 2011Availability: Items available for loan: [Call number: 303.4833 MOR] (1).
|
|
|
566.
|
Net delusion : how not to liberate the world
by Morozov, Evgeny. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Allen Lane, 2011Availability: Items available for loan: [Call number: 303.4833 MOR] (1).
|
|
|
567.
|
Formal models of operating systems kernels
by Craig, Iain D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1).
|
|
|
568.
|
Embedded Java security : security for mobile devices
by Debbabi, Mourad. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.8 DEB] (1).
|
|
|
569.
|
Ethical and social issues in the information age
by Kizza, Joseph Migga. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 174.90904 KIZ] (1).
|
|
|
570.
|
Semantics with applications : an appetizer
by Nielson, Flemming | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.131 NIE] (1).
|
|
|
571.
|
Introduction to operating system design and implementation : the OSP 2 approach
by Kifer, Michael | Smolka, Scot. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.43 KIF] (1).
|
|
|
572.
|
Formal refinement for operating system kernels
by Craig, Iain D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2007Availability: Items available for loan: [Call number: 005.42 CRA] (1).
|
|
|
573.
|
Petri nets : fundamental models, verification, and applications
by Diaz, Michel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2009Availability: Items available for loan: [Call number: 511.35 DIA] (1).
|
|
|
574.
|
Principles of programming languages
by Dowek, Gilles. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London Springer 2009Availability: Items available for loan: [Call number: 005.13 DOW] (1).
|
|
|
575.
|
Formal languages and compilation
by Crespi Reghizzi, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.453015113 CRE] (1).
|
|
|
576.
|
Understanding concurrent systems
by Roscoe, A. W. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004.35 ROS] (2).
|
|
|
577.
|
Parallel computing : numerics, applications, and trends
by Trobec, Roman | Vajtersic, Marian | Zinterhof, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004.35 TRO] (1).
|
|
|
578.
|
Seductive Computer : Why IT Systems Always Fail
by Partridge, Derek. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2011Availability: Items available for loan: [Call number: 004 PAR] (1).
|
|
|
579.
|
Impossible minds: my neurons, my consciousness.
by Aleksander, Igor. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Imperial College Press, 1996Availability: Items available for loan: [Call number: 006.3 ALE] (1).
|
|
|
580.
|
Logics and analyses for concurrent heap-manipulating programs
by Gotsman, Alexey. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: British Computer Society, 2009Availability: Items available for loan: [Call number: 005.14 GOT] (1).
|
