Your search returned 13 results.

Not what you expected? Check for suggestions

Results
	1.	CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings / K.G. Larsen, M. Nielsen (eds.). by International Conference on Concurrency Theory (12th : 2001 : Aalborg, Denmark) Larsen, K. G. (Kim G.), 1957- Nielsen, M. (Mogens), 1949- Series: Lecture notes in computer science ; 2154. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2001 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.). by FORMATS (Conference) (1st : 2003 : Marseille, France) Larsen, K. G. (Kim G.), 1957- Niebert, Peter LINK (Online service) Series: Lecture notes in computer science ; 2791. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 10931844 Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004 Other title: FORMATS 2003 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.). by International Colloquium on Automata, Languages, and Programming (25th : 1998 : Ålborg, Denmark) Larsen, K. G. (Kim G.), 1957- Skyum, Sven, 1946- Winskel, G. (Glynn) European Association for Theoretical Computer Science LINK (Online service) Series: Lecture notes in computer science ; 1443. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998 Other title: ICALP '98 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou, eds. by CAV (Conference) (3rd : 1991 : Ålborg, Denmark) Larsen, K. G. (Kim G.), 1957- Skou, A. (Arne), 1948- Series: Lecture notes in computer science ; 575. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©1992 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings / Ed Brinksma, Kim Guldstrand Larsen (eds.). by CAV (Conference) (14th : 2002 : Copenhagen, Denmark) Brinksma, Ed Larsen, K. G. (Kim G.), 1957- Series: Lecture notes in computer science ; 2404. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002 Other title: CAV 2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Verification, model checking, and abstract interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.). by VMCAI (Conference) (16th : 2015 : Mumbai, India) D'Souza, Deepak [editor.] Lal, Akash [editor.] Larsen, K. G. (Kim G.), 1957- [editor.] Series: Lecture notes in computer science ; 8931. \| 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: Heidelberg : Springer, 2014 Other title: VMCAI 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings / Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (ed.). by RP (Workshop) (10th : 2016 : Ålborg, Denmark) Larsen, K. G. (Kim G.), 1957- [editor.] Potapov, Igor [editor.] Srba, Jiří [editor.] Series: Lecture notes in computer science ; 9899. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: RP 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday / Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.). by Larsen, K. G. (Kim G.), 1957- [honouree.] Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Anna Ingólfsdóttir, 1952- [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] Series: LNCS Sublibrary. SL 1, Artificial Intelligence \| Lecture notes in computer science ; 10460. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2017] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by SETTA (Symposium) (3rd : 2017 : Changsha Shi, China) Larsen, K. G. (Kim G.), 1957- [editor.] Sokolsky, Oleg [editor.] Wang, Ji [editor.] Series: Lecture notes in computer science ; 10606. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: SETTA 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Models, Mindsets, Meta : the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / Tiziana Margaria, Susanne Graf, Kim G. Larsen (eds.). by Margaria-Steffen, Tiziana, 1964- [editor.] Graf, Susanne [editor.] Larsen, K. G. (Kim G.), 1957- [editor.] Steffen, Bernhard [honouree.] Series: Lecture notes in computer science ; 11200. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham, Sswitzerland : Springer, [2019] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (24th : 2019 : Amsterdam, Netherlands) Larsen, K. G. (Kim G.), 1957- [editor.] Willemse, Tim [editor.] Series: Lecture notes in computer science ; 11687. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2019]Copyright date: ©2019 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Part I / Jan Friso Groote, Kim Guldstrand Larsen (eds.). by TACAS (Conference) (27th : 2021 : Online) Groote, J. F. (Jan Friso), 1965- [editor] Larsen, K. G. (Kim G.), 1957- [editor] ETAPS (Conference) (24th : 2021 : Online) Series: Lecture notes in computer science ; 12651. \| 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 : Springer, 2021 Other title: TACAS 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Tools and algorithms for the construction and analysis of systems : 27th International Conference, TACAS 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings. Part II / Jan Friso Groote, Kim Guldstrand Larsen (eds.). by TACAS (Conference) (27th : 2021 : Online) Groote, J. F. (Jan Friso), 1965- [editor] Larsen, K. G. (Kim G.), 1957- [editor] ETAPS (Conference) (24th : 2021 : Online) Series: Lecture notes in computer science ; 12652. \| 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, [2021] Other title: TACAS 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha