Electronic Books

Total Books: 321 - 340 /408

Service-Oriented Computing ICSOC 2006

This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...

Simulation of Semiconductor Processes and Devices 2007

The first SISPAD conference took place in Tokyo in 1996 as the successor to three preceding conferences NUPAD, VPAD, and ...

Software Engineering Techniques: Design for Quality

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...

Software Engineering for Multi-Agent Systems III

This book presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design ...

Software Engineering for Multi-Agent Systems V

Software is present in every aspect of our lives, pushing us inevitably towards a world of distributed computing systems. ...

Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Software Verification : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...

Software Verification and Validation

Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...

Speaker Classification I

This volume and its companion volume, LNAI 4441, constitute a state-of-the-art survey for the field of speaker classification. ...

Speaker Classification II

This two volume set, LNAI 4343 and LNAI 4441, constitutes a state-of-the-art survey for the field of speaker classification. ...

Stabilization, Safety, and Security of Distributed Systems

This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...

Standardized Functional Verification

Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...

Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

Static Analysis (vol. # 4134)

This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

Supervisory Control of Concurrent Systems

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...

System Verilog for Verification : A Guide to Learning the Testbench Language Features

This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Total Books: 321 - 340 /408