OJD-, KN-og SIMULA- dokumenter
tilgjengelighet pr 2. november 2015
Innhold
Fins ved Informatikkbiblioteket
19
Fins elektronisk
21
Ikke katalogisert
22
Fins ved andre avdelinger på UB Oslo
22
Fins ved Norsk Regnesentral
23
Informatikkbiblioteket har ikke, men ønsker
25
Ukjent tilgjengelighet
25
Fins ved Informatikkbiblioteket
[1] ACM SIGPLAN History of Programming Languages Conference. Bd. 28.
HOPL 2. (BIBSYS). Association for Computing Machinery. Cambridge,
Mass.: Academic Press, apr. 1993. INF.
[2]
Peter Bøgh Andersen og Tone Bratteteig, red. Computers and language
at work. Research Report 126. (BIBSYS). Universitetet i Oslo, Institutt
for informatikk, 1988. INF.
[3]
Stefan Arnborg. Revised Simula 67 for the Dec system 10 computer. FOA
P rapport C8329-M3(E5). (BIBSYS). Försvarets forskningsanstalt, Planeringsbyrån, 1972, 17 bl. INF.
[4]
Stefan Arnborg. Simula 67 for the Dec system 10 computer. FOA P
rapport C8304-M3(E4). (BIBSYS). Försvarets forskningsanstalt, Planeringsbyrån, 1971, 307 s. INF.
[5]
Association of SIMULA Users. Bylaws of the Association of Simula Users.
(BIBSYS). Simula, [197?], 5 s. INF.
[6] Association of SIMULA users. (BIBSYS). Association of SIMULA users,
1984. INF.
[7]
K.E. Aubert og W. Ljunggren, red. Scandinavian Congress. 15. (BIBSYS). 1968. INF.
1
[8]
Karel Babčický. Some more notes on SIMULA. Text handling and I/O.
(BIBSYS). Norsk Regnesentral, [1977?], 19 bl. INF.
[9]
Karel Babčický og Graham Birtwistle. Class distinction in SIMULA.
Some aspects of a general programming language. (BIBSYS). The Norwegian Computing Centre, 1970], 49 s. INF.
[10]
Vic Bell og Ole-Johan Dahl. Simscript implementation. (BIBSYS). Norwegian Computing Center, 1963, 31 s. INF.
[11]
Olav Terje Bergo og Kristen Nygaard, red. En Vurdering av styringsog informasjonssystemet KVPOL. Forskningsrapport fra Norsk jern- og
metallarbeiderforbunds forskningsprosjekt nr 4. (BIBSYS). Tiden norsk
forlag, 1974, 121 s. isbn: 82-10-00890-0. INF.
[12]
Olav Terje Bergo og Kristen Nygaard. Norsk jern- og metallarbeiderforbund og forskningsressursene. Noen fakta og synspunkter. Forskningsrapport fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt 8.
(BIBSYS). Norsk Regnesentral, 1973, 40 bl. INF.
[13]
Graham Birtwistle. Notes on the SIMULA language. Publication S-8.
(BIBSYS). Norsk Regnesentral, 1969, 72 bl. INF.
[14]
Graham Birtwistle. SIMULA begin. A set of programmed examples to
introduce SIMULA. Publication S-31. (BIBSYS). Norsk Regnesentral,
1970, 1 b. (flere pag.) INF.
[15]
Graham Birtwistle, red. SIMULA begin. (BIBSYS). Studentlitteratur,
1979, 391 s. isbn: 3-88598-018-5. INF.
[16]
Gro Bjerknes mfl., red. Computers and democracy. A Scandinavian challenge. (BIBSYS). Avebury, c1987, x, 434 s. isbn: 0-566-05476-0. INF.
[17]
Knut Bjørlykke og Kristen Nygaard, red. Rapport fra norsk naturvitenskapsdelegasjon til Folkerepublikken Kina 1.-12. september 1980. (BIBSYS). [Forfatterne], 1980, 64 s. INF.
[18]
Dines Bjørner, C.A.R. Hoare og H. Langmaack, red. VDM and Z-formal
methods in software development. Lecture notes in computer science 428.
(BIBSYS). Springer, 1990. INF.
[19]
B. Breckling og Henry Islo, red. 24th conference of the ASU. Object oriented modelling and simulation of environmental, human and technical
systems, 30. September - 2. October, 1998, at the Federal Cultural Center Salzau (Schleswig Holstein, Germany) : proceedings. (BIBSYS). The
Association of SIMULA Users, 1998, 182 s. INF.
[20]
Per Brinch Hansen. Monitors and concurrent Pascal. A personal history. I: ACM SIGPLAN History of Programming Languages Conference. Bd. 28. HOPL 2. (Ole-Johan Dahl kommenterer Brinch Hansens innlegg BIBSYS). Association for Computing Machinery. Cambridge, Mass.:
Association for Computing Machinery, apr. 1993, s. 1–35. INF.
[21]
Manfred Broy og Ernst Denert, red. Software Pioneers. Contributions to
Software Engineering. Springer, 2001.
[22]
Bent Bruun-Kristensen, Ole Lehrmann-Madsen og Kristen Nygaard. BETA
language development. Survey report, 1. november 1976 : (revised version, september 1977). Publication / Norwegian Computing Center 559.
(BIBSYS). 1977, iii, 58 bl. INF.
2
[23]
Bent Bruun-Kristensen, Ole Lehrmann-Madsen og Kristen Nygaard. Beta
language development. Survey report, 1. november 1976. DAIMI PB 65.
(BIBSYS). Århus University, Computer Science Department, 1977, 58 s.
INF.
[24]
Bent Bruun-Kristensen og Kristen Nygaard, red. A definition of the Beta
language. DAIMI TR 8. (BIBSYS). Computer Science Department, Aarhus University, 1979, 34 s. INF.
[25]
Bent Bruun-Kristensen og Kristen Nygaard. Coroutine sequencing in
BETA. DAIMI PB 235. (BIBSYS). Århus University, Computer Science
Department, 1987, 26 s. INF.
[26]
Bent Bruun-Kristensen og Kristen Nygaard, red. Object-oriented programming in the BETA programming language. (BIBSYS). Aarhus universit, 1990, 168 s. INF.
[27]
Ernst Buchberger, Kristen Nygaard og Bo Göranzon, red. Artificial intelligence. Perspectives and implications. CompLex 11/87. (BIBSYS). Norwegian University Press, c1987, 157 s. isbn: 82-00-07867-1. INF.
[28]
J.N. Buxton, red. Proceedings of the IFIP working conference on simulation programming languages. (BIBSYS). IFIP Technical Committee 2.
North-Holland, 1967.
[29]
J.N. Buxton, red. Simulation programming languages (Chair: Ole-Johan
Dahl). Proceedings of the IFIP working conference on simulation programming languages, Oslo, May 1967. (BIBSYS). North-Holland, c1968,
vi, 463 s. INF.
[30] CERN school of computing. (BIBSYS). CERN, 1974. INF.
[31]
Arnfinn Christensen. Eventyret om Simula. Utskrift fra nett. Om radioprogrammet Kristen Nygaard — Simula i serien Verdt å vite. 2003. INF.
Notat: katalogiseres og plasseres i Eske.
[32]
Arnfinn Christensen, red. Kristen Nygaard — Simula. Verdt å vite. (BIBSYS). Norsk rikskringkasting, 2002, 1 plate (CD) (26, 40 min.) INF.
Medvirkende: Reiss, Helge; Hannemyr, Gisle; Holmevik, Jan Rune; Kay,
Alan; Hegna, Håvard. Omtalt: Sandvold, Haakon; Dahl, Ole-Johan; Nikitas, Jim.
[33]
Ole-Johan Dahl. A comparison between the simplex and multiplex methods. Teknisk notat / Forsvarets forskningsinstitutt F-22. (BIBSYS). Forsvarets forskningsinstitutt, 1959, 9 s. INF.
[34]
Ole-Johan Dahl. A note on monitor versions. Essay in the honour of
C.A.R. Hoare. I: Symposium in Celebration of the work of C.A.R. Hoare. (BIBSYS). St. Catherine’s College, sep. 1999, s. 7. INF.
[35]
Ole-Johan Dahl. A note on monitor versions. I: The 1999 OxfordMicrosoft Symposium in honour of Sir Antony Hoare. Red. av Jim Davies,
Bill Roscoe og Jim Woodcock. (BIBSYS). Palgrave, 2000, s. 91–97. INF.
[36]
Ole-Johan Dahl. An approach to correctness proofs of semicoroutines.
Research report 13. (BIBSYS). University of Oslo, Department of Informatics, 1977, 20 bl. isbn: 82-90230-00-1. INF.
3
[37]
Ole-Johan Dahl. Automatisk kodning. Et prosjekt ved Forsvarets forskningsinstitutt. I: Nordiska symposiet över användning av matematikmaskiner. Red. av Carl-Erik Fröberg og Yngve Rollof. (BIBSYS). Matematikmaskinnämden, 1959, s. 135–141. INF.
[38]
Ole-Johan Dahl. Can program proving be made practical? I: Les
fondements de la programmation. cours de la Commission des communautés européennes. (BIBSYS). Institut de recherche d’informatique et
d’automatique, 1978, s. 57–114. INF.
[39]
Ole-Johan Dahl. Can program proving be made practical? Research report 33. (BIBSYS). University of Oslo, Department of Informatics, 1978,
57 bl. isbn: 82-90230-26-5. INF.
[40]
Ole-Johan Dahl. Co- and contravariance in functional subtypes. Contribution to IFIP WG2.3, June 1994. Research report 191. (BIBSYS).
University of Oslo, Department of Informatics, [1994], 7 s. isbn: 82-7368101-7. INF.
[41]
Ole-Johan Dahl. Data access safety and storage economy in programming languages. I: Object-oriented modelling and simulation. Proceedings of the 23rd Conference of the Association of SIMULA Users (ASU).
(BIBSYS). The Association of SIMULA Users, aug. 1997, s. 3–20. INF.
[42]
Ole-Johan Dahl. Decomposition and classification in programming languages. I: Linguaggi della societa e della tecnica. Saggi di cultura contemporanea. (BIBSYS). Edizioni di Comunità, okt. 1970, s. 371–382.
INF.
[43]
Ole-Johan Dahl. Decomposition and classification in programming languages. (BIBSYS). Edizioni di Comunità, c1970, s. 371–383. INF.
[44]
Ole-Johan Dahl. Discrete event simulation languages. (BIBSYS). Norsk
Regnesentral, [1966?], 63 bl. INF.
[45]
Ole-Johan Dahl. Discrete event simulation languages. I: Programming
languages. Red. av NATO Advanced Study Institute. (BIBSYS). London:
Academic Press, 1968, s. 349–395. INF.
[46]
Ole-Johan Dahl. Explanations to the multiplex programme. Teknisk notat
/ Forsvarets forskningsinstitutt, Matematikkseksjonen S03. (BIBSYS).
Forsvarets forskningsinstitutt, 1960, 7 bl. INF.
[47]
Ole-Johan Dahl. Hoare-style parallel programming. Foils for a student
course, IN305. Research report 192. (BIBSYS). University of Oslo, Department of Informatics, 1994, 1 b. (flere pag.) isbn: 82-7368-102-5. INF.
[48]
Ole-Johan Dahl. Listestrukturer. Kap.7. fra kompendium ”Ikke-numeriske
metoder”. (BIBSYS). 1970, 46 s. INF.
[49]
Ole-Johan Dahl. Litt om symbolbruken i Algol. I: Nordisk tidsskrift
for informasjonsbehandling 2 (1962). (BIBSYS), s. 7–8. INF.
[50]
Ole-Johan Dahl. Logic of programming and specification. Research report
84. (BIBSYS). University of Oslo, Department of Informatics, 1984, s. 48.
isbn: 82-90230-83-4. INF.
[51]
Ole-Johan Dahl. Maskinspråk og operasjonssystem. Forelesninger i DB
2. (BIBSYS). [s.n.], 1971, 138, [33] bl. INF.
4
[52]
Ole-Johan Dahl. Maskinspråk og operasjonssystem. Kompendium til DB2 (). (BIBSYS). Universitetet i Oslo, Matematisk institutt, 1969, 48 s.
INF.
[53]
Ole-Johan Dahl. Monitors revisited. Research report 175. (BIBSYS). Universitetet i Oslo, Institutt for informatikk, [1993?], 12 s. isbn: 82-7368084-3. INF.
[54]
Ole-Johan Dahl. Monitors revisited. I: A classical mind. Essays in
honour of C.A.R. Hoare. Red. av A.W. Roscoe. (BIBSYS). Prentice Hall,
1994, s. 93–103. INF.
[55]
Ole-Johan Dahl. Notes on a LIFO disciplined simplex algorithm. Research report 79. (BIBSYS). University of Oslo, Department of Informatics,
1984, 7 bl. isbn: 82-90230-76-1. INF.
[56]
Ole-Johan Dahl. Object orientation and formal techniques. (extended abstract). Research report 138. (BIBSYS). University of Oslo, Department
of Informatics, 1990, 11 bl. isbn: 82-7368-044-4. INF.
[57]
Ole-Johan Dahl. Object orientation and formal techniques. (extended
abstract). I: VDM and Z-formal methods in software development. Red.
av Dines Bjørner, C.A.R. Hoare og H. Langmaack. Lecture notes in computer science 428. (BIBSYS). Springer, 1990, s. 1–11. INF.
[58]
Ole-Johan Dahl. Object oriented specification. Research report 108. (BIBSYS). University of Oslo, Department of Informatics, 1987, 18 bl. isbn:
82-7368-009-6. INF.
[59]
Ole-Johan Dahl. Object-oriented specification. I: Research directions
in object-oriented programming. Red. av Bruce Shriver og Peter Wegner.
(BIBSYS). MIT Press, 1987, s. 561–576. INF.
[60]
Ole-Johan Dahl. Panel: Structured programming. I: IFIP Working
Conference on Machine oriented higher level languages. Red. av W.L. van
der Poel og L.A. Maarssen. (BIBSYS). IFIP Technical Committee 2,
Programming. Trondheim: North-Holland, 1974, s. 354–356.
[61]
Ole-Johan Dahl. Program specification and verification techniques. Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informatikk,
1988-90, 3 b. INF.
[62]
Ole-Johan Dahl. Program specification and verification techniques. Kap.
1 og kap. 2. Kompendium /Institutt for informatikk, Universitetet i Oslo
42 [1990]. (BIBSYS). Institutt for Informatikk, Universitetet i Oslo, 1990,
1 b. (flere pag.) INF.
[63]
Ole-Johan Dahl. Program specification and verification techniques. Del I.
Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informatikk, 1988, s. 16. INF.
[64]
Ole-Johan Dahl. Program specification and verification techniques. Part
II. Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informatikk, 1990, s. 143. INF.
[65]
Ole-Johan Dahl. Program specification and verification techniques. Part
III. Kompendium 42. (BIBSYS). Universitetet i Oslo, Institutt for informatikk, 1990, s. 153. INF.
5
[66]
Ole-Johan Dahl. Programming discipline. Kopi. ? INF. Notat: katalogiseres og plasseres i Eske.
[67]
Ole-Johan Dahl. Programming discipline. I: CERN school of computing. (BIBSYS). CERN, 1974, s. 426–435. INF.
[68]
Ole-Johan Dahl. Programming languages as tools for the formulation
of concepts. I: Scandinavian Congress. Red. av K.E. Aubert og W.
Ljunggren. 15. (BIBSYS). 1970, s. 18–29. INF.
[69]
Ole-Johan Dahl. Relating a simulation model to an applicative specification. I: Modelling and simulation. Red. av Miroslav Snorek, Milan
Sujansky og Alexander Verbraeck. (BIBSYS). Jun. 1995, s. 633–637. INF.
[70]
Ole-Johan Dahl. Runtime organisasjon for Algol/Simula. Kompendium
11. (BIBSYS). Institutt for informatikk, Universitetet i Oslo, 1980, 36 s.
INF.
[71]
Ole-Johan Dahl. SIMULA. An ALGOL based simulation language. (BIBSYS). Norsk Regnesentral, 1966, 26 s. INF.
[72]
Ole-Johan Dahl. Specification and reasoning about discrete simulation
models. A case study. Research report 94. (BIBSYS). University of Oslo,
Department of Informatics, 1985, 10 bl. isbn: 82-90230-93-1. INF.
[73]
Ole-Johan Dahl. Stochastiske simuleringsmodeller. Kompendium / Institutt for informatikk, Universitetet i Oslo Nr. 13. (BIBSYS). Institutt for
informatikk, Universitetet i Oslo, [1980?], 36 bl. INF.
[74]
Ole-Johan Dahl. Strictness control in term rewriting. I: Software construction : foundation and application. Red. av Hans Langmaack, Erich
Neuhold og Manfred Paul. Dagstuhl-seminar-report 29. (BIBSYS). Jan.
1992, s. 14–15. INF.
[75]
Ole-Johan Dahl. Syntaks og semantikk i programmeringsspråk. (BIBSYS). Studentlitteratur, 1972, 103 s. isbn: 91-44-07111-6. INF.
[76]
Ole-Johan Dahl. The birth of object-orientation. The Simula languages. I: From object-orientation to formal methods. Essays in memory
of Ole-Johan Dahl. Red. av Olaf Owe, Stein Krogdahl og Tom Lyche.
(BIBSYS). Springer, 2004, s. 15–25. isbn: 3-540-21366-x. INF.
[77]
Ole-Johan Dahl. The Roots of Object Orientation. The Simula Language. I: Software Pioneers. Contributions to Software Engineering. Red.
av Manfred Broy og Ernst Denert. Springer, 2001, s. 78–90.
[78]
Ole-Johan Dahl. The SIMULA language. I: Det femte Nordiska Symposiet över Användning av Matematikmaskiner. Föredragsutgåva. Red.
av Carl-Erik Fröberg. Del 1. (BIBSYS). Stockholm: Svenska Samfundet
för Informationsbehandling, aug. [1965], s. 88–91. INF.
[79]
Ole-Johan Dahl. Time sequences as a tool for describing program behaviour. Research report 48. (BIBSYS). 1979, 17 bl. isbn: 82-90230-43-5.
INF.
[80]
Ole-Johan Dahl. Value types and object classes. I: Simula 25 years.
Jubileumskonferanse i Sophus Lies auditorium. (BIBSYS). Universitetet
i Oslo : Institutt for informatikk. Informatics library, jun. 1992, s. 1 DVD.
INF.
6
[81]
Ole-Johan Dahl. Value types and object classes. Talk presented at the 25
years Simula 67 Anniversary Conferences, Nordwijkerhout 11-12 June,
1992 and Oslo 22 June. Research report 170. (BIBSYS). University of
Oslo, Department of Informatics, 1992, 13, [8] bl. isbn: 82-7368-079-7.
INF.
[82]
Ole-Johan Dahl. Verifiable programming. Prentice Hall international series in computer science. (BIBSYS). Prentice Hall, 1992, IX, 269 s. isbn:
0-13-951062-1. INF.
[83]
Ole-Johan Dahl og Dag Belsnes. Algoritmer og datastrukturer. (BIBSYS).
Studentlitteratur, 1973, 170 s. isbn: 91-44-06991-x. INF.
[84]
Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Structured programming. (BIBSYS). Academic Press, 1972, VIII, 220 s. isbn: 0-12200556-2. INF.
[85]
Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Strukturált programozás. (BIBSYS). M#duszaki Könyvkiadó, 1978, 203 s. isbn: 96310-2265-x. INF.
[86]
Ole-Johan Dahl, Edsger W. Dijkstra og C.A.R. Hoare. Strukturnoe programmirovanie. (BIBSYS). Izdatel’stvo mir, 1975, 247 s. INF.
[87]
Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Ferranti Mercury Computer Frederic at the Norwegian Defense Research
Establishment. (BIBSYS). Norwegian Defence Research Establishment,
1958, 96 s. INF.
[88]
Ole-Johan Dahl og Bjørn Kristoffersen. On introducing higher order functions in ABEL. Research report 210. (BIBSYS). University of Oslo, Department of Informatics, 1995, s. 18. isbn: 82-7368-123-8. INF.
[89]
Ole-Johan Dahl, Dag F. Langmyhr og Olaf Owe. Preliminary report on
the specification and programming language ABEL. Research report 106.
(BIBSYS). University of Oslo, Department of Informatics, 1986, 86 s.
isbn: 82-7368-006-1. INF.
[90]
Ole-Johan Dahl og Bjørn Myhrhaug. SIMULA 67. Common base implementation guide. (BIBSYS). Norwegian Computing Center, 1967, 148 bl.
INF.
[91]
Ole-Johan Dahl og Bjørn Myhrhaug. SIMULA implementation guide.
Publication S-47. (BIBSYS). Norsk Regnesentral, c1973, 146 s. INF.
[92]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.
eINF.
[93]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.
INF.
[94]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. Report 725. (BIBSYS). Norwegian Computing Center, 1982,
127 s. isbn: 82-539-0206-9. INF.
[95]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. Report 743. (BIBSYS). Norwegian Computing Center, 1984,
s. 172. isbn: 82-539-0225-5. INF.
7
[96]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. SIMULA. Common base langauge. Publication S-2 (2nd rev.ed). (BIBSYS). Norsk Regnesentral, c1970, 141 s. INF.
[97]
Ole-Johan Dahl og Kristen Nygaard. Basic concepts of SIMULA. An ALGOL based simulation language. (BIBSYS). Norsk Regnesentral, [1965?],
17 s. INF.
[98]
Ole-Johan Dahl og Kristen Nygaard. Basic concepts of Simula. An Algol
based simulation language. I: Digital simulation in operational research.
A conference under the aegis of the Scientific Affairs of NATO. Red. av
S. H. Hollingdale. (BIBSYS). London: English Universities Press, sep.
1967, s. 116–124. INF.
[99]
Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.
(BIBSYS). Norsk Regnesentral, 1967, 17 bl. INF. Gave fra UBBRB, må
akses.
[100]
Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.
I: Simula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 17 s.
INF.
[101]
Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.
I: Proceedings of the IFIP working conference on simulation programming
languages. Red. av J.N. Buxton. (BIBSYS). IFIP Technical Committee
2. North-Holland, 1967, s. 158–174.
[102]
Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.
I: Software Pioneers. Contributions to Software Engineering. Red. av
Manfred Broy og Ernst Denert. (BIBSYS). Springer, 2002, s. 91–107.
Opptrykk.
[103]
Ole-Johan Dahl og Kristen Nygaard. Common base proposal. I: Simula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 10 s. INF.
[104]
Ole-Johan Dahl og Kristen Nygaard. Proposals for consideration. I:
Simula 67. Pre-definition papers. (BIBSYS). Forfatterne, 1967, 10 s. INF.
[105]
Ole-Johan Dahl og Kristen Nygaard. Proposals for consideration by the
SIMULA 67 Common Base Conference, June 1967. (BIBSYS). [Forfatterne], 1967, 12 s. INF.
[106]
Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for programming and description of discrete event systems : introduction and user’s
manual. (BIBSYS). Norsk Regnesentral, 1965, 103 s. INF.
[107]
Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for programming and description of discrete event systems : introduction and user’s
manual. (BIBSYS). Norwegian Computing Center, 1967, iii, 124 s. INF.
[108]
Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for describing discrete event systems. I: IFIP Working Conference on Machine
oriented higher level languages. Red. av W.L. van der Poel og L.A. Maarssen. (BIBSYS). IFIP Technical Committee 2, Programming. Trondheim:
North-Holland, 1974, s. 554–555.
[109]
Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Common base definition. (BIBSYS). Norwegian Computing Center, 1967, 31, [3] bl. INF.
8
[110]
Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Basic information.
Publication S-3. (BIBSYS). Norwegian Computing Center, 1968, 12 bl.
INF. Gave fra UBBRB, må akses.
[111]
Ole-Johan Dahl og Kristen Nygaard. Simula 67. Pre-definition papers.
(BIBSYS). Forfatterne, 1967, 1 b. (flere pag.) INF.
[112]
Ole-Johan Dahl og Kristen Nygaard. The SIMULA project. Technical
progress report, 1. July 1964. (BIBSYS). Norsk Regnesentral, 1964, 7 bl.
INF.
[113]
Ole-Johan Dahl, Kristen Nygaard og Bjørn Myhrhaug. SIMULA 67.
Common base language. Publication S-2. (BIBSYS). Norsk Regnesentral,
1968, 141 s., 4 bl. INF.
[114]
Ole-Johan Dahl, Kristen Nygaard og Bjørn Myrhaug. SIMULA. SIMULA tracing system. (BIBSYS). Norsk Regnesentral, [1967?], 15 s., [4] bl.
INF.
[115]
Ole-Johan Dahl og Olaf Owe. A presentation of the specification and
verification project ”ABEL”. Research report 90. (BIBSYS). University
of Oslo, Department of Informatics, 1984, 9 bl. isbn: 82-90230-89-3. INF.
[116]
Ole-Johan Dahl og Olaf Owe. Formal development with ABEL. Research
report 159. (BIBSYS). Department of Informatics, University of Oslo,
1991, 43 bl. isbn: 82-7368-066-5. INF.
[117]
Ole-Johan Dahl og Olaf Owe. Formal development with ABEL. I:
VDM ’91 : formal software development methods. Red. av S. Prehn og
W. J. Toetene. Lecture notes in computer science 552. (BIBSYS). 1991,
s. 320–362. INF.
[118]
Ole-Johan Dahl og Olaf Owe. Formal methods and the RM-ODP. Research report 261. (BIBSYS). University of Oslo, Department of Informatics, 1998, 17 s. isbn: 82-7368-192-0. INF.
[119]
Ole-Johan Dahl og Olaf Owe. Generator induction in order sorted algebras. Research report 122. (BIBSYS). University of Oslo, Department of
Informatics, 1989, 17 bl. isbn: 82-7368-027-4. INF.
[120]
Ole-Johan Dahl og Olaf Owe. On the use of subtypes in ABEL. Research
report 206. (BIBSYS). University of Oslo, Department of Informatics,
1995, s. 20. isbn: 82-7368-117-3. INF.
[121]
Ole-Johan Dahl og Olaf Owe. On the use of subtypes in ABEL. Research
report 206. (BIBSYS). University of Oslo, Department of Informatics,
1996, s. 20. INF.
[122]
Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. Subtyping and constructive specification. Research report 228. (BIBSYS). University of Oslo,
Department of Informatics, 1996, 38 s. isbn: 82-7368-142-4. INF.
[123]
Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. Subtyping and
constructive specification. I: Nordic journal of computing 5.1 (1998).
(BIBSYS), s. 19–49. INF.
[124] Datamaskiner, systemer og språk. Del II. Publikasjon 415. (BIBSYS).
Norsk Regnesentral, 1973, 216 bl. INF.
9
[125] Datamaskiner, systemer og språk. 2. (BIBSYS). 1974, 264 s. isbn: 82-1000888-9. INF.
[126]
Jim Davies, Bill Roscoe og Jim Woodcock, red. The 1999 Oxford-Microsoft
Symposium in honour of Sir Antony Hoare. (BIBSYS). Palgrave, 2000.
INF.
[127]
Kjartan Eide og Knut Elgsaas. Simulering av nytt stålstøperi ved Raufoss
ammunisjonsfabrikker a/s. Publication S-20. (BIBSYS). Norsk Regnesentral, 1970. INF. Gave fra UBBRB, må akses.
[128]
Knut Elgsaas. A short introduction to simulation and Simula. Publication
S-32. (BIBSYS). Norsk Regnesentral, 1970, 46 bl. INF.
[129]
Jan Evensmo. Planning the layout, equipment manning and operations
of a warehouse. Publication S-21. (BIBSYS). Norsk Regnesentral, 1970,
13 s. INF. Gave fra UBBRB, må akses.
[130]
Hans Faye-Schjøll og Oddvar Hesjedal. SIMULA for IN-105. Kompendium / Institutt for informatikk, Universitetet i Oslo Nr. 1. (BIBSYS).
Institutt for informatikk, Universitetet i Oslo, 1977, 40 bl. INF.
[131]
Carl-Erik Fröberg, red. Det femte Nordiska Symposiet över Användning
av Matematikmaskiner. Föredragsutgåva. (BIBSYS). Stockholm: Svenska
Samfundet för Informationsbehandling, aug. 1964. INF.
[132]
Carl-Erik Fröberg og Yngve Rollof, red. Nordiska symposiet över användning av matematikmaskiner. (BIBSYS). Matematikmaskinnämden, 1959.
INF.
[133]
Jan V. Garwick og Kristen Nygaard. Operasjonsanalyse. Norsk luftmilitært tidsskrift 6(1955). (BIBSYS). Luftforsvarets offisersforening, 1955,
s. 41–53, 77–82, 100. INF.
[134]
Stein Gjessing. The syntax and the semantics of Slang. A simple, S-code
based language for Mach-S. Report 710. (BIBSYS). Norsk Regnesentral,
1982, 21 s. isbn: 82-539-0189-5. INF.
[135]
Stein Gjessing og Kristen Nygaard, red. ECOOP ’88 : proceedings of the
European Conference on Object-Oriented Programming, Oslo, Norway,
August 15-17, 1988 ; S. Gjessing, K. Nygaard (eds.) (BIBSYS). Springer,
cop. 1988, VI, 410 s. isbn: 0-387-50053-7. INF.
[136]
Bjørn Egil Hansen. Utforming av en SIMULA-editor som en del av en integrert programmeringsomgivelse. (Hovedoppgave BIBSYS). [B. E. Hansen, 1989, 25 s. INF.
[137]
Ole Hanseth. Mach-S benchmarks. The emergence of a true Simula machine. [Report] 740. (BIBSYS). Norsk Regnesentral, 1983, 18 s. isbn: 82539-0222-0. INF.
[138]
Magne Haveraaen, Olaf Owe og Ole-Johan Dahl, red. Recent trends in
data type specification. 11th Workshop on Specification of Abstract Data
Types joint with the 8th COMPASS Workshop, Oslo, Norway, September
19-23, 1995 : selected papers. (BIBSYS). Springer, cop. 1996, VIII, 550
s. isbn: 3-540-61629-2. INF.
[139]
Håvard Hegna. SIMAED. SIMULA I on CTSS – A brief description of
a SIMULA-like language operating under AED. Tekn. rapp. MIT, 1969,
37 s. INF. Notat: katalogiseres og plasseres i Eske.
10
[140]
Håvard Hegna. SIMULA for databaser. (BIBSYS). Norsk Regnesentral,
1972, 26 s. INF.
[141]
Håvard Hegna. The use of a high-level language for system programming
in the MULTICS project. Tekn. rapp. MIT, 1968, 29 s. INF. Notat: katalogiseres og plasseres i Eske.
[142]
Håvard Hegna, Ole Johan Lund og Kristen Nygaard. User’s experience
with the Simula langauge. Publikasjon 106. (BIBSYS). Norsk Regnesentral, 1968, 28 bl. INF.
[143]
Egil Heistad. CADSIM - kombinert simulering av diskrete og kontinuerlige systemer. FFI notat 80/9001. (BIBSYS). Forsvarets forskningsinstitutt, 1980, 20 s. INF.
[144]
P.R. Hills. An introduction to simulation using SIMULA. Publikasjon
S-55. (BIBSYS). Norwegian Computing Center, 1973. INF.
[145]
Erik Holbæk-Hanssen, Petter Håndlykken og Kristen Nygaard. System
description and the DELTA language. Publikasjon 523. (BIBSYS). Norsk
Regnesentral, 1975, XV, 497 s. INF.
[146]
S. H. Hollingdale, red. Digital simulation in operational research. A conference under the aegis of the Scientific Affairs of NATO. (BIBSYS).
London: English Universities Press, sep. 1967. INF.
[147]
Jan Rune Holmevik. Educating the machine. A study in the history of
computing and the construction of the SIMULA programming language.
STS rapport 22. (BIBSYS). Senter for teknologi og samfunn, 1994. INF.
[148] Innføring. 1. (BIBSYS). [1974], VI, 225 s. isbn: 82-10-00887-0. INF.
[149]
Morten Irgens, Anne Salvesen og Arne Wang. Primula: interpret. Om integrering av Prolog og Simula og skriving av et kjøretidssystem for Prologdelen av integrasjonen Primula : en rapport bygget på Salvesen og Wang:
Primula, an integration of Prolog and Simula. (Hovedoppgave BIBSYS
Også utgitt av Norsk regnesentral som rapport nr. 815). [M. Irgens], 1988,
viii, 165 s. INF.
[150]
Peter Jensen, red. Definition of S-code. [Report] 672. (BIBSYS). Norsk
Regnesentral, 1980, 105 s. isbn: 82-539-0146-1. INF.
[151]
Peter Jensen og Kristen Nygaard. The BETA project. Publication 558.
(BIBSYS). Norsk Regnesentral, 1976, 12 bl. isbn: 82-539-0065-1. INF.
[152]
Sverre Johansen. Et portabelt Simula-system bygget på C. (Hovedoppgave
BIBSYS). [S. Johansen], 1987, 189 s. INF.
[153]
Arne Jonassen og Ole-Johan Dahl. Analysis of an algorithm for priority
queue administration. Research report in informatics 3. (BIBSYS). University of Oslo, Department of Mathematics, 1975, 68 bl. isbn: 82-5530203-4. INF.
[154]
Wayne A. Kalenich, red. Proceedings of the IFIP Congress. Bd. 2. (BIBSYS). International Federation for Information Processing. Spartan Books,
1965.
[155]
Alan Kay. How Simula hit me on the head, and how I have never been
the same since. 1. ( BIBSYS). 1992, s. 1 DVD. INF.
11
[156]
Bjørn Kirkerud. Object-oriented programming with SIMULA. International computer science series. (BIBSYS). Addison-Wesley, 1989, XIII, 515
s. isbn: 0-201-17574-6. INF.
[157]
Bjørn Kirkerud. SIMBAS. A simple database system. (BIBSYS). Norsk
Regnesentral, [1975?], 16 s. INF.
[158]
Bjørn Kirkerud. Systematic, object-oriented programming using SIMULA. Opptrykk. Sep. 1986. INF. Notat: katalogiseres og plasseres i Eske.
[159]
Bjørn Kirkerud. Windowtools. Verktøy for å lage grafiske brukergrensesnitt. (BIBSYS). B. Kirkerud, 1994, 1 b. (flere pag.) INF.
[160]
Per Martin Kjeldaas og Ole-Johan Dahl. The KCIN Algol 60 implementation. Object program and central run system. Intern rapport / Forsvarets
forskningsinstitutt S29. (BIBSYS). Forsvarets forskningsinstitutt, 1966,
63 bl. INF.
[161]
Stein Krogdahl. Om bruk av SIMULA-objekter til oppbevaring av data
på masselager. (Hovedoppgave BIBSYS). S. Krogdahl, 1973, 1 b. (flere
pag.) INF.
[162]
Sigurd Kubosch. The EXEC8 SIMULA system. A description of the SIMULA system for the UNIVAC 1100 series computers. Publication S-67.
(Hovedoppgave BIBSYS). Norsk Regnesentral, 1974, 177 s. INF.
[163]
Morten Kyng. Implementation of the Delta language interrupt concept
within the quasiparallel environment of Simula. DAIMI PB 58. (BIBSYS). Datalogisk afdeling, Aarhus Universitet, 1976, 39 s. INF.
[164]
Jens Johan Kaasbøll og Kristen Nygaard, red. Forskningsprogrammet
SYDPOL. System development environment and profession oriented languages. Nordforsks publikationsserie 1983:2. (BIBSYS). Nordforsk, 1983,
27 s. INF.
[165]
Hans Langmaack, Erich Neuhold og Manfred Paul, red. Software construction : foundation and application. Dagstuhl-seminar-report 29. (BIBSYS). Jan. 1992. INF.
[166]
Kåre Lauritzen og Ole-Johan Dahl. MAC textbook. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S40. (BIBSYS). Forsvarets forskningsinstitutt, 1962, 84 s., pl. INF.
[167]
Ole Lehrmann Madsen, Birger Møller-Pedersen og Kristen Nygaard. Objectoriented programming in the BETA programming language. (BIBSYS).
ACM Press, 1993, XIV, 357 s. isbn: 0-201-62430-3. INF.
[168] Les fondements de la programmation. cours de la Commission des communautés européennes. (BIBSYS). Institut de recherche d’informatique
et d’automatique, 1978. INF.
[169] Linguaggi della societa e della tecnica. Saggi di cultura contemporanea.
(BIBSYS). Edizioni di Comunità, okt. 1968. INF.
[170]
Lars Mathiassen. System description as a starting-point for teaching Simula. DAIMI PB 66. (BIBSYS). Datalogisk afdeling, Aarhus Universitet,
1977, 26 s. INF.
[171]
Geoffrey E. Millard, Øystein Myhre og Gunnar Syrrist. S-PORT. The environment interface. [Report] 688. (BIBSYS). Norsk Regnesentral, 1981,
70 s. isbn: 82-539-0165-8. INF.
12
[172]
Geoffrey E. Millard, Øystein Myhre og Gunnar Syrrist. S-PORT. The
environment interface. (BIBSYS). Simula, 1985, 113 s. isbn: 82-9913042-5. INF.
[173] Minutes from Annual Meeting of SIMULA Standards Group, January
15th, 1973. Publikasjon S-45. (BIBSYS). Norsk Regnesentral, 1973, 44
bl. INF.
[174]
Bjørn Myhrhaug. Proposal for string and input/output definition in SIMULA 67 common base. Preliminary presentation. (BIBSYS). Norsk
Regnesentral, [1968], 41, [19] bl. INF.
[175]
Bjørn Myhrhaug. SIMULA 67 common base. Working document on inputoutput. (BIBSYS). Norsk regesentral, 1967, 47 bl. INF.
[176]
NATO Advanced Study Institute, red. Programming languages. (BIBSYS). London: Academic Press, 1968. INF.
[177]
NEBB, A/S, Div.Skøyen, Olav Terje Bergo og Kristen Nygaard. Klubbens
nye arbeidsoppgaver. Publikasjon 409. (BIBSYS). Norsk Regnesentral,
1973, 5 bl.71 pag.bl. INF.
[178]
Norsk Regnesentral. The structure of the NCC SIMULA compilers and
bench mark comparisons with other major languages. (BIBSYS). Norsk
Regnesentral, 1972, 12 bl. INF.
[179]
Kristen Nygaard. AI and the future. (BIBSYS). 1988, s. 161–169. INF.
[180]
Kristen Nygaard. An emergency toolkit. Foreword. ( BIBSYS). c2002,
s. V–X. INF.
[181]
Kristen Nygaard. Angrep på enkeltmål og målsystemer med ballistiske
raketter. Teoretiske studier av taktikk og skadestruktur. Intern rapport /
Forsvarets forskningsinstitutt F-381. (BIBSYS). Forsvarets forskningsinstitutt, 1959, 35 bl. INF.
[182]
Kristen Nygaard. Basic concepts in object oriented programming. An
overview of the Beta language. I: Object-oriented computing systems.
(BIBSYS). University of Newcastle upon Tyne Computing Laboratory,
1988, s. 1–55. INF.
[183]
Kristen Nygaard. DELTA-prosjektet og dets tilknytning til problemene i
systemutvikling. Publication / Norwegian Computing Center 539. (BIBSYS). 1976, 38 bl. INF.
[184]
Kristen Nygaard. Har vi kunnskaper nok til å innføre kontorautomasjon?
Vol. 1. (BIBSYS). [1981], s. 96. INF.
[185]
Kristen Nygaard. How many choices do we make? How many are difficult. (BIBSYS). c1992, s. 52–59. INF.
[186]
Kristen Nygaard. Indlæg af Kristen Nygaard. I: Arbejdsformer i systemudvikling. Red. av Århus-konferencen. (BIBSYS). Aarhus universitet,
1975, s. 21–24. INF.
[187]
Kristen Nygaard. Innføring i simulering av stokastiske modeller - MonteCarlo-metoder for bruk i operasjonsanalyse. Intern rapport / Forsvarets forskningsinstitutt F-380. (BIBSYS). Forsvarets forskningsinstitutt,
1959, 11 bl. INF.
13
[188]
Kristen Nygaard. On the development of Simula. I: Simula 25 years.
Jubileumskonferanse i Sophus Lies auditorium. (BIBSYS). Universitetet
i Oslo : Institutt for informatikk. Informatics library, jun. 1992. INF.
[189]
Kristen Nygaard. On the use of an extended SIMULA in system description. Publication S-59. (BIBSYS). Norsk Regnesentral, 1973, 22 s. INF.
[190]
Kristen Nygaard. On the use of an extended Simula in system description. I: Proceedings of the Simula Users’ Conference, Oslo, 24th - 25th
September, 1973. Publication S-58. (BIBSYS). Norsk Regnesentral, 1973,
s. 1–22. INF.
[191]
Kristen Nygaard. Profession oriented languages. I: Computers and
language at work. Red. av Peter Bøgh Andersen og Tone Bratteteig.
Research Report 126. (BIBSYS). Universitetet i Oslo, Institutt for informatikk, 1988, s. 21–27. INF.
[192]
Kristen Nygaard. Program development as a social activity. I: Information processing 86. Proceedings of the IFIP 10th World Computer
Congress. Red. av H.-J. Kugler. (BIBSYS). Elsevier, sep. 1986, s. 189–
198. INF.
[193]
Kristen Nygaard. Report on the use of SIMULA up to December 1965.
(BIBSYS). Norsk Regnesentral, 1966, 10 bl. INF.
[194]
Kristen Nygaard. SIMULA example nr 1. Airport departure system. (BIBSYS). Norsk Regnesentral, [1964?], 9 bl. INF.
[195]
Kristen Nygaard. System description by SIMULA. An introduction. Publication S-35. (BIBSYS). Norsk Regnesentral, 1970, 7, 42 bl. INF.
[196]
Kristen Nygaard. The Beta language. Transparencies for Kristen Nygaard’s lectures. (BIBSYS). [K.Nygaard], 1989, [43 bl.] INF.
[197]
Kristen Nygaard. We are not against Europe. We are against Norwegian membership in the European Union. I: Europa: Fluch oder Segen.
Småtrykk. Må katalogiseres. Lebensmittel Zeitung, 1995.
[198]
Kristen Nygaard og Olav Terje Bergo, red. Bedriftspolitisk handlingsprogram for bedriftsklubben ved A/S Hydraulik, Brattvåg. Forskningsrapport
fra Norsk Jern- og Metallarbeiderforbunds forskningsprosjekt 7. (BIBSYS). 1974, 134 s. isbn: 82-10-00889-7. INF.
[199]
Kristen Nygaard og Olav Terje Bergo. Oppbygging av kunnskaper om
databehandling, planlegging og styring innen Norsk jern- og metallarbeiderforbund. Publikasjon 325. (BIBSYS). Norsk Regnesentral, 1972, 118
s. INF.
[200]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Publikasjon 413, 415. (BIBSYS).
Norsk Regnesentral, 1973, 2 b. INF.
[201]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport / fra Norsk
jern- og metallarbeiderforbunds forskningsprosjekt ; 7 [i.e. 1], 2. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1974- .
INF.
[202]
Kristen Nygaard og Olav Terje Bergo. The trade unions. New users of
research. (BIBSYS). Norsk Regnesentral, [1973], 20 bl. INF.
14
[203]
Kristen Nygaard og Bent Bruun-Kristensen, red. The Beta programming
language. (BIBSYS). MIT Press, c1987, s. 7–48. INF.
[204]
Kristen Nygaard og Ole-Johan Dahl. The development of the SIMULA
languages. Publikasjon 603. (BIBSYS). Norsk Regnesentral, 1978, 28 s.
isbn: 82-539-0072-4. INF.
[205]
Kristen Nygaard og Ole-Johan Dahl. The development of the Simula
languages. I: ACM SIGPLAN History of Programming Languages Conference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Association
for Computing Machinery. Los Angeles: Academic Press, jun. 1978, 1
kassett (Beta) (60 min). INF.
[206]
Kristen Nygaard og Ole-Johan Dahl. The development of the Simula
languages. I: ACM SIGPLAN History of Programming Languages Conference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Association
for Computing Machinery. Los Angeles: Academic Press, jun. 1978, 1
kassett (VHS) (60 min). INF.
[207]
Kristen Nygaard og Ole-Johan Dahl. The development of the Simula languages. I: ACM SIGPLAN History of Programming Languages
Conference. Red. av Richard L. Wexelblat. HOPL 1. (BIBSYS). Association for Computing Machinery. Los Angeles: Academic Press, jun. 1981,
s. 439–493. INF.
[208]
Kristen Nygaard, Roar Fjellheim og Petter Håndlykken, red. Report from
a Seminar on system description at Skogen”, Røros. Publication S-65.
(BIBSYS). Norsk regnestral, 1974, 50 s. INF.
[209]
Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller MarkedsNorge? Småtrykk. Må katalogiseres. Kristen Nygaard, 1997.
[210]
Kristen Nygaard og Odd Gulbrandsen. Norske soldaters yteevne ved marsj
og bæring utenfor vei. (BIBSYS). 1960, s. 131–166. INF.
[211]
Kristen Nygaard mfl., red. Classification of actions or inheritance also
for methods. DAIMI PB 231. (BIBSYS). Århus University, Computer
Science Department, 1987, 16 s. INF.
[212] Object-oriented computing systems. (BIBSYS). University of Newcastle
upon Tyne Computing Laboratory, 1988. INF.
[213] Object-oriented modelling and simulation. Proceedings of the 22nd Conference of the ASU, 15th-17th July, 1996, University Blaise Pascal, ClermontFerrand, France. (BIBSYS). The Association of SIMULA Users, 1996,
165 s. INF.
[214] Object-oriented modelling and simulation. Proceedings of the 23rd Conference of the Association of SIMULA Users (ASU). BIBSYS). The Association of SIMULA Users, aug. 1997. INF.
[215]
Håkan Odemalm og Jacob Palme. Error messages in 360-Algol, 360/370
Simula and Dec 10 Algol. FOA P rapport C8364-M3(E5). (BIBSYS).
Försvarets forskningsanstalt, Planeringsbyrån, 1973, 47 bl. INF.
[216]
Hanna Oktaba og Wieslawa Ratajczak. Simula 67. (BIBSYS). Wydawnictwa Naukowo-Techniczne, c1980, 200 s. isbn: 83-204-0128-3. INF.
[217]
Reidar Olderkjær. Implementasjon av multippel prefiksering i Simula.
(Hovedoppgave BIBSYS). [R. Olderkjær], 1987, 94 s. INF.
15
[218]
Olaf Owe, Stein Krogdahl og Tom Lyche, red. From object-orientation
to formal methods. Essays in memory of Ole-Johan Dahl. (BIBSYS).
Springer, cop. 2004, X, 388 s. isbn: 3-540-21366-x. INF.
[219]
Jacob Palme. A Simula system for the DEC 10 computer. FOA P rapport
C8352-M3(E5). (BIBSYS). Försvarets forskningsanstalt, 1973, 11 s. INF.
[220]
Jacob Palme. Programmeringsspråk. (BIBSYS). Studentlitteratur, 1971,
165 s. INF.
[221]
Jacob Palme. SIMULA 67. Ett avancerat programmerings- och simuleringsspråk. FOA P rapport C8242-64(11). (BIBSYS). Försvarets forskningsanstalt, Planeringsbyrån, 1969, 23 bl. INF.
[222]
Jacob Palme. SIMULA 67. An advanced programming and simulation
language. Publication S-17. (BIBSYS). Norsk Regnesentral, 1970, 27 s.
INF.
[223]
Per G. Peterzéns. DYNA-SIM. Systemdynamiske modeller programmert
i Simula. FFI notat 82/5002. (BIBSYS). Forsvarets forskningsinstitutt,
1982, 64 s. INF.
[224]
Jo Piene. SIPOFIX. SIMULA postfix code November 24th 1981 : version
1. Report 705. (BIBSYS). Norsk Regnesentral, 1981, 69 s. isbn: 82-5390184-4. INF.
[225] Planlegging og styring. Del III. Publikasjon 413. (BIBSYS). Norsk Regnesentral, 1973, 56 bl. INF.
[226]
W.L. van der Poel og L.A. Maarssen, red. IFIP Working Conference
on Machine oriented higher level languages. (BIBSYS). IFIP Technical
Committee 2, Programming. Trondheim: North-Holland, 1974.
[227] Portable Simula. Simula observatory : Simob : programmers reference.
(BIBSYS). Simula, 1985, 27 s. isbn: 82-991304-6-8. INF.
[228]
S. Prehn og W. J. Toetene, red. VDM ’91 : formal software development
methods. Lecture notes in computer science 552. (BIBSYS). 1991. INF.
[229] Proceedings of the 20th conference of the ASU, Prague 1994. (BIBSYS).
The Association of SIMULA Users, 1994, 237 s. INF.
[230] Proceedings of the Eighteenth SIMULA Users’ Conference, held June 1112, 1992 at the Leeuwenhorst Congress Centre, Noordwijkerhout, The
Netherlands. (BIBSYS). Rijksuniversiteit Groningen, 1992, 126 s. INF.
[231] Proceedings of the Fifteenth SIMULA Conference, 16-18 September, 1987,
held in St. Helliers, Jersey, 16-18 September, 1987. (BIBSYS). Simula,
1987, 157 s. isbn: 82-90756-00-3. INF.
[232] Proceedings of the Fourth Simula Users Conference, 8th - 10th September 1976, held at Leeuwenhorst Congres Center, Noordwijkerhout, The
Netherlands. Publication S-81. (BIBSYS). Norsk Regnesentral, 1976, 103
s. INF.
[233] Proceedings of the Simula Users’ Conference, Oslo, 24th - 25th September, 1973. Publication S-58. (BIBSYS). Norsk Regnesentral, 1973, 1 b.
(flere pag.) INF.
16
[234] Proceedings of the Tenth SIMULA Users’ Conference 8th-10th September
1982 held at NTNF Conference Studio, Ullevål Stadion, Oslo, Norway.
Report 722. (BIBSYS). Norsk Regnesentral, 1982, 155 s. isbn: 82-5390203-4. INF.
[235] Programmer’s reference manual. Univac Simula. (BIBSYS). Norsk Regnesentral, 1979, 27 s. INF.
[236] Recommendations from the Simula 67 Common Base Conference, NCC,
June 1967. (BIBSYS). National Computing Centre, 1967], 3 s. INF.
[237] Recommendations to the SIMULA Standards Group. (BIBSYS). Norsk
Regnesentral, 1970, 34 bl. INF.
[238]
Staffan Romberger og Yngve Sundblad. Grundläggande programmering
i SIMULA. (BIBSYS). Teknisk Högskolelitteratur, 1982, 247 s. isbn: 9185484-03-2. INF.
[239]
A.W. Roscoe, red. A classical mind. Essays in honour of C.A.R. Hoare.
(BIBSYS). Prentice Hall, 1994. INF.
[240]
Thomas Røgeberg. Simulation and SIMULA as applied to the design
and analysis of telephone systems. Publication S-30. (BIBSYS). Norsk
Regnesentral, 1970, 27 s. INF. Gave fra UBBRB, må akses.
[241]
Eileen Schreiner mfl., red. Talks at conference dinner at Najaden. (BIBSYS). 1992, s. 1 DVD. INF.
[242] Separate compilation of classes and procedures in Exec 8 Simula. Publication S-79. (BIBSYS). Norsk Regnesentral, 1976, 19 s. INF.
[243]
Bruce Shriver og Peter Wegner, red. Research directions in object-oriented
programming. (BIBSYS). MIT Press, 1987. INF.
[244]
Károly Siklósi. Simula simulation. (BIBSYS. Tekniska høgskolans studentkår, 1975. INF.
[245] Simula 25 years. Jubileumskonferanse i Sophus Lies auditorium. (BIBSYS). Universitetet i Oslo : Institutt for informatikk. Informatics library,
jun. 1992. INF.
[246] SIMULA programmer’s reference manual. Univac EXEC 8. Publication
S no. 37-0 / Norsk Regnesentral. (BIBSYS). Universitetsforlaget, 1972,
1 b. (flere pag.) INF.
[247] SIMULA (R) programmer’s reference manual under the operating systems MS-DOS, OS-2, XENIX/286, XENIX/386, UNIX/386. Release
108. SIMULA standard : as defined by the SIMULA Standards Group,
25th August 1986. (BIBSYS). Simula, 1989, 140, 239 s. INF.
[248] SIMULA standard. July 1985 : a complete definition of the language as
accepted by The SIMULA Standards Group as of 31st December 1984.
SIMULA information. (BIBSYS). SIMULA, 1985, III, 217 s. isbn: 82991304-1-7. INF.
[249] SIMULA standard. As defined by the SIMULA Standards Group, 25th
August 1986. (BIBSYS). Simula, 1989, 239 s. INF.
[250]
SIMULA Standards Group. Minutes from the Annual Meeting of the
SIMULA Standards Group and the SIMULA Development Group, August
1985. SIMULA information. (BIBSYS). SIMULA, 1985, III, 58 s. isbn:
82-991304-7-6. INF.
17
[251]
SIMULA Standards Group. Annual meeting. Minutes from the Annual
meeting of the Simula Standards Group, Oslo, September 26th, 1973.
Publication S-66. (BIBSYS). Norske regnesentral, 1973, 27 bl. INF.
[252]
SIMULA Standards Group. Annual meeting og Kristen Nygaard, red.
Annual meeting of the Simula Standards Group, Bonn University, Bonn,
May 19th, 1970. (BIBSYS). Norsk Regnesentral, 1970, 1 b. (flere pag.)
INF.
[253]
SIMULA Standards Group, Gunnar Syrrist og Arne Wang. Minutes from
the Annual Meeting of the SIMULA Standards Group and the SIMULA
Development Group, August 1984. Report 757. (BIBSYS). Norsk Regnesentral, 1984, 101 s. isbn: 82-539-0241-7. INF.
[254] SIMULA users guide. Univac EXEC 8. Publication S-36-0 / Norsk Regnesentral. (BIBSYS). Universitetsforlaget, 1971, 1 b. (flere pag.) INF.
[255] Simula Vitae. (BIBSYS). Norwegian Computer Center, 1984. INF.
[256]
Miroslav Snorek, Milan Sujansky og Alexander Verbraeck, red. Modelling
and simulation. (BIBSYS). Jun. 1995. INF.
[257]
Neelam Soundararajan og Ole-Johan Dahl. Partial correctness semantics
of communicating sequential processes. Research report 66. (BIBSYS).
University of Oslo, Department of Informatics, 1982, 29 bl. isbn: 8290230-62-1. INF.
[258]
Bjarne Stroustrup. C++. Simula in wolf ’s clothing(?) 3. (BIBSYS).
1992, s. 1 DVD. INF.
[259]
Yngve Sundblad, Staffan Romberger og Ørjan Leringe. Fortsatt programmering i Simula. (BIBSYS). Teknisk Högskolelitteratur, [1981], 255 s.
isbn: 91-85484-07-5. INF.
[260] Symposium in Celebration of the work of C.A.R. Hoare. (BIBSYS). St.
Catherine’s College, sep. 1999. INF.
[261]
Larry Tesler. Object-oriented dynamic languages. 4. (BIBSYS). 1992, s. 1
DVD. INF.
[262] Univac Simula 67. Programmer‘s reference manual. (BIBSYS). Norwegian Computer Center, 1979. INF.
[263]
Universitetet i Oslo og Ole-Johan Dahl. Innstilling om valg av elektronisk
regneanlegg. (BIBSYS). Universitetet i Oslo, Matematisk institutt, 1966,
19 bl. INF.
[264]
[265]
Richard L. Wexelblat, red. ACM SIGPLAN History of Programming
Languages Conference. HOPL 1. (BIBSYS). Association for Computing
Machinery. Los Angeles: Academic Press, jun. 1978. INF.
[266]
Claes Wihlborg. How to implement hidden-protected in a Simula compiler. FOA rapport, C 10072-M3(E5). (BIBSYS). Swedish National Defence
Research Institue, 1977, 9 bl. INF.
Virkeligheten som simuleringsspill. I: Apollon (1 1999). (BIBSYS),
s. 9–11. INF.
[267] Workshop on Simula and data bases, Paris, France, May 2–3, 1977.
(BIBSYS). Université Pierre et Marie Curie, Institut de programmation,
1977, 173 bl. INF.
18
[268]
Øglænd (Jonas). Bedriftsklubben, Olav Terje Bergo og Kristen Nygaard.
Tre aktuelle arbeidsoppgaver ved Øglænds sykkelfabrikk. Publikasjon 404.
(BIBSYS). Norsk Regnesentral, 1973, 126 bl. INF.
[269] Århus-konferencen, red. Arbejdsformer i systemudvikling. (BIBSYS). Aarhus universitet, 1975. INF.
Fins elektronisk
[270]
Olav Terje Bergo og Kristen Nygaard, red. Bedriftspolitisk handlingsprogram for bedriftsklubben ved A/S Hydraulik, Brattvåg. Forskningsrapport
fra Norsk Jern- og Metallarbeiderforbunds forskningsprosjekt 7. (BIBSYS). 1974, 134 s. eINF.
[271]
Olav Terje Bergo og Kristen Nygaard. Norsk jern- og metallarbeiderforbund og forskningsressursene. Noen fakta og synspunkter. Forskningsrapport fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt 8.
(BIBSYS). Norsk Regnesentral, 1973, 40 bl. eINF.
[272]
Ernst Buchberger, Kristen Nygaard og Bo Göranzon, red. Artificial intelligence. Perspectives and implications. CompLex 11/87. (BIBSYS). Norwegian University Press, c1987, 157 s. eINF.
[273]
Ernst Buchberger, Kristen Nygaard og Bo Göranzon, red. Artificial intelligence. Perspectives of AI as a social technology. CompLex 2/88. (BIBSYS). TANO, c1988, 136 s. eINF.
[274]
Ole-Johan Dahl. Autocoding for the Ferranti Mercury Computer (MAC).
NDRE Report 24. ( BIBSYS). Norwegian Defence Research Establishment, 1957, 92, 6, 4 bl. eINF.
[275]
Ole-Johan Dahl. Hoare-style parallel programming. Foils for a student
course, IN305. Research report 192. ( BIBSYS). University of Oslo, Department of Informatics, 1994, 1 b. (flere pag.) eINF.
[276]
Ole-Johan Dahl. Maskinspråk og operasjonssystem. Forelesninger i DB
2. ( BIBSYS). [s.n.], 1971, 138, [33] bl. eINF.
[277]
Ole-Johan Dahl. Multiple index countings on the Ferranti Mercury computer. no. 23. (BIBSYS). Norwegian Defence Research Establishment,
1957, 43 bl., [10] fold. pl. eINF.
[278]
Ole-Johan Dahl. Object orientation and formal techniques. (extended abstract). Research report 138. (Digitalisert versjon). University of Oslo,
Department of Informatics, 1990, 11 bl. isbn: 82-7368-044-4. eINF.
[279]
Ole-Johan Dahl. Object oriented specification. Research report 108. (Digitalisert versjon). University of Oslo, Department of Informatics, 1987,
18 bl. isbn: 82-7368-009-6. eINF.
[280]
Ole-Johan Dahl. Syntaks og semantikk i programmeringsspråk. (BIBSYS). Studentlitteratur, 1972, 103 s. eINF.
[281]
Ole-Johan Dahl. The birth of object-orientation. The Simula languages. I: From object-orientation to formal methods. Essays in memory
of Ole-Johan Dahl. Red. av Olaf Owe, Stein Krogdahl og Tom Lyche.
(BIBSYS). Springer, 2004, s. 15–25. eINF.
19
[282]
Ole-Johan Dahl og Dag Belsnes. Algoritmer og datastrukturer. (BIBSYS).
Studentlitteratur, 1973, 170 s. eINF.
[283]
Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Ferranti Mercury Computer Frederic at the Norwegian Defense Research
Establishment. (BIBSYS). Norwegian Defence Research Establishment,
1958, 96 s. eINF.
[284]
Ole-Johan Dahl og Bjørn Kristoffersen. On introducing higher order functions in ABEL. Research report 210. (BIBSYS). University of Oslo, Department of Informatics, 1995, s. 18. eINF.
[92]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. Publication S-22. (BIBSYS). Norsk Regnesentral, 1970, 145 s.
eINF.
[285]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Common base
language. 743. (BIBSYS). 1984, 172 s. isbn: 82-539-0225-5. eINF.
[286]
Ole-Johan Dahl og Kristen Nygaard. Simula. An ALGOL-based simulation language. I: Communications of the ACM 9.9 (1966). (Artikkel),
s. 671–682. eINF.
[287]
Ole-Johan Dahl og Olaf Owe. Formal methods and the RM-ODP. Research report 261. ( BIBSYS). University of Oslo, Department of Informatics, 1998, 17 s. eINF.
[288]
Ole-Johan Dahl, Olaf Owe og Tore Jahn Bastiansen. Subtyping and constructive specification. Research report 228. ( BIBSYS). University of
Oslo, Department of Informatics, 1996, 38 s. eINF.
[289] Datamaskiner, systemer og språk. 2. (BIBSYS). c1974, 264 s. eINF.
[290]
Stein Gjessing og Kristen Nygaard, red. ECOOP ’88 : proceedings of the
European Conference on Object-Oriented Programming, Oslo, Norway,
August 15-17, 1988 ; S. Gjessing, K. Nygaard (eds.) (BIBSYS). Springer,
c1988. eINF.
[291]
Magne Haveraaen, Olaf Owe og Ole-Johan Dahl. Recent Trends in Data
Type Specification. 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September
19-23, 1995 Selected Papers. (BIBSYS). Springer-Verlag, 1996. isbn:
9783540706427. eINF.
[292]
Jan Rune Holmevik. The construction of SIMULA. The world’s first object oriented programming language. STS-working paper 1/92. (BIBSYS).
Universitetet i Trondheim, Senter for teknologi og samfunn, [1991], 33 bl.
eINF.
[293]
Per Lund, Kristen Nygaard og Birgit Wiig, red. Fakta og meninger om
Norge og EF. (BIBSYS). I kommisjon hos Hilt & Hansteen, 1989, 140 s.
eINF.
[294]
Kristen Nygaard. Basic concepts in object oriented programming. I:
ACM SIGPLAN Notices 21 (10 1986). (BIBSYS), s. 128–132. eINF.
[295]
Kristen Nygaard. On the use of an extended SIMULA in system description. Publication 454; S-59. (BIBSYS). Norsk Regnesentral, 1973, 22 s.
eINF.
20
[296]
Kristen Nygaard. Program development as a social activity. (BIBSYS).
Elsevier, 1986, [25] s. eINF.
[297]
Kristen Nygaard og Olav Terje Bergo. Databehandling, planlegging og
styring. Grunnbok for fagbevegelsen. (BIBSYS). 1972, 2 b. eINF.
[298]
Kristen Nygaard og Olav Terje Bergo, red. En Vurdering av styringsog informasjonssystemet KVPOL. Forskningsrapport fra Norsk jern- og
metallarbeiderforbunds forskningsprosjekt nr 4. (BIBSYS). Tiden norsk
forlag, 1974, 121 s. eINF.
[299]
Kristen Nygaard og Olav Terje Bergo. Innføring. I: Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport
/ fra Norsk jern- og metallarbeiderforbunds forskningsprosjekt ; 2, 7
1. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund,
1974, VI, 225 s. eINF.
[300]
Kristen Nygaard og Olav Terje Bergo. Innføring. I: Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport
/ Norsk jern- og metallarbeiderforbunds forskningsprosjekt nr 7. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1975,
VIII, 233 s. eINF.
[301]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jernog metallarbeiderforbunds forskningsprosjekt. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1975. eINF.
[302]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport / fra Norsk
jern- og metallarbeiderforbunds forskningsprosjekt ; 2, 7. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, c1974. eINF.
[303]
Kristen Nygaard og Jens Johan Kaasbøll, red. Forskningsprogrammet
SYDPOL. System development environment and profession oriented languages. (BIBSYS). Institutt for informatikk, Universitetet i Oslo, 1983.
eINF.
[304]
Olaf Owe, Stein Krogdahl og Tom Lyche, red. From object-orientation
to formal methods. Essays in memory of Ole-Johan Dahl. ( BIBSYS).
Springer, c2004. eINF.
[305] Planlegging og styring. Del 2. (BIBSYS). 1972, 178 s. eINF.
Ikke katalogisert
[31]
Arnfinn Christensen. Eventyret om Simula. Utskrift fra nett. Om radioprogrammet Kristen Nygaard — Simula i serien Verdt å vite. 2003. INF.
Notat: katalogiseres og plasseres i Eske.
[66]
Ole-Johan Dahl. Programming discipline. Kopi. ? INF. Notat: katalogiseres og plasseres i Eske.
[127]
Kjartan Eide og Knut Elgsaas. Simulering av nytt stålstøperi ved Raufoss
ammunisjonsfabrikker a/s. Publication S-20. (BIBSYS). Norsk Regnesentral, 1970. INF. Gave fra UBBRB, må akses.
21
[129]
Jan Evensmo. Planning the layout, equipment manning and operations
of a warehouse. Publication S-21. (BIBSYS). Norsk Regnesentral, 1970,
13 s. INF. Gave fra UBBRB, må akses.
[139]
Håvard Hegna. SIMAED. SIMULA I on CTSS – A brief description of
a SIMULA-like language operating under AED. Tekn. rapp. MIT, 1969,
37 s. INF. Notat: katalogiseres og plasseres i Eske.
[141]
Håvard Hegna. The use of a high-level language for system programming
in the MULTICS project. Tekn. rapp. MIT, 1968, 29 s. INF. Notat: katalogiseres og plasseres i Eske.
[158]
Bjørn Kirkerud. Systematic, object-oriented programming using SIMULA. Opptrykk. Sep. 1986. INF. Notat: katalogiseres og plasseres i Eske.
[197]
Kristen Nygaard. We are not against Europe. We are against Norwegian membership in the European Union. I: Europa: Fluch oder Segen.
Småtrykk. Må katalogiseres. Lebensmittel Zeitung, 1995.
[209]
Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller MarkedsNorge? Småtrykk. Må katalogiseres. Kristen Nygaard, 1997.
[240]
Thomas Røgeberg. Simulation and SIMULA as applied to the design
and analysis of telephone systems. Publication S-30. (BIBSYS). Norsk
Regnesentral, 1970, 27 s. INF. Gave fra UBBRB, må akses.
Fins ved andre avdelinger på UB Oslo
[306]
Ernst Buchberger, Kristen Nygaard og Bo Göranzon, red. Artificial intelligence. Perspectives of AI as a social technology. CompLex 2/88. (BIBSYS). TANO, cop. 1988, 136 s. isbn: 82-518-2516-4. UBO.
[307]
Ole-Johan Dahl. Multiple index countings on the Ferranti Mercury computer. NDRE Report 23. (Hovedoppgave i matematikk BIBSYS). Norwegian Defence Research Establishment, 1957, 43 bl., [10] fold. pl. UBO.
[308] Databehandling, systemer og språk. Del 1. (BIBSYS). 1972, XII, 182 s.
UBO.
[309]
Per Lund, Kristen Nygaard og Birgit Wiig, red. Fakta og meninger om
Norge og EF. (BIBSYS). I kommisjon hos Hilt & Hansteen, 1989, 140 s.
isbn: 82-7413-056-1. UBO.
[310]
Kristen Nygaard og Olav Terje Bergo. Databehandling, planlegging og
styring. Grunnbok for fagbevegelsen. (BIBSYS). 1972, 2 b. UBO.
[311]
Kristen Nygaard og Jostein Fjalestad. Group interests and participation
in information system development. Paper presented at Working Party
on Information, Computer and Communications Policy, OECD, Paris 27.
- 29. nov. 1979 (BIBSYS). [Norsk Regnesentral?], 1979, 22, 4 bl. UBO.
[312] Planlegging og styring. Del 2. (BIBSYS). 1972, 178 s. UBO.
22
Fins ved Norsk Regnesentral
[313]
Karel Babčický. 360/370 SIMULA. External procedure library. Publikasjoner 435. Norsk Regnesentral, 1973, upag. NR.
[314]
Karel Babčický. Activate SIMULA. Publikasjoner 582. Norsk Regnesentral, 1977, 50 s., 4bl. NR.
[315]
Karel Babčický og Øystein Myhre. Minutes from the annual meeting of
the SIMULA Standards Group and the SIMULA Development Group.
Publikasjon 611. Norsk Regnesentral, sep. 1977, 37 s. NR.
[316]
Drude Berntsen, Knut Elgsaas og Graham Birtwistle. Oversikt over NR’s
engasjement vedrørende Simula 67. Internt notat. Norsk Regnesentral,
1972, upag. NR.
[317]
Graham Birtwistle. Notes on the SIMULA language. Publikasjon 90:1,
S-7. Norsk Regnesentral, 1969, 160 s., 3. NR.
[318]
Jan Evensmo. Anvendelse av simulering og SIMULA ved innredning og
drift av et engroslager. Publikasjoner 248. Norsk Regnesentral, 1968, 19
s. NR.
[319]
Jan Evensmo. Anvendelse av simulering og SIMULA ved innredning
og drift av et engroslager. I: NordDATA. Publikasjoner 192. (Lenke til
katalog). Helsinki, 1968, 19 s. NR.
[320] NordDATA. (Lenke til katalog). Helsinki, 1968. NR.
[321]
Norsk Regnesentral, red. Minutes from the annual meeting of the SIMULA Standards Group and the SIMULA Development Group. Publikasjon
568. Norsk Regnesentral, sep. 1976, 33 s. NR.
Informatikkbiblioteket har ikke, men ønsker
[322]
Ole-Johan Dahl. Autocoding for the Ferranti Mercury Computer (MAC).
NDRE Report 24. BIBSYS). Norwegian Defence Research Establishment, 1957, 92, 6, 4 bl. øINF.
[323]
Ole-Johan Dahl. Double length fixed point output. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S06. (BIBSYS). Forsvarets
forskningsinstitutt, 1960, 2 bl. øINF.
[324]
Ole-Johan Dahl. Important concepts in SIMULA. (BIBSYS). Norwegian
Computing Center, 1967, 10 bl. øINF.
[325]
Ole-Johan Dahl. Linear programming on the Mercury computer. The
multiplex method. Intern rapport / Forsvarets forskningsinstitutt K375.
(BIBSYS). 1959, II, 26 bl. øINF.
[326]
Ole-Johan Dahl. Mac bulletin I. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S15. (BIBSYS). Forsvarets forskningsinstitutt, 1960, 10 bl. øINF.
[327]
Ole-Johan Dahl. Mac bulletin II. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S17. (BIBSYS). Forsvarets forskningsinstitutt, 1960, 3 bl. øINF.
23
[328]
Ole-Johan Dahl. Mac bulletin III. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S25. (BIBSYS). Forsvarets forskningsinstitutt, 1961, 11 bl. øINF.
[329]
Ole-Johan Dahl. Mac bulletin IV. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S27. (BIBSYS). Forsvarets forskningsinstitutt, 1961, 11 bl. øINF.
[330]
Ole-Johan Dahl. Solution of small systems of linear equations. Teknisk
notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S10. (BIBSYS). Forsvarets forskningsinstitutt, 1960, 3 bl. øINF.
[331]
Ole-Johan Dahl. The NDRE test programme. Teknisk notat / Forsvarets forskningsinstitutt, Matematikkseksjonen S01. (BIBSYS). Forsvarets
forskningsinstitutt, 1960, 9 bl. øINF.
[332]
Ole-Johan Dahl og Jan V. Garwick. Programmer’s handbook for the Ferranti mercury Computer Frederic at the Norwegian Defense Research
Establishment. (BIBSYS). Forsvarets Forskningsinstitutt, 1962, 117 bl.
øINF.
[333]
Ole-Johan Dahl, Bjørn Myhrhaug og Kristen Nygaard. Simula 67. Universal’nyj jazyk programmirovanija. (BIBSYS). Izdatel’stvo Mir, 1969,
99 s. øINF.
[334]
Ole-Johan Dahl og Kristen Nygaard. Basic consepts [sic] of SIMULA,
an ALGOL based simulation language. (BIBSYS). Norwegian Computing
Center, [1968?], 17 bl. øINF.
[335]
Ole-Johan Dahl og Kristen Nygaard. Class and subclass declarations.
(BIBSYS). Norwegian Computing Center, 1967, 17 bl. øINF.
[336]
Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for programming and description of discrete event systems : introduction and user’s
manual. (BIBSYS). Norsk Regnesentral, 1966, III, 108 s. øINF.
[337]
Ole-Johan Dahl og Kristen Nygaard. SIMULA. A language for programming and description of discrete event systems : introduction and user’s
manual. (BIBSYS). Norwegian Computing Center, 1967, III, 118 s. øINF.
[338]
Ole-Johan Dahl og Kristen Nygaard. SIMULA 67. Common base proposal. (BIBSYS). Norwegian Computing Center, 1967, 10 bl. øINF.
[339] Databehandling, systemer og språk. Del 1. (BIBSYS). 1972, XII, 182 s.
øINF.
[340]
Håvard Hegna og Kristen Nygaard. A survey of SIMULA applications.
Publication S-19. (BIBSYS). Norwegian Computing Center, 1970, 4 bl.,
34 pag.bl. øINF.
[341]
Erik Holbæk-Hanssen, Petter Håndlykken og Kristen Nygaard. A brief
survey of the Delta project. Publication S-68. (BIBSYS). Norwegian Computing Center, 1974, 13 s. øINF.
[342] Innføring. Forskningsrapport 7, D 1. (BIBSYS). Norsk jern- og metallarbeiderforbund, 1975, VIII, 233 s. isbn: 82-10-00887-0. øINF.
[343]
H.-J. Kugler, red. Information processing 86. Proceedings of the IFIP
10th World Computer Congress. (BIBSYS). Elsevier, sep. 1986. øINF.
24
[344]
Kristen Nygaard. A short introduction to Monte-Carlo methods. Publication S-34. (BIBSYS). Norsk Regnesentral, 1970, 11 bl. øINF.
[345]
Kristen Nygaard. Bruk av beslutningsmodeller. Foredrag på Norddata
1971, 21.-23.juni, Stavanger. (BIBSYS). [1971], 8 bl. øINF.
[346]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jernog metallarbeiderforbunds forskningsprosjekt nr 1-3. (BIBSYS). 1973, 3
b. øINF.
[347]
Kristen Nygaard og Olav Terje Bergo. Planlegging, styring og databehandling. Grunnbok for fagbevegelsen. Forskningsrapport fra Norsk jernog metallarbeiderforbunds forskningsprosjekt. (BIBSYS). Tiden i samarbeid med Arbeidernes opplysningsforbund, 1975. øINF.
[348]
Kristen Nygaard og Anne K. Grimsrud. Samholds-Norge eller markedsNorge? (BIBSYS). K. Nygaard, c1997, 40 s. øINF.
Ukjent tilgjengelighet
[349]
Kristen Nygaard. Stokastiske tolkninger og Monte-Carlo-løsning av en
klasse integralligninger. (Hovedoppgave i matematikk (tapt) BIBSYS).
1956. util.
[350]
Staffan Romberger og Yngve Sundblad. Grundläggande programmering
i SIMULA. 2. rev. uppl. (BIBSYS). Teknisk Högskolelitteratur, [1979],
247 s. util.
25