Models of Computation

Models of Computation

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After prel...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bruni, Roberto (Συγγραφέας), Montanari, Ugo (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	Texts in Theoretical Computer Science. An EATCS Series,
Θέματα:	Computer science. Software engineering. Computers. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings /
Έκδοση: (2008)

Process Algebras for Petri Nets The Alphabetization of Distributed Systems /
ανά: Gorrieri, Roberto
Έκδοση: (2017)

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies /
ανά: Reisig, Wolfgang
Έκδοση: (2013)

Augmented Marked Graphs
ανά: Cheung, King Sing
Έκδοση: (2014)

Practical Distributed Processing
ανά: Brooke, Phillip J., κ.ά.
Έκδοση: (2008)

Graph and Model Transformation General Framework and Applications /
ανά: Ehrig, Hartmut, κ.ά.
Έκδοση: (2015)

Mathematical and Computer Programming Techniques for Computer Graphics
ανά: Comninos, Peter
Έκδοση: (2006)

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart /
Έκδοση: (2008)

Models of Computation An Introduction to Computability Theory /
ανά: Fernández, Maribel
Έκδοση: (2009)

Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden /
Έκδοση: (2010)

Grid Computing Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers /
Έκδοση: (2004)

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /
ανά: Prodan, Radu, κ.ά.
Έκδοση: (2007)

Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation /
ανά: Siegfried, Robert
Έκδοση: (2014)

Distributed Computing - IWDC 2003 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings /
Έκδοση: (2003)

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings /
Έκδοση: (2005)

Introduction to Concurrency Theory Transition Systems and CCS /
ανά: Gorrieri, Roberto, κ.ά.
Έκδοση: (2015)

Soft Real-Time Systems Predictability vs. Efficiency /
ανά: Buttazzo, Giorgio, κ.ά.
Έκδοση: (2005)

Decision Procedures An Algorithmic Point of View /
ανά: Kroening, Daniel, κ.ά.
Έκδοση: (2016)

The Common Component Modeling Example Comparing Software Component Models /
Έκδοση: (2008)

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /
Έκδοση: (2009)

Advances in Computer and Information Sciences and Engineering
Έκδοση: (2008)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
Έκδοση: (2006)

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems /
ανά: Wagner, Christian
Έκδοση: (2014)

Rigorous Development of Complex Fault-Tolerant Systems
Έκδοση: (2006)

Software Configuration Management Using Vesta
ανά: Heydon, Allan, κ.ά.
Έκδοση: (2006)

Software Engineering 2 Specification of Systems and Languages /
ανά: Bjørner, Dines
Έκδοση: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
ανά: Bjøner, Dines
Έκδοση: (2006)

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /
Έκδοση: (2009)

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings /
Έκδοση: (2006)

Transactions on Computational Science I
Έκδοση: (2008)

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Έκδοση: (2009)

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /
Έκδοση: (2009)

Principles of the Spin Model Checker
ανά: Ben-Ari, Mordechai
Έκδοση: (2008)

Domain-Specific Model-Driven Testing
ανά: Baerisch, Stefan
Έκδοση: (2010)

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings /
Έκδοση: (2005)

Agile Software Construction
ανά: Hunt, John
Έκδοση: (2006)

Unfoldings A Partial-Order Approach to Model Checking /
ανά: Esparza, Javier, κ.ά.
Έκδοση: (2008)

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems /
Έκδοση: (2009)

Architecting Dependable Systems III
Έκδοση: (2005)

Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
ανά: Herdt, Vladimir
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_l9as8r6iquu5g5d19c2g9cous4