Hoppa till sidans huvudinnehåll

Barbara König – författare

Visar alla böcker från författaren Barbara König.
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

559 kr

Skickas inom 10-15 vardagar

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

909 kr

Skickas inom 10-15 vardagar

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

679 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

719 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

719 kr

Skickas inom 10-15 vardagar