Barbara König – författare
Visar alla böcker från författaren Barbara König. Handla med fri frakt och snabb leverans.
6 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
Av Jean Goubault-Larrecq, Barbara König
Häftad, 2020
442 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of …
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 Barbara König, Henning Urbat
Häftad, 2024
716 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 …
Graph Transformation
7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
Av Holger Giese, Barbara König
Häftad, 2014
531 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th InternationalConference 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 …
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Av Joost-Pieter Katoen, Barbara König
Häftad, 2011
569 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 …
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 Cormac Flanagan, Barbara König
Häftad, 2012
569 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 …
Revisiting Race in a Genomic Age
Av Barbara Koenig, Sandra Soo-Jin Lee m. fl.
Häftad, 2008
558 kr
Tillfälligt slut
With the completion of the sequencing of the human genome in 2001, the debate over the existence of a biological basis for race has been revived. In Revisiting Race in a Genomic Age, interdisciplinary scholars join forces to examine the new social, political, and ethical concerns that are attached …
