Title

Main
Title

Title

Author

0 / 0

Насколько вам понравилась эта книга?

Какого качества скаченный файл?

Скачайте книгу, чтобы оценить ее качество

Какого качества скаченные файлы?

Год:

2008

Язык:

spanish

ISBN:

653E9D7422B94852A07483CBF0E080C2

Файл:

AZW3 , 4.01 MB

IPFS:

,

spanish, 2008

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Author — Title

Author — Title

Author — Title

Author — Title

Author — Title

Christel Baier & Ugo Dal Lago — Foundations of Software Science and Computation Structures

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Bernd Fischer, Tarmo Uustalu — Theoretical Aspects of Computing – ICTAC 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Patricia Bouyer, Lutz Schröder — Foundations of Software Science and Computation Structures. 25th International Conference, FOSSACS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022. Proceedings

Stéphane Demri, Deepak Kapur, Christoph Weidenbach (eds.) — Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

Gabriel Ciobanu, Dominique Méry (eds.) — Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Christel Baier, Ugo Dal Lago — Foundations of Software Science and Computation Structures

Paul-André Melliès (auth.), Zoltán Ésik (eds.) — Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.) — Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.) — Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.) — Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

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

Samson Abramsky, Guy McCusker (auth.), Mogens Nielsen, Wolfgang Thomas (eds.) — Computer Science Logic: 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers

David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (eds.) — Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.) — Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) — Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

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

Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) — Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

Mikołaj Bojańczyk (auth.), Erich Grädel, Reinhard Kahle (eds.) — Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

David Basin, Cas Cremers (auth.), Anuj Dawar, Helmut Veith (eds.) — Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (eds.) — Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.) — Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Andrew Pitts (eds.) — Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.) — Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.) — Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Ключевые слова