Your search returned 32 results.

Not what you expected? Check for suggestions
Sort
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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).
Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings / John Fitch (ed.).

by International Symposium DISCO '92 (1992 : Bath, England) | Fitch, John, 1945-.

Series: Serienbezeichnung | Lecture notes in computer science ; 721.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Other title: DISCO '92.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Principles and practice of constraint programming--CP'97 : Third International Conference, CP'97, Linz, Austria, October 29-November 1, 1997 : proceedings / Gert Smolka (ed.).

by CP '97 (1997 : Linz, Austria) | Smolka, Gert.

Series: Serienbezeichnung | Lecture notes in computer science ; 1330.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997Online 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 Text; Format: available online remote; 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).
Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / Pascal van Hentenryck, ed.

by International Static Analysis Symposium (4th : 1997 : Paris, France) | Van Hentenryck, Pascal.

Series: Serienbezeichnung | Lecture notes in computer science ; 1302.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.).

by International Static Analysis Symposium (7th : 2000 : Santa Barbara, Calif.) | Palsberg, Jens.

Series: Serienbezeichnung | Lecture notes in computer science ; 1824.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Product focused software process improvement : Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings / Frank Bomarius, Markku Oivo (eds.).

by International Conference PROFES 2000 (2000 : Oulu, Finland) | Bomarius, Frank | Oivo, Markku.

Series: Serienbezeichnung | Lecture notes in computer science ; 1840.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings / P.S. Thiagarajan (ed.).

by Thiagarajan, P. S.

Series: Serienbezeichnung | Lecture notes in computer science ; 1026.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©1995Online 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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).
Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings / Pierre Cointe (ed.).

by Reflection'99 (1999 : Saint-Malo, France) | Cointe, Pierre, 1954-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1616.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 1999Online 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 Text; Format: available online remote; 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).
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, the Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, ed.

by EWSPT '95 (1995 : Noordwijkerhout, Netherlands) | Schäfer, Wilhelm.

Series: Serienbezeichnung | Lecture notes in computer science ; 913.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings / Baudouin Le Charlier (ed.).

by International Static Analysis Symposium (1st : 1994 : Namur, Belgium) | Le Charlier, Baudouin, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 864.Material type: Text Text; Format: available online remote; 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).
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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).
Pages

Powered by Koha