Narrow search
Showing 1 - 10 of 35
Cover Image
Computer programs for spelling correction : an experiment in program design
Peterson, James L. - 1980
Persistent link: https://www.econbiz.de/10004615522
Cover Image
Learning software organizations : methodology and applications ; proceedings
Ruhe, Günther (contributor) - 2000
Persistent link: https://www.econbiz.de/10004608447
Cover Image
Software engineering : an advanced course
Bauer, Friedrich L. (contributor) - 1975 - Repr. of the 1. ed.
Persistent link: https://www.econbiz.de/10004692202
Cover Image
Abstract software specifications : 1979 Copenhagen winter school, January 22 - February 2, 1979 ; proceedings
Bjørner, Dines (contributor) - 1980
Persistent link: https://www.econbiz.de/10004697672
Cover Image
Specification and design of software systems : proceedings
Knuth, Elöd (contributor) - 1983
Persistent link: https://www.econbiz.de/10004703109
Cover Image
Product-focused software process improvement : 13th international conference ; proceedings
Dieste, Oscar (contributor) - 2012
Persistent link: https://www.econbiz.de/10009590422
Cover Image
Coroutines : a programming methodology, a language design and an implementation
Marlin, Christopher D. - 1980
Persistent link: https://www.econbiz.de/10004658844
Cover Image
Language design and programming methodology : proceedings of a symposium held in Sydney, Australia, 10 - 11 September, 1979
Tobias, Jeffrey M. (contributor) - 1980
Persistent link: https://www.econbiz.de/10004615518
Cover Image
Mes premières constructions de programmes
Gerbier, A. (contributor) - 1977
Persistent link: https://www.econbiz.de/10004022452
Cover Image
First order dynamic logic
Harel, David - 1979
Persistent link: https://www.econbiz.de/10004038415