Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.). by International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany) Berghammer, R. (Rudolf), 1952- Möller, Bernhard, 1953- Struth, Georg International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany) Series: Lecture notes in computer science ; 3051. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11011163 Publication details: Berlin ; Hong Kong : Springer, ©2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Prospects for hardware foundations : ESPRIT Working Group 8533 : NADA--new hardware design methods, survey chapters / Bernhard Möller, John V. Tucker, eds. by Möller, Bernhard, 1953- Tucker, J. V. (John V.), 1952- LINK (Online service) Series: Lecture notes in computer science ; 1546. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1998 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.). by International Conference on Relational Methods in Computer Science (10th : 2008 : Frauenworth, Germany) Berghammer, R. (Rudolf), 1952- Möller, Bernhard, 1953- Struth, Georg International Workshop on Applications of Kleene Algebra (5th : 2008 : Frauenworth, Germany) Series: Lecture notes in computer science ; 4988. \| 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, ©2008 Other title: Relational methods in computer science Applications of Kleene algebra Kleene algebra RelMiCS/AKA 2008 RelMiCS 2008 AKA 2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Mathematics of program construction : 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.). by MPC 2002 (2002 : Dagstuhl Castle) Boiten, Eerke, 1966- Möller, Bernhard, 1953- Series: Lecture notes in computer science ; 2386. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2002 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings / edited by Bernhard Möller. by MPC '95 (1995 : Kloster Irsee) Möller, Bernhard, 1953- Series: Lecture notes in computer science ; 947. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1995 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha