Hoppa till sidans huvudinnehåll

Barbara König – författare

Visar alla böcker från författaren .
5 produkter
Jean Goubault-Larrecq, Barbara König - Foundations of Software Science and Computation Structures, Häftad

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

569 kr

Skickas inom 10-15 vardagar

Barbara König, Henning Urbat - Coalgebraic Methods in Computer Science, Häftad
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

Holger Giese, Barbara König - Graph Transformation, Häftad
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

Joost-Pieter Katoen, Barbara König - CONCUR 2011 -- Concurrency Theory, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Cormac Flanagan, Barbara König - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar