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

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

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

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

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

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

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