Service-Oriented Computing ICSOC 2006
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in ...
Lee masSimulation 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 ...
Lee mas
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 ...
Lee mas
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Software Verification and Validation
Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need ...
Lee mas
Speaker Classification I
This volume and its companion volume, LNAI 4441, constitute a state-of-the-art survey for the field of speaker classification. ...
Lee mas
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. ...
Lee mas
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, ...
Lee mas
Standardized Functional Verification
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
Lee mas
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee mas
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Lee mas
Static Analysis (vol. # 4134)
This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book ...
Lee mas
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, ...
Lee mas
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Lee mas
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 ...
Lee mas
SystemVerilog for Verification
Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...
Lee mas
