Title

Main
Title

Title

Author [Author]

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Subject

Tahun:

2009

Bahasa:

spanish

ISBN 10:

3540283099

ISBN 13:

9783540283096

Fail:

EPUB, 2.01 MB

IPFS:

,

spanish, 2009

Baca dalam Talian

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba — Reactive Systems: Modelling, Specification and Verification

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba — Reactive Systems: Modelling, Specification and Verification

Davide Sangiorgi, Jan Rutten (Editors) — Advanced Topics in Bisimulation and Coinduction

Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto (auth.), Vladimiro Sassone (eds.) — Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.) — CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Gardner P., Yoshida N. — CONCUR 2004 -- Concurrency Theory

Lothar Thiele (auth.), Paul Pettersson, Wang Yi (eds.) — Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.) — CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko (auth.), Luboš Brim, Mojmír Křetínský, Antonín Kučera, Petr Jančar (eds.) — CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

Natarajan Shankar (auth.), Catuscia Palamidessi (eds.) — CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

Eike Best (auth.), Grzegorz Rozenberg (eds.) — Advances in Petri Nets 1992

Robin Milner (auth.), W.R. Cleaveland (eds.) — CONCUR '92: Third International Conference on Concurrency Theory Stony Brook, NY, USA, August 24–27, 1992 Proceedings

Gérard Boudol (auth.), Eike Best (eds.) — CONCUR'93: 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23–26, 1993 Proceedings

Colin Stirling (auth.), Insup Lee, Scott A. Smolka (eds.) — CONCUR '95: Concurrency Theory: 6th International Conference Philadelphia, PA, USA, August 21–24, 1995 Proceedings

Faron Moller, Graham Birtwistle (eds.) — Logics for Concurrency: Structure versus Automata

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.) — CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Unknown — Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.) — Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.) — CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Igor Walukiewicz (auth.), Roberto Amadio (eds.) — Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi

Joseph Y. Halpern (auth.), Franck van Breugel, Marsha Chechik (eds.) — CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

Wolfgang Thomas (auth.), Luca de Alfaro (eds.) — Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.) — CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Frank S. de Boer, Mohammad Mahdi Jaghoori (auth.), Paul Gastin, François Laroussinie (eds.) — CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Istilah utama