Barbara König – författare

Visar alla böcker från författaren Barbara König.

5 produkter

Kategorier

5 produkter

Foundations of Software Science and Computation Structures
23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
AvJean Goubault-Larrecq,Barbara König
Häftad, Engelska, 2020
579 kr
Skickas inom 10-15 vardagar
Del 14617
Del 14617 - Lecture Notes in Computer Science
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
AvBarbara König,Henning Urbat
Häftad, Engelska, 2024
939 kr
Skickas inom 10-15 vardagar
Del 8571
Del 8571 - Lecture Notes in Computer Science
Graph Transformation
7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
AvHolger Giese,Barbara König
Häftad, Engelska, 2014
699 kr
Skickas inom 10-15 vardagar
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
AvJoost-Pieter Katoen,Barbara König
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar
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
AvCormac Flanagan,Barbara König
Häftad, Engelska, 2012
739 kr
Skickas inom 10-15 vardagar