Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons, eds. by School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 : University of Oxford) | Backhouse, Roland C, 1948- | Crole, Roy L | Gibbons, Jeremy, 1966-. Series: Serienbezeichnung | Lecture notes in computer science ; 2297.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings / Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.). by CALCO (Conference) (2nd : 2007 : Bergen, Norway) | Mossakowski, Till | Montanari, U. (Ugo) | Haveraaen, Magne. Series: Serienbezeichnung | Lecture notes in computer science ; 4624. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 12094387Publication details: Berlin ; New York : Springer, ©2007Other title: CALCO 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.). by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fla.) | Ciardo, Gianfranco | Darondeau, Philippe. Series: Serienbezeichnung | Lecture notes in computer science ; 3536.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2005Other title: ICATPN 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and others], eds. by International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands) | Heering, J. Series: Serienbezeichnung | Lecture notes in computer science ; 816.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994Other title: HOA '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.). by CALCO (Conference) (3rd : 2009 : Udine, Italy) | Kurz, Alexander, 1967- | Lenisa, Marina | Tarlecki, Andrzej. Series: Serienbezeichnung | Lecture notes in computer science ; 5728. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|