Published by Warszawa: Wydawnictwo Ministerstwa Obrony Narodowej, 1986, 1986
ISBN 10: 8311072981 ISBN 13: 9788311072985
Seller: POLIART Beata Kalke, Tworog, Poland
Condition: Pozycja w ladnym stanie. Opracowanie graficzne serii Jerzy Kepkiewicz. Ilustracja na obwolucie projektowal Konstanty M. Sopocko (illustrator). @ 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.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
PF. Condition: New.
Language: English
Published by Springer Berlin Heidelberg, 2017
ISBN 10: 3662544571 ISBN 13: 9783662544570
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 3662544571 ISBN 13: 9783662544570
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 588 pages. 9.25x6.10x1.33 inches. In Stock.
Language: English
Published by Springer Berlin Heidelberg Mrz 2017, 2017
ISBN 10: 3662544571 ISBN 13: 9783662544570
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Berlin Heidelberg, 2017
ISBN 10: 3662544571 ISBN 13: 9783662544570
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: 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.
Language: English
Published by Springer, Springer Mär 2017, 2017
ISBN 10: 3662544571 ISBN 13: 9783662544570
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: 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.