Barbara Konig – författare

Visar alla böcker från författaren Barbara Konig. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Coalgebraic Methods in Computer Science

   17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

   Av Henning Urbat, Barbara Konig

   E-bok, 2024

   2119 kr

   Lägg i varukorg

   This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 …

2. 

   Graph Transformation

   7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

   Av Barbara Konig, Holger Giese

   E-bok, 2014

   638 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on …

3. 

   Katholische Schule im Change-Prozess

   Ort der Pastoral im Spannungsfeld von Tradition, Transformation und Innovation

   Av Barbara Konig

   E-bok, 2024

   395 kr

   Lägg i varukorg

   Katholische Schule, die traditionell Ort der christlichen Glaubensweitergabe und der Pastoral ist, befindet sich aufgrund aktueller sozioreligiöser Transformationen wie Säkularisierung und Pluralisierung in einer Umbruchsituation. Viele Ordensgemeinschaften übergeben ihre Bildungseinrichtungen an …

4. 

   CONCUR 2011 -- Concurrency Theory

   22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

   Av Barbara Konig, Joost-Pieter Katoen

   E-bok, 2011

   739 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as …

5. 

   Tools and Algorithms for the Construction and Analysis of Systems

   18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

   Av Barbara Konig, Cormac Flanagan

   E-bok, 2012

   755 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in …