|
|
1.
|
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-. Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
2.
|
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.). by CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
3.
|
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). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; Hong Kong : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
4.
|
Applied algebra, algebraic algorithms and error-correcting codes : 6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988 : proceedings / T. Mora (ed.). by Mora, Teo [edt] | International Conference on Applied Algebra, Algebraic Algorithms and Error Correcting Codes, AAECC-6 (6 : 04-07-1988 - 08-07-1988 : Rome, Italy). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, 1989Other title: AAECC-6.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
5.
|
|
|
|
6.
|
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. Source: Springer e-booksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: CALCO 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
7.
|
Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.). by WADT 2006 (2006 : La Roche-en-Ardenne, Belgium) | Fiadeiro, José Luiz, 1961- | Schobbens, Pierre-Yves, 1961-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2007Other title: WADT 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
8.
|
Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, Jan Zdarek (eds.). by CIAA (Conference) (12th : 2007 : Prague, Czech Republic) | Holub, Jan | Žd̕árek, Jan, 1938-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: CIAA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
9.
|
Algebraic informatics : second international conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007 : revised selected and invited papers / Symeon Bozapalidis, George Rahonis (eds.). by CAI 2007 (2007 : Thessalonikē, Greece) | Bozapalidēs, Symeōn | Rachōnēs, Geōrgios, 1965-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: CAI 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
10.
|
|
|
|
11.
|
Sequences, subsequences, and consequences : international workshop, SSC 2007, Los Angeles, CA, USA, May 31-June 2, 2007 : revised invited papers / Solomon W. Golomb [and others] (eds.). by SSC 2007 (2007 : Los Angeles, Calif.) | Golomb, Solomon W. (Solomon Wolf). Material type: Text; Format:
available online
festschrift
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2007Other title: SSC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
12.
|
Concept lattices and their applications : fourth international conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006 ; selected papers / Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek (eds.). by CLA 2006 (2006 : Ḥammāmāt, Tunisia) | Ben Yahia, Sadok | Nguifo, Engelbert Mephu | Bělohlávek, Radim. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2008Other title: CLA 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
13.
|
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers / José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.). by WADT 2004 (2004 : Barcelona, Spain) | Fiadeiro, José Luiz, 1961- | Mosses, Peter | Orejas, F. (Fernando). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: WADT 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
14.
|
Global optimization and constraint satisfaction : second international workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.). by COCOS 2003 (2003 : Lausanne, Switzerland) | Jermann, Christophe, 1975- | Neumaier, A | Sam, Djamila. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2005Other title: COCOS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
15.
|
|
|
|
16.
|
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. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2005Other title: ICATPN 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
17.
|
Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.). by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) | MacCaull, Wendy | Winter, Michael (Professor) | Düntsch, Ivo | European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) | International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
18.
|
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings / Michael Johnson, Varmo Vene (eds.). by International Conference on Algebraic Methodology and Software Technology (11th : 2006 : Kingissepa, Estonia) | Johnson, Michael, 1959- | Vene, Varmo. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, 2006Other title: AMAST 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
19.
|
|
|
|
20.
|
|