81. Multi-agent programming : languages, platforms, and applications

by Dastani, Mehdi | Bordini, Rafael H | Dix, Jurgen | Seghrouchini, Amal El Fallah.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 006.3 BOR] (1).
82. Statistical analysis and optimization for VLSI : timing and power

by Srivastava, Ashish | Blaauw, David | Sylvester, Dennis.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 621.395 SRI] (1).
83. UML for SOC design

by Martin, Grant | Muller, Wolfgang.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 621.395 MAR] (1).
84. Analog design essentials

by Sansen, Willy M. C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 621.3815 SAN] (2).
85. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
86. Advances in design and specification languages for SoCs : selected contributions from FDL'04

by Boulet, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2005Availability: Items available for loan: [Call number: 621.392 BOU] (1).
87. Logic synthesis and verification algorithms

by Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
88. Design of systems on a chip: design and test.

by Reis, Ricardo | Jess, Jochen A. G | Lubaszewski, Marcelo | Reis, Ricardo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2006Availability: Items available for loan: [Call number: 621.3815 REI] (1).
89. SystemVerilog for design

by Sutherland, Stuart | Davidmann, Simon | Flake, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.392 SUT] (1).
90. Specification of software systems

by Alagar, Vangalur S | Periyasamy, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1998Availability: Items available for loan: [Call number: 005.1 ALA] (1).
91. Reading images : the grammar of visual design

by Kress, Gunther R | Van Leeuwen, Theo.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Routledge, 1995Availability: Items available for loan: [Call number: 741.6 GRA] (1).
92. Principles of three-dimensional design

by Wong, Wucius.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Van Nostrand Reinhold, 1977Availability: Items available for loan: [Call number: 701.8 WON] (1).
93. Fountains of paradise

by Clarke, Arthur C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Aspect, 2001Availability: Items available for loan: [Call number: 808.83 CLA] (1).
94. Emotional design : why we love (or hate) everyday things

by Norman, Donald A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Basic Books, 2004Availability: Items available for loan: [Call number: 155.911 NOR] (1).
95. Psychology of everyday things

by Norman, Donald A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Basic Books, 1988Availability: Items available for loan: [Call number: 620.82 NOR] (1).
96. Dedicated digital processors : methods in hardware/software design

by Mayer-Lindenberg, F.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 621.3916 MAY] (1).
97. Essential open source toolset : programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and more

by Zeller, Andreas | Krinke, Jens.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2005Availability: Items available for loan: [Call number: 005.1 ZEL] (1).
98. Geography mark-up language : foundation for the geo-web

by Lake, Ron.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2004Availability: Items available for loan: [Call number: 910.285674 LAK] (2).
99. Content management for dynamic Web delivery

by Hackos, JoAnn T.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 005.276 HAC] (1).
100. Introduction to VLSI Circuits and Systems

by Uyemura, John P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2002Availability: Items available for loan: [Call number: 621.395 UYE] (2).

Powered by Koha