Results
|
|
|
Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings / Eugene C. Freuder (ed.). by Freuder, Eugene C [edt] | International Conference on Principles and Practice of Constraint Programming, CP (2 : 19-08-1996 - 22-08-1996 : Cambridge, MA). Series: SerienbezeichnungMaterial type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Berlin : Springer, ©1996Other title: CP '96 | CP'96.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.). by TACAS (Conference) (8th : 2002 : Grenoble, France) | Katoen, Joost-Pieter | Stevens, Perdita | LINK (Online service) | ETAPS (Conference) (2002 : Grenoble, France). Series: Serienbezeichnung | Lecture notes in computer science ; 2280.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: TACAS 2002 | ETAPS 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / Alan Borning (ed.). by Borning, Alan (Alan H.), 1951- [edt] | International Workshop on the Principles and Practice of Constraint Programming. PPCP (2nd : 1994 : Rosario, Orcas Island, WA). Series: SerienbezeichnungMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring, ed. by International Conference on the Mathematics of Program Construction (4th : 1998 : Marstrand, Sweden) | Jeuring, Johan, 1965- | LINK (Online service). Series: Serienbezeichnung | Lecture notes in computer science ; 1422.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer Verlag, ©1998Other title: MPC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings / Giorgio Levi, ed. by International Static Analysis Symposium (5th : 1998 : Pisa, Italy) | Levi, G. (Giorgio), 1942- | LINK (Online service). Series: Serienbezeichnung | Lecture notes in computer science ; 1503.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1998Other title: SAS '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers / Hartmut Ehrig, Fernando Orejas, (eds.). by Workshop on Specification of Abstract Data Types (9th : 1992 : Caldes de Malavella, Spain) | Ehrig, Hartmut | Orejas, F. (Fernando) | COMPASS Workshop (4th : 1992 : Caldes de Malavella, Spain). Series: Serienbezeichnung | Lecture notes in computer science ; 785.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / Michael Fisher, Richard Owens, eds. by International Joint Conference on Artificial Intelligence (13th : 1993 : Chambéry, France) | Fisher, Michael, 1962- | Owens, Richard, 1965-. Series: Serienbezeichnung | Lecture notes in computer science ; 897. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1995Other title: IJCAI '93 Workshop.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers / M. Bidoit, C. Choppy (eds.). by Workshop on Specification of Abstract Data Types (8th : 1991 : Dourdan, France) | Bidoit, M. (Michel), 1957- | Choppy, C. (Christine) | COMPASS Workshop (3rd : 1991 : Dourdan, France). Series: Serienbezeichnung | Lecture notes in computer science ; 655.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto File. by SAS'99 (1999 : Venice, Italy) | Cortesi, Agostino, 1963- | Filé, Gilberto, 1951-. Series: Serienbezeichnung | Lecture notes in computer science ; 1694.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1999Other title: SAS'99 Static analysis.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings / edited by Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy. by Workshop on Static Analysis (3rd : 1993 : Padova, Italy) | Cousot, Patrick, 1948- | Falaschi, Moreno | Filé, Gilberto | Rauzy, Antoine. Series: Serienbezeichnung | Lecture notes in computer science ; 724.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings / Ugo Montanari, Francesca Rossi (eds.). by CP (Conference) (1st : 1995 : Cassis, France) | Montanari, U. (Ugo) [editor.] | Rossi, F. (Francesca) [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 976.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©1995Other title: CP '95.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|