murawski andrzej (10 risultati)

Condizione: Pozycja w ladnym stanie. Opracowanie graficzne serii Jerzy Kepkiewicz. Ilustracja na obwolucie projektowal Konstanty M. Sopocko (illustratore). @ Cover design and illustrations / Projekt okladki i ilustracje: Opracowanie graficzne serii Jerzy Kepkiewicz. Ilustracja na obwolucie projektowal Konstanty M. Sopocko; @ Blurb / Notka wydawnicza: Warszawa: Wydawnictwo Ministerstwa Obrony Narodowej, 1986; @ Size of the book block / Wymiar bloku: 19 cm; @ Series / Seria: (Seria: Historyczne Bitwy); @ Circulation / Naklad: 40280; @ Weight / Waga: 170; @ Pages / Strony: 134, [2]s., [24]s. tabl.; @ Thematic categories / Kategorie tematyczne: historia starozytnosc - historia wojskowosc - historia, historia Europy Rzym starozytny - historia, ilustratorzy graficy Kepkiewicz Jerzy Sopocko Konstanty Maria* / history Ancient Times Military, / Geschichte Altertum Militärwesen; Oprawa wydawnicza kartonowa, obwoluta.

Condizione: New. In.

PF. Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

Paperback. Condizione: Brand New. 588 pages. 9.25x6.10x1.33 inches. In Stock.

Taschenbuch. Condizione: Neu. Foundations of Software Science and Computation Structures | 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings | Javier Esparza (u. a.) | Taschenbuch | xvii | Englisch | 2017 | Springer | EAN 9783662544570 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory. 588 pp. Englisch.

Condizione: new. Questo è un articolo print on demand.

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theo.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 588 pp. Englisch.