Narrow search
Showing 1 - 10 of 26
Cover Image
Data base techniques for pictorial applications : Florence, June 20 - 22, 1979
Blaser, Albrecht (contributor) - 1980
Persistent link: https://www.econbiz.de/10004026141
Cover Image
Computer aided design, modelling, systems engineering, CAD systems : CREST advanced course, Darmstadt, 8. - 19. September 1980
Encarnação, José Luis (contributor) - 1980
Persistent link: https://www.econbiz.de/10004026311
Cover Image
Pictorial information systems
Chang, Shi Kuo (contributor) - 1980
Persistent link: https://www.econbiz.de/10004658837
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
Cover Image
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19 - 25, 1981 ; proceedings
Díaz, Josep (contributor) - 1981
Persistent link: https://www.econbiz.de/10004008619
Cover Image
Verifying concurrent processes using temporal logic
Hailpern, Brent T. - 1982
Persistent link: https://www.econbiz.de/10004009525
Cover Image
Theory of program structures : schemes, semantics, verification
Greibach, Sheila A. - 1975
Persistent link: https://www.econbiz.de/10004018883
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