Your search returned 10 results.

Sort
Results
Programming constraint services : high-level programming of standard and new constraint services

by Schulte, Christian | .

Series: Edition: Language: English Publication details: Berlin ; Springer, ; 2002Availability: Items available for loan: 1 Call number: 681.3.06:517.1 Sch.

Mathematics of program construction : 8th international conference proceedings, MPC, Kuressaare, Estonia, July 3-5, 2006

by | Uustalu, Tarmo | Uustalu, Tarmo.

Series: Lecture notes in computer science ; v.4014Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:8:06.

Mathematics of program construction : 9th international conference proceedings, MPC, Marseille, France, July 15-18, 2008

by | Audebaud, Philippe | Audebaud, Philippe.

Series: Lecture notes in computer science ; v.5133Edition: Language: English Publication details: Berlin ; Springer ; 2008Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:9:08.

Mathematics of program construction : international conference proceedings, Groningen, The Netherlands, June 26-30, 1989

by | Snepscheut, J.L.A. van de | Snepscheut, J.L.A. van de.

Series: Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1989Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:89.

Mathematics of program construction : 2nd international conference proceedings, Oxford, U.K., June 29-July 3, 1992

by | Bird, R.S | Bird, R.S.

Series: Lecture notes in computer science ; v.669Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 1993Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:2:92.

Mathematics of program construction : 3rd international conference proceedings, MPC, Kloster Irsee, Germany, July 17-21, 1995

by | Moller, Bernhard | Moller, Bernhard.

Series: Lecture notes in computer science ; v.947Edition: Language: English Publication details: Berlin ; Springer ; 1995Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:3:95.

Mathematics of program construction : 4th international conference proceedings, MPC, Marstrand, Sweden, June 15-17, 1998

by | Jeuring, Johan | Jeuring, Johan.

Series: Lecture notes in computer science ; v.1422Edition: Language: English Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:4:98.

Mathematics of program construction : 5th international conference proceedings, MPC, Ponte de Lima, Portugal, July 3-5, 2000

by | Backhouse, Roland | Backhouse, Roland.

Series: Lecture notes in computer science ; v.1837Edition: Language: English Publication details: Berlin ; Springer-Verlag ; 2000Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:5:00.

Mathematics of program construction : 7th international conference proceedings, MPC, Stirling, Scotland, UK, July 12-14, 2004

by - | Kozen, Dexter | Kozen, Dexter.

Series: Lecture notes in computer science ; v.3125Edition: Language: English Publication details: Berlin ; Springer ; 2004Availability: Items available for loan: 1 Call number: 681.3.06:51Mat:7:04.

Mathematics of program construction : 11th international conference : proceedings, MPC, Madrid, Spain, June 25-27, 2012 (e-book)

by .

Series: Lecture notes in computer science ; v.7342Edition: Language: null Publication details: Berlin ; Springer ; 2012Online access: Click here to access online Availability: Items available for reference: Not for loan (1) .

Pages

Powered by Koha