Your search returned 79 results.

Not what you expected? Check for suggestions
1.
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / edited by M. Paul and B. Robinet.

by International Symposium on Programming (6th : 1984 : Toulouse, France) | Paul, Manfred, 1932- | Robinet, B. (Bernard), 1941-.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis.

by Ada Software Tools Interfaces Workshop (1983 : Bath, England) | Wallis, Peter J. L.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / edited by K. Mehlhorn.

by Annual Symposium on Theoretical Aspects of Computer Science (2nd : 1985 : Saarbrücken, Germany) | Mehlhorn, Kurt, 1949-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger, ed.

by European Symposium on Programming (2nd : 1988 : Nancy, France) | Ganzinger, H. (Harald), 1950- | Colloquium on Trees in Algebra and Programming CAAP '88 (13th : 1988 : Nancy, France) [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (4th : 2001 : Akademgorodok, Novosibirsk, Russia) | Bjørner, D. (Dines), 1937- | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2001Other title: PSI 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers / Manfred Broy, Alexandre V. Zamulin (eds.).

by International Andrei Ershov Memorial Conference (5th : 2003 : Novosibirsk, Russia) | Broy, M, 1949- | Zamulin, A. V. (Aleksandr Vasilʹevich) | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer Verlag, ©1998Other title: MPC '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.).

by SAIG 2001 (2001 : Florence, Italy) | Taha, Walid, 1972-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings / [edited by] J. Bézivin [and others].

by ECOOP (Conference) (1st : 1987 : Paris, France) | Bézivin, J. (Jean).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer-Verlag, ©1987Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Mes premières constructions de programmes / A. Gerbier, [avec la collaboration de Pierre Bacchus and others].

by Gerbier, A | Bacchus, P.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1977Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Multiobjective Optimization : interactive and evolutionary approaches / Jürgen Branke [and others] (eds.).

by Branke, Jürgen, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Learning and intelligent optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007 : selected papers / Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson (eds.).

by LION (Conference) (2nd : 2007 : Trento, Italy) | Maniezzo, Vittorio | Battiti, Roberto, 1961- | Watson, Jean-Paul.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings / edited by David Pitt [and others].

by Pitt, David (David H.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : New York : Springer-Verlag, ©1986Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

by International Colloquium on Automata, Languages, and Programming (1985 : Nauplion, Greece) | Brauer, Wilfried | European Association for Theoretical Computer Science | Ethniko Metsovio Polytechneio (Greece) | Universität Hamburg.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Other title: ICALP 85.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).

by Lauer, Peter E, 1934-.

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). Location(s): EBook .
16.
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing (eds.).

by Broy, M, 1949- | Wirsing, M. (Martin).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).

by Bird, Richard, 1943- | Morgan, Carroll, 1952- | Woodcock, Jim | International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College).

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). Location(s): EBook .
18.
Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings / Claude Kirchner, ed.

by International Conference on Rewriting Techniques and Applications (5th : 1993 : Montreal, Québec) | Kirchner, Claude.

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). Location(s): EBook .
19.
Rewriting techniques and applications : Dijon, France, May 20-22, 1985 / edited by Jean-Pierre Jouannaud.

by Jouannaud, Jean-Pierre | International Conference on Rewriting Techniques and Applications (1st : 1985 : Dijon, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien (eds.).

by International Colloquium on Automata, Languages, and Programming (23rd : 1996 : Szeged, Hungary) | Meyer auf der Heide, F. (Friedhelm), 1954- | Monien, B.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1996Other title: ICALP '96.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha