Your search returned 4 results.

Not what you expected? Check for suggestions
1.
CONCUR 2011--concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings / Joost-Pieter Katoen, Barbara König (eds.).

by International Conference on Concurrency Theory (22nd : 2011 : Aachen, Germany) | Katoen, Joost-Pieter | König, Barbara (Professor of Information Engineering).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
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 / Cormac Flanagan, Barbara König (eds.).

by TACAS (Conference) (18th : 2012 : Tallinn, Estonia) | Flanagan, Cormac | König, Barbara (Professor of Information Engineering) | ETAPS (Conference) (2012 : Tallinn, Estonia).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: TACAS 2012 | ETAPS 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Graph transformation : 7th International Conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / Holger Giese, Barbara König (eds.).

by ICGT (Conference) (7th : 2014 : York, England) | Giese, Holger [editor.] | König, Barbara (Professor of Information Engineering) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Other title: ICGT 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 / Jean Goubault-Larrecq, Barbara König (eds.).

by FOSSACS (Conference) (23rd : 2020 : Dublin, Ireland) | Goubault-Larrecq, Jean [editor.] | König, Barbara (Professor of Information Engineering) [editor.] | ETAPS (Conference) (23rd : 2020 : Dublin, Ireland).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer Open, 2020Other title: FOSSACS 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha