Electronic Books

Total Books: 361 - 380 /1575
Conceptual Modeling - ER 2005

Conceptual modeling is fundamental to any domain where one must cope with complex real-world situations and systems because ...

Lee mas
Conceptual Modeling - ER 2008 : 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 27th International Conference on Conceptual Modeling, ER 2008, held ...

Lee mas
Conceptual Modeling of Information Systems

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

Lee mas
Conceptual Modeling of Information Systems

When designing an information system, conceptual modeling is the activity that elicits and describes the general knowledge ...

Lee mas
Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Lee mas
Conceptual Modelling in Information Systems Engineering

Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general ...

Lee mas
Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Lee mas
Conceptual Structures: Knowledge Architectures for Smart Applications

Conceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...

Lee mas
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...

Lee mas
Constituents of Modern System-safety Thinking

Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical ...

Lee mas
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lee mas
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lee mas
NoIMG
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lee mas
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lee mas
Constructing Correct Software

Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...

Lee mas
Construction Project Scheduling and Control / Saleh A. Mubarak

Introduces students to entirely new definitions and theories of the Critical Path Method (CPM), the leading scheduling method, ...

Lee mas
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Lee mas
Construction and Building Automation : From Concepts to Implementation / Benny Raphael

Intended to be used as a textbook in undergraduate civil engineering and construction courses to introduce cutting edge mechanical, ...

Lee mas
Container Terminals and Cargo Systems

Significant gains in productivity can be achieved through advanced terminal layouts, more efficient IT-support and improved ...

Lee mas
Contemporary Empirical Methods in Software Engineering

This book presents contemporary empirical methods in software engineering related to the plurality of research methodologies, ...

Lee mas
Total Books: 361 - 380 /1575