Software Engineering books

15495 books were found.

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th...

Author: Michael Hanus
ISBN: 9783642005145
Format: Paperback
$171.47

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on...  Read More >>

ADA for Software Engineers

ADA for Software Engineers

Author: Mordechai Ben-Ari
ISBN: 9781848823150
Format: Undefined
$65.87

Ada is the programming language of choice for high integrity software systems and is used extensively in industries...  Read More >>

Balancing Agility and Formalism in Software Engineering

Balancing Agility and Formalism in Software Engineering...

Author: Bertrand Meyer ,  J R Nawrocki
ISBN: 9783540853046
Format: Undefined
$65.87

Constitutes the refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software...  Read More >>

An Approach to Modelling Software Evolution Processes

An Approach to Modelling Software Evolution Processes...

Author: Tong Li
ISBN: 9783540872399
Format: Undefined
$65.87

The importance and popularity of software evolution increase as yet more successful software systems become legacy...  Read More >>

Abstract State Machines, B and Z

Abstract State Machines, B and Z

Author: Egon B Rger ,  Michael Butler
ISBN: 9783540876403
Format: Undefined
$65.87

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines,...  Read More >>

End-User Development

End-User Development

Author: Volkmar Pipek ,  Mary-Beth Rosson
ISBN: 9783642004292
Format: Undefined
$65.87

<p>This book constitutes the refereed proceedings of the 2nd International Symposium on End User Development, IS-EUD...  Read More >>

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Author: Michael Hanus
ISBN: 9783642005169
Format: Undefined
$65.87

Constitutes the post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis...  Read More >>

Cooperative Design, Visualization, and Engineering

Cooperative Design, Visualization, and Engineering

Author: Yuhua Luo
ISBN: 9783540880950
Format: Undefined
$65.87

Constitutes the refereed proceedings of the 7th International Conference on Cooperative Design, Visualization, and...  Read More >>

Robert Read - How To Be A Programmer

Robert Read - How To Be A Programmer

Author: Robert L Read
ISBN: 9781440443190
Format: Paperback
$31.55

This book summarizes so many things we need to know as a programmer, from a programmer 's perspective. Starting...  Read More >>

Software Verification and Analysis: An Integrated, Hands-On Approach

Software Verification and Analysis: An Integrated, Hands-On...

Author: Janusz Laski ,  William Stanley
ISBN: 9781848822511
Format: Undefined
$65.87

<p>This book addresses the most important techniques in improving the correctness of software, including correctness...  Read More >>

Architecture of Computing Systems - ARCS 2009: 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings

Architecture of Computing Systems - ARCS 2009: 22nd...

Author: Mladen Berekovic ,  Christian Müller-Schloer
ISBN: 9783642004537
Format: Paperback
$184.67

This book constitutes the refereed proceedings of the 22nd International Conference on Architecture of Computing...  Read More >>

Information Systems, Technology and Management: Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009, Proceedings

Information Systems, Technology and Management: Third...

Author: Sushil K. Prasad ,  Susmi Routray
ISBN: 9783642004049
Format: Paperback
$237.47

This book constitutes the refereed proceedings of the Third International Conference on Information Systems, Technology...  Read More >>

Version Control with Subversion - The Official Guide and Reference Manual

Version Control with Subversion - The Official Guide...

Author: Ben Collins-Sussman ,  Brian W Fitzpatrick
ISBN: 9781441437761
Format: Paperback
$79.20

Version Control with SUBVERSION. Written by members of the development team that maintains Subversion, this is the...  Read More >>

Network Control and Optimization: Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers

Network Control and Optimization: Second EuroFGI Workshop,...

Author: Eitan Altman ,  Augustin Chaintreau
ISBN: 9783642003929
Format: Paperback
$171.47

This book constitutes the refereed proceedings of the Second Euro-NF International Conference, NET-COOP 2008 held...  Read More >>

Design, Build, Run: Applied Practices and Principles for Production Ready Software Development

Design, Build, Run: Applied Practices and Principles...

Author: Dave Ingram
ISBN: 9780470257630
Format: Paperback
$131.97

This unique and critical book shares no-fail secrets for building software and offers tried-and-true practices and...  Read More >>

Global Optimization Methods based on Tabu Search

Global Optimization Methods based on Tabu Search

Author: Svetlana Stepanenko
ISBN: 9783838103426
Format: Paperback
$345.84

Many activities can be formulated as optimization problems. Because of the computational complexity of these problems,...  Read More >>

Hardware Software Co-Design of a Multimedia SOC Platform

Hardware Software Co-Design of a Multimedia SOC Platform...

Author: Sao-Jie Chen ,  Guang-Huei Lin
ISBN: 9781402096228
Format: Hardback
$393.36

Hardware Software Co-Design of a Multimedia SOC Platform is one of the first of its kinds to provide a comprehensive...  Read More >>

Pro Spring Dynamic Modules for OSGi  Service Platforms

Pro Spring Dynamic Modules for OSGi Service Platforms...

Author: Daniel Rubio
ISBN: 9781430216124
Format: Paperback
$124.05

Enterprises are trusting Spring more and more, and this book leverages OSGi in a way that can “complete” the use...  Read More >>

Linq My Ass! A Computer Programmers Guide To Language-Integrated Query (Linq): And How To Leverage Its Powerful C#, .Net, And Visual Basic (VB) Features

Linq My Ass! A Computer Programmers Guide To Language-Integrated...

Author: Stephenie Torre ,  Joe Meyer
ISBN: 9781441440358
Format: Paperback
$105.57

The LINQ Project is a codename for a set of extensions to the .NET Framework that encompass language-integrated...  Read More >>

Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

Software Engineering: International Summer Schools,...

Author: Andrea de Lucia ,  Filomena Ferrucci
ISBN: 9783540958871
Format: Paperback
$171.47

Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas,...  Read More >>

Programming Language Pragmatics

Programming Language Pragmatics

Author: Michael L Scott
ISBN: 9781282120938
Format: Electronic book text
$246.95

Programming Language Pragmatics' unique coverage provides in depth analysis of language design alongside practical...  Read More >>

Mac for Linux Geeks

Mac for Linux Geeks

Author: Tony Steidler-Dennison
ISBN: 9781430216506
Format: Paperback
$92.37

 Read More >>

Hardware-dependent Software: Principles and Practice

Hardware-dependent Software: Principles and Practice...

Author: Wolfgang Ecker ,  Wolfgang Müller
ISBN: 9781402094354
Format: Hardback
$340.56

By providing a comprehensive overview of general HdS principles, tools, and applications, this book provides adequate...  Read More >>

Sub Categories for
Software Engineering
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List