Validation of Stochastic Systems A Guide to Current Research /

Validation of Stochastic Systems A Guide to Current Research /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Baier, Christel (Επιμελητής έκδοσης), Haverkort, Boudewijn R. (Επιμελητής έκδοσης), Hermanns, Holger (Επιμελητής έκδοσης), Katoen, Joost-Pieter (Επιμελητής έκδοσης), Siegle, Markus (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:	Lecture Notes in Computer Science, 2925
Θέματα:	Mathematics. Microprocessors. Software engineering. Operating systems (Computers). Computers. Computer logic. Probabilities. Probability Theory and Stochastic Processes. Computation by Abstract Devices. Logics and Meanings of Programs. Software Engineering. Operating Systems. Processor Architectures.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings /
Έκδοση: (2007)

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings /
Έκδοση: (2006)

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings /
Έκδοση: (2005)

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
Έκδοση: (2008)

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Έκδοση: (2009)

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
Έκδοση: (2009)

Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle, κ.ά.
Έκδοση: (2005)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Έκδοση: (2017)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /
Έκδοση: (2012)

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /
Έκδοση: (2012)

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Έκδοση: (2013)

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Έκδοση: (2008)

Computing System Reliability Models and Analysis /
ανά: Xie, Min, κ.ά.
Έκδοση: (2004)

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Έκδοση: (2017)

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing /
Έκδοση: (2013)

Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings /
Έκδοση: (2004)

Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
Έκδοση: (2004)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
Έκδοση: (2006)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Έκδοση: (2009)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
Έκδοση: (2010)

High Performance Computing - HiPC 2003 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings /
Έκδοση: (2003)

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Έκδοση: (2017)

Elementary Logic For Software Development /
ανά: Lover, Robert
Έκδοση: (2008)

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
Έκδοση: (2005)

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings /
Έκδοση: (2006)

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings /
Έκδοση: (2007)

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /
Έκδοση: (2007)

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
Έκδοση: (2006)

Higher-Level Hardware Synthesis
ανά: Sharp, Richard
Έκδοση: (2004)

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /
Έκδοση: (2012)

Parallel Algorithm Derivation and Program Transformation
Έκδοση: (1993)

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
Έκδοση: (2010)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Έκδοση: (2010)

Distributed and Parallel Systems In Focus: Desktop Grid Computing /
Έκδοση: (2008)

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Έκδοση: (2009)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
Έκδοση: (2010)

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
Έκδοση: (2008)

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
ανά: Rust, Heinrich
Έκδοση: (2005)

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers /
Έκδοση: (2017)

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