Electronic Books

Total Books: 1 - 20 /20

Application and Theory of Petri Nets 2002

This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...

Applications and Theory of Petri Nets 2005

This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...

Conceptual Modeling of Information Systems

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

Conceptual Modeling of Information Systems

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

Excel 2007 PivotTables Recipes : A Problem-Solution Approach

You'll find this book when facing any new or difficult problem in PivotTables, covering the entire breadth of situations ...

Excel PivotTables Recipe Book

Excel Pivot Tables Recipe Book: A Problem-Solution Approach is for anyone who uses Excel frequently. This book follows a ...

Formal Methods and Software Engineering (vol. # 3785)

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

Formal Methods in Software and Systems Modeling

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

Formal Models of Communicating Systems

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...

Guide to Observing Deep-Sky Objects : A Complete Global Resource for Astronomers

Guide to Observing Deep-Sky Objects is an invaluable reference for all amateur astronomers. The book contains, for each constellation, ...

Model Driven Engineering Languages and Systems

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...

Model Driven Engineering Languages and Systems (vol. # 4199)

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...

Radioactivity Radionuclides Radiation

RADIOACTIVITY – RADIONUCLIDES – RADIATION is suitable for a general audience interested in topical environmental and ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

System Analysis and Modeling: Language Profiles

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...

The Observers Sky Atlas : With 50 Star Charts Covering the Entire Sky

The Observer's Sky Atlas contains star charts and information for all those who observe the night sky with unaided eyes, ...

Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

UML Modeling Languages and Applications

This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...

Total Books: 1 - 20 /20