Your search returned 6 results.

Not what you expected? Check for suggestions

Results
	1.	Non-Hausdorff Topology and Domain Theory by Jean Goubault-Larrecq Publication details: CAMBRIDGE UNIVERSITY PRESS 2013 Availability: Items available for loan: Library (1)Call number: 514-2013. Place hold
	2.	Application and theory of petri nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / edited by Serge Haddad, Lucia Pomello. by International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (33rd : 2012 : Hamburg, Germany) Haddad, Serge Pomello, Lucia Series: Lecture notes in computer science ; 7347. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: Petri Nets 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Programming logics : essays in memory of Harald Ganzinger / Andrei Voronkov, Christoph Weidenbach (eds.). by Voronkov, Andrei, 1959- Weidenbach, Christoph Series: Lecture notes in computer science ; 7797. \| Lecture notes in computer science. Festschrift. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / Krishnendu Chatterjee, Jirí Sgall (eds.). by Symposium on Mathematical Foundations of Computer Science (1972- ) (38th : 2013 : Klosterneuburg, Austria) Chatterjee, Krishnendu [editor.] Sgall, Jiří, 1965- [editor.] Series: Lecture notes in computer science ; 8087. \| Lecture notes in computer science. Advanced research in computing and software science. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	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) Series: Lecture notes in computer science ; 12077. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer Open, 2020 Other title: FOSSACS 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Non-Hausdorff topology and domain theory / Jean Goubault-Larrecq, Ecole Normale Supérieure de Cachan, France. by Goubault-Larrecq, Jean [author.] Series: New mathematical monographs ; 22. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2013Copyright date: ©2013 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha