Foundations of Software Science and Computation Structures,...

Main
Computers
Foundations of Software Science and...

Foundations of Software Science and Computation Structures, 20 conf., FOSSACS 2017

Javier Esparza, Andrzej S. Murawski

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

İl:

2017

Nəşriyyat:

Springer

Dil:

english

Səhifələr:

571

ISBN 10:

366254458X

ISBN 13:

9783662544587

Seriyalar:

Springer Lecture notes in computer science 10203

Fayl:

PDF, 6.57 MB

IPFS:

,

english, 2017

Yüklə (pdf, 6.57 MB)

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

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

Mikołaj Bojańczyk & Alex Simpson — 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

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

Mikołaj Bojańczyk, Alex Simpson — Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Orna Kupferman, Pawel Sobociński — Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 Paris, France, April 22–27, 2023 Proceedings

Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe (eds.) — Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.) — Language and Automata Theory and Applications: 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.) — Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira — Language and Automata Theory and Applications

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

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.) — Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

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

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

Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.) — Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

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

Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.) — Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

Gheorghe Păun (auth.), Jan Holub, Jan Žďárek (eds.) — Implementation and Application of Automata: 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

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

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

Colin Stirling (auth.), Luke Ong (eds.) — 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

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

Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.) — Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.) — Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Andrej Bauer, Matija Pretnar (auth.), Reiko Heckel, Stefan Milius (eds.) — Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Anca Muscholl (eds.) — Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik (eds.) — Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

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

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.) — Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Bart Jacobs, Christof Löding (eds.) — Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding

Açar ifadələr