الكتب الالكترونية

عدد الكتب: 1 - 20 /26
978-3-540-69850-0
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

اقرأ المزيد
978-0-387-34600-7
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

اقرأ المزيد
978-1-84800-199-2
Agile Software Engineering

This textbook presents the crucial issues in software engineering using the agile approach to software development - one ...

اقرأ المزيد
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

اقرأ المزيد
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

اقرأ المزيد
978-3-540-35727-8
ECOOP 2006 - Object-Oriented Programming

This book constitutes the refereed proceedings of the 20th European Conference on Object-Oriented Programming, ECOOP 2006, ...

اقرأ المزيد
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

اقرأ المزيد
978-3-540-73589-2
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

اقرأ المزيد
978-0-387-26399-1
Functional Verification of Programmable Embedded Architectures

This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...

اقرأ المزيد
978-3-030-28501-2
Guide to Efficient Software Design

This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...

اقرأ المزيد
978-3-540-31650-3
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

اقرأ المزيد
978-3-540-70799-8
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control

The subject of this book is model abstraction of dynamical systems. The p- mary goal of the work embodied in this book is ...

اقرأ المزيد
978-3-540-31899-6
Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

اقرأ المزيد
978-3-540-33103-2
Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

اقرأ المزيد
NoIMG
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments

This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...

اقرأ المزيد
978-3-540-87599-4
Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings

This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...

اقرأ المزيد
978-3-030-58923-3
Software Architecture

This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...

اقرأ المزيد
978-3-540-87601-4
Spatial Cognition VI. Learning, Reasoning, and Talking about Space : International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

This book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...

اقرأ المزيد
978-1-4020-4265-2
The Arché Papers on the Mathematics of Abstraction

This volume collects together a number of important papers concerning both the method of abstraction generally and the use ...

اقرأ المزيد
978-3-030-45190-5
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

اقرأ المزيد
عدد الكتب: 1 - 20 /26