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, ...
Lee mas
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 ...
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
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 ...
Lee mas
Excel PivotTables Recipe Book
Excel Pivot Tables Recipe Book: A Problem-Solution Approach is for anyone who uses Excel frequently. This book follows a ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Model Driven Engineering Languages and Systems
This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages ...
Lee mas
Model Driven Engineering Languages and Systems (vol. # 4199)
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages ...
Lee mas
Radioactivity Radionuclides Radiation
RADIOACTIVITY – RADIONUCLIDES – RADIATION is suitable for a general audience interested in topical environmental and ...
Lee mas
SDL 2005: Model Driven
This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...
Lee mas
SDL 2007: Design for Dependable Systems
Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...
Lee mas
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lee mas
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, ...
Lee mas
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee mas
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 ...
Lee mas
