Computer Science and Technology section @IMM Library
Journal holdings & back paper issues

* From 2002- electronic version only.
 
Title
Holdings
Full text
Remarks
ACM / Collected algorithms from ACM (1960)1-(1980)564, (1993)713-
 *
 
ACM / Communications of the ACM 1(1958)-
 *
 
ACM / Computing reviews  1(1969)-
 *
 
ACM / Interactions 
6(1999)-
 *
 
ACM / Journal of the ACM 
1(1954)-
 *
 
ACM / NetWorker  3(1999)-
 *
 
ACM computing surveys 1(1969)-
1(1969)-14(1982).
 *
ACM / Computing surveys 1969-1970
ACM journal of computer documentation 24(2000)-
 *
Tidl.m.tit.: ACM SIGDOC / Journal of computer documentation 
ACM journal of experimental algorithms 1(1996)-
*
Electronic version only
ACM letters on programming languages and systems 1(1992)-2(1993)    
ACM SIGACT / SIGACT news Opbevares 5 år    
ACM SIGAda / Ada letters 7(1987)-    
ACM SIGAPL / APL quote quad 6(1975)-31(2001)    
ACM SIGAPP / Applied computing review  1(1993)-
*
 
ACM SIGARCH / Computer architecture news 2(1973)3-    
ACM SIGART / Intelligence 10(1999)-
*
Tidl.m.tit.: ACM SIGART / SIGART bulletin
ACM SIGART / SIGART bulletin 1(1990)-9(1998)   Forts.m.tit.: ACM SIGART / Intelligence
ACM SIGBIO / SIGBIO newsletter Opbevares 5 år    
ACM SIGCAPH / SIGCAPH newsletter  Opbevares 5 år    
ACM SIGCAS / Computers and society Opbevares 5 år    
ACM SIGCHI / SIGCHI bulletin 18(1987)3-    
ACM SIGCOMM / Computer communication review 6(1975/76)-    
ACM SIGCPR / Computer personnel  Opbevares 5 år    
ACM SIGCSE / SIGCSE bulletin 4(1972)-
*
 
ACM SIGCUE / SIGCUE outlook 19(1987)3-   Var.tit.: SIGCUE newsletter
ACM SIGDA / SIGDA newsletter Opbevares 5 år    
ACM SIGDOC / Journal of computer documentation 15(1991)-23(1999).   Forts.m.tit.: ACM journal of computer documentation
ACM SIGGRAPH / Computer graphics  19(1985)3-    
ACM SIGGROUP / SIGGROUP bulletin 18(1997)-   Tidl.m.tit.: ACM SIGOIS / SIGOIS bulletin.
ACM SIGHypertext ... / SIGLINK newsletter 1(1992)-7(1998)2.   Forts.m.tit.: ACM SIGHypertext / SIGWEB newsletter 
ACM SIGHypertext ... / SIGweb newsletter 7(1998)3-   Tidl.m.tit. : ACM SIGHypertext / SIGLINK newsletter
ACM SIGIR / SIGIR forum
6(1971)2-    
ACM SIGKDD / SIGKDD newsletter 2(2000)-    
ACM SIGMETRICS / Performance evaluation review  14(1986/87)-    
ACM SIGMICRO / SIGMICRO newsletter 2(1971)-24(1993).    
ACM SIGMIS / Data base for advances in information systems. db 
4(1972)-    
ACM SIGMobile / Mobile computing and communications review  1(1997)-5(2001).    
ACM SIGMOD / SIGMOD record 8(1976)3-
*
 
ACM SIGNUM / SIGNUM newsletter 27(1992)-33(1998)2.    
ACM SIGOIS / SIGOIS bulletin 7(1986)2-17(1996)   Forts.m.tit.: ACM SIGOIS / SIGGROUP bulletin.
ACM SIGOOPS / OOPS messenger 1(1990)-7(1996)1    
ACM SIGOPS / Operating systems review  4(1970)3-
*
 
ACM SIGPLAN / Fortran forum  Opbevares 5 år    
ACM SIGPLAN / LISP pointers  3(1989/90)-8(1995)2    
ACM SIGPLAN / SIGPLAN notices 6(1971)2-
*
 
ACM SIGSAC / SIGSAC security, audit control review Opbevares 5 år   1998: Proc. C.2.0
ACM SIGSAM / SIGSAM bulletin Opbevares 5 år    
ACM SIGSIM / Simulation digest 19(1988)3-28(1998).    
ACM SIGSOFT / Software engineering notes  4(1979)-
*
 
ACM SIGUCCS / SIGUCCS newsletter Opbevares 5 år    
ACM transactions on computational logic. TOCL 1(2000)-
*
 
ACM transactions on computer systems. TOCS 1(1983)-
*
 
ACM transactions on computer-human interaction. TOCHI 1(1994)-
*
 
ACM transactions on database systems. TODS 1(1976)-
*
 
ACM transactions on design automation of electronic systems. TODAES 1(1996)-
*
 
ACM transactions on graphics. TOG 5(1986)-
*
 
ACM transactions on information and system security. TISSEC
1(1998)-
*
 
ACM transactions on information systems. TOIS
7(1989)-
*
Tidl.m.tit.: ACM transactions on office information systems. 
ACM transactions on mathematical software. TOMS 1(1975)-6(1980),13(1987)-
*
 
ACM transactions on modeling and computer simulation. TOMACS 1(1991)-
*
 
ACM transactions on office information systems. TOOIS 1(1983)-6(1988)   Forts.m.tit.: ACM transactions on information systems. 
ACM transactions on programming languages and systems. TOPLAS 1(1979)-
*
 
ACM transactions on software engineering and methodology. TOSEM 1(1992)-
*
 
Acta informatica 1(1971/72)-
*
 
Advances in computers 1(1960)-21(1982)    
Advances in information systems science 1(1969)-8(1981)    
AFIPS conference proceedings 20(1961)-56(1987)   Tidl.m.tit.: Eastern/Western joint computer conference. - 
AI magazine
9(1988)-    
ALGOL bulletin (1959)1-(1988)52    
Annals of the history of computing 1(1979)-13(1991)   Forts.m.tit.: IEEE annals of the history of computing. 
Artificial intelligence
10(1978)-
*
 
Automatisk databehandling 1(1966)-2(1967)8   Forts.m.tit.: Databehandling
BIT 1(1961)-33(1993)   Nordisk tidskrift for informationsbehandling
Computational intelligence 18(2002)-    
Computer bulletin 1(1957/58)-16(1972)   Forts.m.tit.: Computer bulletin. Series 2.
Computer bulletin. Series 2 (1974)1-(1984)42   Tidl .m.tit.: Computer bulletin. - Forts.m.tit.: Com puter bulletin. Series 3. 
Computer bulletin. Series 3 1(1985)-4(1988)   Tidl.m.tit.: Computer bu lletin. Series 2. - Forts.m.tit.: Computer bulletin. Serie s 4.
Computer bulletin. Series 4 1(1989)-2(1990)   Tidl.m.tit.: Computer bull etin. Series 3.
Computer design 28(1989)-37(1998).    
Computer education (1969)1-(1981)37    
Computer journal 1(1958/59)-    
Computer languages 1(1975)-
*
 
Computer networks 1(1976)-8(1984)   Forts.m.tit.: Computer networks and ISDN systems.
Computer networks : The international journal of computer and telecommunications networking 31(1999)-
 *
Tidl.m.tit.: Computer networks and ISDN systems.
Computer networks and ISDN systems 9(1985)-30(1998)   Tidl.m.tit.: Computer networks. Forts.m.tit.: Computer networks : The international .. 
Computing systems 4(1991)-9(1996)    
Concurrency : Practice and experience 1(1989)-12(2000)   Forts.m.tit.: Concurrency and computation : Practice and experience
Concurrency and computation : Practice and experience 13(2001)-
 *
Tidl .m.tit.: Concurrency : Practice and experience
CUBUS. 1(1987)-2(1988)2.    
Data knowledge engineering 1(1985)-
*
 
Data : Nordisk datanytt 17(1987)-18(1988)   Tidl.m.tit.: Nordisk datanytt med data.
Data : Nordisk edb-tidsskrift for databrugere og specialister 1(1971)-12(1982)   Forts.m.tit.: Nordisk datanytt med data.
Databehandling 2(1967)9-6(1971)6   Tidl.m.tit.: Automatisk databehandling.
Design automation for embedded systems 1(1996)-
*
 
Digital processes 1(1975)-6(1980)    
Distributed computing 1(1986)-
*
 
Eastern/Western joint computer conference 7(1955), 10(1956), 14(1958)-19(1961)   Forts.m.tit.: AFIPS conference proceedings
EDP analyser  8(1970)-18(1980)    
Electronic design
32(1984)-36(1988).    
Electronic notes in theoretical computer science 1(1995)-
 *
Postscript only
Euromicro journal 4(1978)-6(1980)   Tidl.m.tit.: Euromicro newsletter.
Euromicro newsletter 1(1974/75)-3(1977)   Forts.m.tit.: Euromicro journal.
Formal aspects of computing 1(1989)-
*
 
Formal methods in system design 1(1992)-
*
 
Forskning 1(1992)-2(1993)   Tidl.m.tit.: Forskning og samfund.
Forskning og samfund 15(1989)-17(1991)   Forts.m.tit.: Forskning.
Fundamenta informaticae 2(1978)-19(1993)    
High performance systems 10(1989)-11(1990)6   Tidl.m.tit.: VLSI systems design.
Higher-order and symbolic computation 11(1998)-
*
Tidl. titel: LISP and symbolic computation.
IAG journal 1(1968)-4(1971)   Forts.m.tit.: Management informatics.
IBM Journal of research and development 15(1971)-37(1993)    
IBM systems journal 1(1962)-32(1993)    
ICOT journal. Fith generation computer systems (1983)1-(1995)42    
IEE journal on computers and digital techniques 1(1978)-2(1979)   Forts.m.tit.: IEE proceedings. - Part E.
IEE proceedings. Computers and digital techniques 141(1994)-
*
Tidl.m.tit.: IEE proceedings. Part E, Computers and di gital techniques.
IEE proceedings. Part E, Computers and digital techniques 127(1980)-140(1993)   Tidl.m.tit.: IEE journal on computers and digital tec hniques. - Forts.m.tit.: IEE proceedings. Computers and digital techniques. 
IEE proceedings. Software 145(1998)-
*
Tidl.m.tit.: IEE proceed ings. Software engineering.
IEE proceedings. Software engineering 144(1997)   Forts.m.tit.: IEE procee dings. Software. Tidl.m.tit.: Software engineering jou rnal.
IEEE / Computer  3(1970)5-
*
Tidl.m.tit.: IEEE / Comput er group news.
IEEE / Computer group news  1(1966)-3(1970)4   Forts.m.tit.: IEEE / Computer.
IEEE / Proceedings of the IEEE 51(1963)-
*
 
IEEE annals of the history of computing 14(1992)-19(1997).   Tidl.m.tit.: Annals of the history of computing.
IEEE communications magazine 24(1986)-35(1997).    
IEEE computational science engineering 1(1994)-4(1997).    
IEEE design test of computers 1(1984)-14(1997)    
IEEE expert 1(1986)-12(1997)   Forts.m.tit.: IEEE intelligent systems their applications. 
IEEE intelligent systems their applications 13(1998)-
*
Tidl.tit.: IEEE expert
IEEE journal of solid-state circuits 1(1966)-
*
 
IEEE journal on selected areas in communications 7(1989)-15(1997).    
IEEE micro 1(1981)-17(1997).    
IEEE network
1(1987)-
*
 
IEEE software
1(1984)-
*
 
IEEE transactions on circuit theory 11(1964)-20(1973)   Fort.m.tit.: IEEE transactions on circuits and systems. 
IEEE transactions on circuits and systems 21(1974)-38(1991)   Tidl.m.t it.: IEEE transactions on circuit theory. - Forts.m .tit.: IEEE transactions on circuits and systems.  1 and 2.
IEEE transactions on circuits and systems. 1: Fundamental theory and applications 39(1992)-42(1995)   Tidl.m.tit.:  IEEE transactions on circuits and systems.
IEEE transactions on circuits and systems. 2: Analog and digital signal processing
39(1992)-42(1995)   Tidl.m.tit.:  IEEE transactions on circuits and systems.
IEEE transactions on communication technology 13(1965)-19(1971)   Tidl.m.tit.: IEEE transactions on communications systems. -  Forts.m.tit.: IEEE transactions on communicati ons.
IEEE transactions on communications 20(1972)-29(1981), 32(1984)-45(1997)   Tidl.m.tit.: IEEE transactions on communication technology. 
IEEE transactions on communications systems 11(1963)-12(1964)   Forts.m.tit.:  IEEE transactions on communication technology. 
IEEE transactions on computer-aided design on integrated circuits and systems 1(1982)-
*
 
IEEE transactions on computers 17(1968)-
*
Tidl.m.tit.: IEEE transactions on electronic computers. 
IEEE transactions on electronic computers 12(1963)-16(1967)   Tidl.m.tit.:  IRE transactions on electronic computers. - Forts.m. tit.: IEEE transactions on computers.
IEEE transactions on knowledge and data engineering 3(1991)-9(1997).    
IEEE transactions on parallel and distributed systems 1(1990)-8(1997)    
IEEE transactions on software engineering 1(1975)-
*
 
IEEE transactions on very large scale integration (VLSI) systems 1(1993)-
*
 
IEEE/ACM transactions on networking 1(1993)-
*
 
Information and computation 76(1988)-
*
Tidl.m.tit.: Information and control.
Information and control 10(1967)-26(1974)   Forts.m.tit.: Information and computation.
Information processing in Japan 1(1961)-17(1977)   Forts.m.tit.: Journal of information processing.
Information processing letters 6(1977)-
*
 
Information sciences 14(1978)-22(1980)    
Information systems
3(1978)-8(1983)    
Information technology. Research and development 1(1982)-3(1984)    
Integration, the VLSI journal 1(1983)-
*
 
Interfaces in computing
1(1982)-2(1984)    
International journal of computer aided VLSI design 1(1989)-3(1991)    
International journal on software tools for technology transfer 1(1997)-
*
 Electronic version only
IRE transactions on electronic computers 5(1956)-11(1962)   Forts.m.tit.: IEEE transactions on electronic computers. 
Journal of automated reasoning 1(1985)-
*
 
Journal of computer and system sciences 1(1967)-
*
 
Journal of computer-based instruction 1(1974/75)-4(1977/78)    
Journal of computer security 10(2002)-    
Journal of functional programming 1(1991)-
*
 
Journal of information processing 1(1978)-15(1992)   Tidl.m.tit.: Information processing in Japan.
Journal of logic and algebraic programming 47(2001)-
*
Tidl.m.tit.: Journal of logic programming
Journal of logic and computation 1(1990)-    
Journal of logic programming 1(1984)-46(2000)   Forts.m.tit.: Journal of logic and algebraic programming 
Journal of logic, language and information 1(1992)-4(1995).    
Journal of object-oriented programming 1(1988/89)-2(1989)4    
Journal of parallel and distributed computing 1(1984)-
*
 
Journal of Pascal, Ada Modula-2 4(1985)2-9(1990)    
Journal of programming languages 1(1993)-5(1997).    
Journal of semantics (2002)-    
Journal of symbolic computation 1(1985)-
*
 
Journal of systems and software 7(1987)-23(1993)    
Journal of systems architecture : JSA 42(1996)-
*
Tidl.m.tit.: Microprocessing and microprogramming.
Journal of VLSI signal processing systems for signal, image, and video technology 1(1989)-
*
 
Languages of design  1(1992/93)-2(1994)    
LISP and symbolic computation 2(1989)-10(1997)   Forts.m.tit.: Higher-order and symbolic co  mputation. 
Management datamatics 4(1975)-5(1976)   Tidl.m.tit.: Management informatics.
Managements informatics 1(1972)-3(1974)   Tidl.m.tit.: IA  journal. - Forts.m.tit.: Management datamatics. 
Mathematical structures in computer science : MSCS
1(1991)-4(1994)    
Mathematical systems theory 19(1986)-21(1988)    
Microprocessing and microprogramming. 7(1981)-41(1995)   Tidl.m.tit.: Euromicro journal. - Forts.m.tit.: Journal of  systems architecture.
Microprocessors and Microsystems 1(1976/77)-
*
Microprocessors 1976/77
Microsoft systems journal 4(1989)-12(1997).    
Mobile networks applications 4(1999)-
*
ACM
New generation computing 
1(1983)-    
Nordic journal of computing 1(1994)-    
Nordisk datanytt med data 13(1983)-16(1986)   Tidl.m.tit.: Data : Nordisk edb- tidsskrift for da tabrugere og specialister. - Forts.m.tit.: Data :  Nordisk datanytt. 
Notre Dame journal of formal logic 41(2000)-    
Parallel computing 13(1990)-23(1997).    
PC world Opbevares 3 år    
Real-time imaging 1(1995)-2(1996).    
Real-time systems 2(1990)-
*
 
Reliability engineering system safety 31(1991)-47(1995).    
Science of computer programming 1(1981)-
*
 
Scientific American 256(1987)-    
SIAM journal on computing 1(1972)-
*
 
SIAM review 12(1970)-38(1996)    
Software concepts and tools 15(1994)-19(1998/2000).   Tidl.m.tit.: Structured programming. Forts.m.tit.: International journal on software tools for technology transfer
Software engineering journal 4(1989)-11(1996)   Forts.m.tit.: IEE proceedings. Software engineering.
Software. Practice and experience 1(1971)-
*
 
Structured programming 10(1989)-14(1993).   Forts.m.tit.: Software concepts tools.
Theoretical computer science 1(1975/76)-21(1982), 42(1986)-
*
 
Theory and practice of logic programming 1(2001)-
*
 
TUGboat 7(1986)-    
VLSI design 4(1983)-6(1985)8   Forts.m.tit.: VLSI systems design.
VLSI systems design 6(1985)9-9(1988)   Tidl.m.tit.: VLSI design. - Forts.m.tit.: High performance systems. 
Wireless networks  5(1999)-
*
ACM