Software Engineering books

15448 books were found.

Duration Calculus: A Formal Approach to Real-Time Systems

Duration Calculus: A Formal Approach to Real-Time Systems...
Author: Chaochen Zhou , Michael R. Hansen ISBN: 9783642074042 Format: Paperback	$314.16
Read More >>

Complementarity: Applications, Algorithms and Extensions

Complementarity: Applications, Algorithms and Extensions...
Author: Michael C. Ferris , Olvi L. Mangasarian ISBN: 9781441948472 Format: Paperback	$551.76
This volume presents state-of-the-art complementarity applications, algorithms, extensions and theory in the form... Read More >>

Optimization and Related Topics

Optimization and Related Topics
Author: Alexander M. Rubinov , Barney M. Glover ISBN: 9781441948441 Format: Paperback	$551.76
A collection of results in various fields of theoretical and applied optimization and related topics. It contains... Read More >>

Aspect-Oriented Database Systems

Aspect-Oriented Database Systems
Author: Awais Rashid ISBN: 9783642056697 Format: Paperback	$211.07
Read More >>

From Local to Global Optimization

From Local to Global Optimization
Author: A. Migdalas , Panos M. Pardalos ISBN: 9781441948526 Format: Paperback	$459.36
The book consists of research papers based on results presented at a conference held in Sweden to celebrate Hoang... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9789048150526 Format: Paperback	$551.76
We are invited to deal with mathematical activity in a sys tematic way [ ... The field of automated deduction has... Read More >>

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume...
Author: Wolfgang Bibel , P.H. Schmitt ISBN: 9789048150502 Format: Paperback	$789.36
rather the books present the concepts and methods now available in automated deduction in a form which can be... Read More >>

Semi-Infinite Programming: Recent Advances

Semi-Infinite Programming: Recent Advances
Author: Miguel Ángel Goberna , Marco A. López ISBN: 9781441952042 Format: Paperback	$594.00
Semi-infinite programming (SIP) deals with optimization problems in which either the number of decision variables... Read More >>

Service Research Challenges and Solutions for the Future Internet: S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems

Service Research Challenges and Solutions for the Future...
Author: M. Papazoglou , Klaus Pohl ISBN: 9783642175985 Format: Paperback	$219.12
Read More >>

Towards a Service-Based Internet: Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010, Proceedings

Towards a Service-Based Internet: Third European Conference,...
Author: Di Nitto Elisabetta , Ramin Yahyapour ISBN: 9783642176937 Format: Paperback	$190.08
They cover a broad range of subjects related to service-oriented architectures and the underlying cloud infrastructure... Read More >>

Verification of Reactive Systems: Formal Methods and Algorithms

Verification of Reactive Systems: Formal Methods and...
Author: Klaus Schneider ISBN: 9783642055553 Format: Paperback	$287.76
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities... Read More >>

Software Engineering with Computational Intelligence

Software Engineering with Computational Intelligence...
Author: Jonathan Lee ISBN: 9783642055959 Format: Paperback	$308.88
It is not an exaggeration to view Professor Lee's book,"" Software Engineer ing with Computational Intelligence,""... Read More >>

Multiagent Systems for Manufacturing Control: A Design Methodology

Multiagent Systems for Manufacturing Control: A Design...
Author: Stefan Bussmann , Nicolas R. Jennings ISBN: 9783642058905 Format: Paperback	$366.96
The ability of production companies to rapidly develop and deploy effective and efficient control systems is critical... Read More >>

Large-scale Optimization: Problems and Methods

Large-scale Optimization: Problems and Methods
Author: Vladimir Tsurkov ISBN: 9781441948489 Format: Paperback	$459.36
Decomposition methods aim to reduce large-scale problems to simpler problems. For fixed weights, successively... Read More >>

Filter Design With Time Domain Mask Constraints: Theory and Applications

Filter Design With Time Domain Mask Constraints: Theory...
Author: Ba-Ngu Vo , Antonio Cantoni ISBN: 9781441948588 Format: Paperback	$604.56
Optimum envelope-constrained filter design is concerned with time-domain synthesis of a filter such that its response... Read More >>

Multi-Agent Programming: Languages, Platforms and Applications

Multi-Agent Programming: Languages, Platforms and Applications...
Author: Rafael H. Bordini , Mehdi Dastani ISBN: 9781441937537 Format: Paperback	$340.56
Read More >>

Hardware/Software Co-Design and Co-Verification

Hardware/Software Co-Design and Co-Verification
Author: Jean-Michel Bergé , Oz Levia ISBN: 9781441951595 Format: Paperback	$580.77
Co-Design is the set of emerging techniques which allows for the simultaneous design of Hardware and Software.... Read More >>

Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies
Author: Matt Kaufmann , Panagiotis Manolios ISBN: 9781441949813 Format: Paperback	$868.56
Read More >>

Quality Of Protection: Security Measurements and Metrics

Quality Of Protection: Security Measurements and Metrics...
Author: Dieter Gollmann , Fabio MASSACCI ISBN: 9781441939654 Format: Paperback	$419.76
Read More >>

Formal Engineering for Industrial Software Development: Using the SOFL Method

Formal Engineering for Industrial Software Development:...
Author: Shaoying Liu ISBN: 9783642058271 Format: Paperback	$340.56
Liu advocates incorporation of mathematical notation into the software engineering process, thus substantially improving... Read More >>

Advances in Modeling Agricultural Systems

Advances in Modeling Agricultural Systems
Author: Petraq Papajorgji , Panos M. Pardalos ISBN: 9781441945259 Format: Paperback	$340.56
Read More >>

Security and Dependability for Ambient Intelligence

Security and Dependability for Ambient Intelligence...
Author: George Spanoudakis , Spyros Kokolakis ISBN: 9781441947000 Format: Paperback	$340.56
This book details the SERENITY approach towards providing security and dependability solutions for dynamic, highly-distributed... Read More >>

Logic and Integer Programming

Logic and Integer Programming
Author: H. Paul Williams ISBN: 9781441947130 Format: Paperback	$237.47
Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction... Read More >>

Testing Complex and Embedded Systems

Testing Complex and Embedded Systems
Author: Kim H. Pries (Co-Founder, Value Transformation, LLC, Texas, USA; Stonebridge Electronics North America, El Paso, Texas, USA) , Jon M. Quigley (Co-Founder, Value Transformation, LLC, Texas, USA) ISBN: 9781439821404 Format: Hardback	$231.00
Read More >>

New Trends in Mathematical Programming: Homage to Steven Vajda

New Trends in Mathematical Programming: Homage to Steven...
Author: F. Giannessi , Sándor Komlósi ISBN: 9781441947932 Format: Paperback	$448.77
Though the volume covers 22 papers by 36 authors from 12 countries, the history in the background is bound to Hungary... Read More >>

Page 399 of 618 ... 394 395 396 397 398 399 400 401 402 403 ...

Sub Categories for

Software Engineering

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now