38 treff

programmeringsmetoder
Systemteori og matematiske programmeringsmetoder : optimalisering av én- og fler-maskin sekvenseringsproblemer med sekvensavhengige omstillingskostnader
av Olav Solem
Bok Bokmål 1974 · Les boka på nett · Vis mer
Vis flere utgaver
Vis flere utgaver
Pensum i Systemering 2
[redigert av] Arne Sølvberg
Bok Bokmål 1993 · Vis mer
Kompendium i fag 45052 Programmeringsmetodikk, 1988
Petter Moe
Bok Bokmål 1988 · Vis mer
Programmeringsmetodikk : eksempel: OL94 - 50 km langrenn : notat i fag 45001, 1991/1992
Lasse Natvig
Bok Bokmål 1992 · Vis mer
An introduction to text processing
Peter D. Smith
Bok Engelsk 1990 · Vis mer
Software engineering
Stephen R. Schach
Bok Engelsk 1990 · Vis mer
Current trends in programming methodology. 2. Program validation

Bok Engelsk 1977 · Vis mer
Current trends in programming methodology. 4. Data structuring

Bok Engelsk 1978 · Vis mer
Current trends in programming methodology : volume III
Chandy, K. Mani
Bok Språk ikke angitt 1978 · Vis mer
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
MPC '98
Bok Engelsk 1998 · Vis mer
Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
MPC '95
Bok Engelsk 1995 · Vis mer
Inheritance hierarchies in knowledge representation and programming languages
edited by Maurizio Lenzerini, Daniele Nar...
Bok Engelsk 1991 · Vis mer
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures
FMCO 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Current trends in programming methodology. 1. Software specification and design

Bok Engelsk 1977 · Vis mer
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
FMCO 2004
Bok Engelsk 2005 · Vis mer
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
FMCO 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
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. Woodco...
Bok Engelsk 1993 · Vis mer
Mathematics of program construction : 375th anniversary of the Groningen University international conference, Groningen, the Netherlands, June 26-30, 1989 : proceedings
J. L. A. van de Snepscheut (ed.)
Bok Engelsk 1989 · Vis mer
Mathematical problems in computation theory
editors of the volume: Graʾzyna Mirkowska...
Bok Språk ikke angitt 1988 · Vis mer
Error-free software : know-how and know-why of program correctness
Robert Laurence Baber ; translated from t...
Bok Engelsk 1991 · Vis mer
Symbolsk formulering av praktiske matematiske programmeringsproblem og bruk av matrisegenerator programsystemet "MGG" på RUNIT's VAX 8600
av Bjørn Nygreen
Bok Språk ikke angitt 1987 · Vis mer
Current trends in programming methodology. 3. Software modeling

Bok Engelsk 1978 · Vis mer
The other side of software : a user's guide for defining software requirements
Carolyn Shamlin
Bok Engelsk 1989 · Vis mer
Data models : in the context of the 3 schema architecture
by Arve Meisingset
Bok Språk ikke angitt 1989 · Vis mer
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
FMCO 2005
Bok Engelsk 2006 · Vis mer
Variations on constants : flow analysis of sequential and parallel programs
Markus Müller-Olm
Bok Engelsk 2006 · Vis mer
Communicating sequential processes : the first 25 years : symposium on the occasion of the 25 years of CSP, London, UK, July 7-8, 2004 : revised invited papers
Ali E. Abdallah, Cliff B. Jones, Jeff W. ...
Bok Engelsk 2005 · Vis mer
Specification case studies
edited by Ian Hayes ; with contributions ...
Bok Språk ikke angitt 1987 · Vis mer
Computer animation : programming methods and techniques
Julio Sanchez, Maria P. Canton
Bok Engelsk 1995 · Vis mer
Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans, Louisiana, December 4-6, 1991
ACM SIGSOFT Conference on Software for Critical Systems
Bok Engelsk 1991 · Vis mer