1-8 of 8 Books

Computer-aided reasoning
By Matt Kaufmann,Panagiotis Manolios,J. Strother Moore

Software prototyping in data and knowledge engineering
By Giovanni Guida,G. Guida,G. Lamperti,M. Zanella

Hardware/software co-design
By J. Staunstrup,Wayne Hendrix Wolf,Jørgen Staunstrup,Wayne Wolf

Basics of software engineering experimentation
By Natalia Juristo,Ana M. Moreno

Computer architecture
By William F. Gilreath,Phillip A. Laplante

Professional Design Patterns in VB .NET
By Tom Fischer,John Slater,Pete Stromquist,Chaur G. Wu

Teaching and Learning Formal Methods (Library and Information Science)
By

Lua 5.1 Reference Manual
By Roberto Ierusalimschy,Luiz Henrique de Figueiredo,Waldemar Celes