 |
|
|
|
Astronomy Demystified (Demystified)
This book is for people who want to learn basic astronomy without taking a formal course. It also can serve as a supplemental text in a classroom, tutored, or home-schooling environment. I recommend that you start at the beginning of this book and go straight through.
In this book, we’ll go on a few “mind... | | How To Think Like A Computer Scientist: C++ Version
The goal of this book is to teach you to think like a computer scientist. 1 like
the way computer scientists think because they combine some of the best fea
tures of Mathematics, Engineering, and Natural Science. Like mathematicians,
computer scientists use formal languages to denote ideas (specifically computa
tions). Like engineers,... | | Introductory Bioelectronics: For Engineers and Physical Scientists
Bioelectronics is a rich field of research involving the application of electronics engineering principles to biology, medicine, and the health sciences. With its interdisciplinary nature, bioelectronics spans state-of-the-art research at the interface between the life sciences, engineering and physical sciences.
Introductory... |
|
Formal Methods: Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in... | | | | Finite-State Language Processing (Language, Speech, and Communication)
Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This... |
|
Abstraction in Artificial Intelligence and Complex Systems
Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive... | | Secure Systems Development with UMLAttacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness.
Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML... | | Advanced Language PracticeThe revised edition of this book is designed with a greater emphasis on text and collocation, in keeping with recent trends in the world of English as a Foreign Language. It also incorporates the many changes to the revised proficiency examination from December 2002, such as word formation and multiple word meaning. The book is also intended for... |
|
Handbook of Software Engineering
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, ... | | Java and the Java Virtual Machine: Definition, Verification, ValidationThis book provides a high-level description, together with a mathematical and an experimental analysis, of Java and of the Java Virtual Machine (JVM), including a standard compiler of Java programs to JVM code and the security critical bytecode verifier component of the JVM. The description is structured into language layers and machine components.... | | Formal Refinement for Operating System KernelsThe kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of... |
|
|
| Result Page: 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 |
