Journal subscriptions @ IMM Library
 Including links to electronic versions mostly restricted to DTU campus only

 Database search tips
 
Journal title
Holdings
Full text
Link
Remarks
ACM / Collected algorithms from ACM (1960)1-(1980)564, (1993)713-
*
ACM
 
ACM / Communications of the ACM 1(1958)- *
ACM
 
ACM / Computing reviews  1(1969)-
*
ACM
 
ACM / Interactions 
6(1999)-
*
ACM
 
ACM / Journal of the ACM 
1(1954)-
*
ACM
 
ACM / NetWorker  3(1999)-
*
ACM
 
ACM computing 1(1969)-
*
ACM
ACM / computing surveys 1969-1970
ACM journal of computer documentation 24(2000)-
*
ACM
Tidl.m.tit.: ACM SIGDOC / Journal of computer documentation
ACM journal of experimental algorithms 1(1996)-
*
ACM
 
ACM SIGAda / Ada letters 7(1987)-      
ACM SIGAPP / Applied computing review  1(1993)-
*
ACM
 
ACM SIGARCH / Computer architecture news 2(1973)3-      
ACM SIGART / Intelligence 10(1999)-
*
ACM
Tidl.m.tit.: ACM SIGART / SIGART bulletin
ACM SIGART / SIGART bulletin 1(1990)-9(1998)     Forts.m.tit.: ACM SIGART / Intelligence
ACM SIGCHI / SIGCHI bulletin 18(1987)3-      
ACM SIGCOMM / Computer communication review 6(1975/76)-      
ACM SIGCSE / SIGCSE bulletin 4(1972)-
*
ACM
 
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 SIGMETRICS / Performance evaluation review  14(1986/87)-      
ACM SIGMIS / Data base for advances in information systems
4(1972)-       
ACM SIGMOD / SIGMOD record 8(1976)3-
*
ACM
 
ACM SIGOPS / Operating systems review  4(1970)3-      
ACM SIGPLAN / Fortran forum  Opbevares 5 år      
ACM SIGPLAN / SIGPLAN notices 6(1971)2-
*
ACM
 
ACM SIGSAM / SIGSAM bulletin Opbevares 5 år      
ACM SIGSOFT / Software engineering notes  4(1979)-
*
ACM
 
ACM transactions on computational logic. TOCL 1(2000)-
*
ACM
 
ACM transactions on computer systems. TOCS 1(1983)-
*
ACM
 
ACM transactions on computer-human interaction. TOCHI 1(1994)-
*
ACM
 
ACM transactions on database systems. TODS 1(1976)-
*
ACM
 
ACM transactions on design automation of electronic systems. TODAES 1(1996)-
*
ACM
 
ACM transactions on graphics. TOG 5(1986)- *
ACM
 
ACM transactions on information and system security. TISSEC
1(1998)-
*
ACM
 
ACM transactions on information systems. TOIS
7(1989)-
*
ACM
Tidl.m.tit.: ACM transactions on office information systems. TOOIS
ACM transactions on mathematical software. TOMS 1(1975)-6(1980), 13(1987)-
*
ACM
 
ACM transactions on modeling and computer simulation. TOMACS 1(1991)-
*
ACM
 
ACM transactions on office information systems. TOOIS 1(1983)-6(1988)
*
ACM
Forts.m.tit.: ACM transactions on information systems. TOIS
ACM transactions on programming languages and systems. TOPLAS 1(1979)-
*
ACM
 
ACM transactions on software engineering and methodology. TOSEM 1(1992)-
*
ACM
 
Acta informatica 1(1971/72)-
*
DADS
 
Advances in applied probability 1(1969)-      
Advances in computational mathematics 5(1996)- *
DADS
 
AI magazine
9(1988)-      
Alt om data Opbevares 3 år      
American statistician 20(1966)-
*
ProQuest
 
Annals of applied probability 1(1991)-      
Annals of operations research 1(1984)-      
Annals of probability 1(1973)-      
Annals of statistics 1(1973)-      
Annals of the history of computing 1(1979)-13(1991)     Forts.m.tit.: IEEE annals of the history of computing.
Annals of the Institute of Statistical Mathematics 1(1949)-22(1970), 28(1976)-33(1981)ukpl., 34(1982)-43(1991), 45(1993)- *
DADS
 
Applied mathematics and optimization 1(1974)- *
DADS
 
Applied numerical mathematics 1(1985)- *
DADS
 
Applied statistics 1(1952)-    
Journal of the Royal Statistical Society Series C.
Applied stochastic models and data analysis 1(1985)-15(1999)1
*
Wiley
Forts.m.tit.: Applied stochastic models in business and industry
Applied stochastic models in business and industry 15(1999)2-
*
Wiley
Tidl.m.tit.: Applied stochastic models and data analysis
Artificial intelligence
10(1978)- 
*
DADS
 
Asia-pacific journal of operational research
5(1988)-      
Australian and New Zealand journal of statistics 38(1996)-     Tidl.m.tit.: Australian journal of statistics
Australian journal of statistics 29(1987)-37(1995)     Forts.m.tit.: Australian and New Zealand journal of statistics
Automatica 15(1979)-
*
DADS
 
Belgian journal of operations research, statistics, and computer science 25(1985)-    
Tidl.m.tit.: Revue belge de statistique, d'informatique et de recherche operationnelle.
Bell labs technical journal 1(1996)-
*
ProQuest
 
Bernoulli Society, journal of  1(1995)-      
Biometrical journal 20(1978)-
*
Wiley
 
Biometrics 1(1945)-
*
ProQuest
 
Biometrika 1(1901)-      
BIT 1(1961)-      
Canadian journal of statistics 1(1973)-      
Chance : new directions for statistics and computing 1(1988)-      
Communications in statistics A: Theory and methods 1(1973)-      
Communications in statistics B: Simulation and computation 5(1976)-      
Communications in statistics C: Stochastics models 1(1985)-      
Computational intelligence 18(2002)-
 
 
 
Computational optimization and applications 5(1996)-
*
DADS
 
Computational statistics 7(1992)-     Tidl.m.tit.: Computational statistics quarterly.
Computational statistics and data analysis 1(1983)-
*
DADS
Computational statistics quarterly 1(1983)-6(1991)     Forts.m.tit.: Computational statistics.
Computer journal 1(1958/59)-      
Computer languages 1(1975)-
*
DADS
Computer networks  1(1976)-8(1984)     Forts.m.tit.: Computer networks and ISDN systems. 
Computer networks 31(1999)-
*
DADS
Tidl.m.tit.: Computer networks and ISDN systems.
Computer networks and ISDN systems 9(1985)-30(1998)
*
DADS
Tidl.m.tit.: Computer networks. Forts.m.tit.: Computer networks : The international ..
Computer vision and image understanding 61(1995)-
*
DADS
 
Computers and geosciences 9(1983)-
*
DADS
 
Computers and operations research 1(1974)-
*
DADS
 
Computing. Archives for scientific computing 1(1966)-
*
DADS
 
Concurrency : Practice and experience 1(1989)-12(2000)
*
Wiley
Forts.m.tit.: Concurrency and computation : Practice and experience
Concurrency and computation : Practice and experience 13(2001)-
*
Wiley
Tidl.m.tit.: Concurrency : Practice and experience
Control and cybernetics 10(1981)-      
Current index to statistics  1(1975)-      
Data knowledge engineering 1(1985)-
*
DADS
 
Design automation for embedded systems 1(1996)-
*
DADS
 
Distributed computing 1(1986)-
*
DADS
 
DORS nyt (1995)-      
Econometric reviews 2(1983)2-
*
ProQuest
 
Econometrica
1(1933)-7(1939), 17(1949)-
     
Economic computation and economic cybernetics studies and research (1966)-      
Electronic notes in theoretical computer science 1(1995)-
*
IPG
 
Electronics world  103(1997)-      
Engineering costs and production economics 1(1976)-21(1991)     Forts.m.titel: International journal of production economics.
Engineering optimization 2(1976)-      
Environmetrics 2(1991)-
*
Wiley
 
Ericsson review (1964)-      
European journal of information systems 1(1991)-      
European journal of operational research 1(1977)-
*
DADS
 
Formal aspects of computing 1(1989)-
*
DADS
 
Formal methods in system design 1(1992)-
*
DADS
 
Foundations of computing and decision sciences 15(1990)2-     Tidl.m.tit.: Foundations of control engineering.
Foundations of control engineering 1(1975)-15(1990)1     Forts.m.tit.: Foundations of computing and decision sciences.
Geocarto international  1(1986)-      
Graphical models 57(1995)-
*
DADS
 
Higher-order and symbolic computation 11(1998)-
*
DADS
Tidl. titel: LISP and symbolic computation.
IBM journal of research and development 9(1965)-
*
ProQuest
 
IEE proceedings. Computers and digital techniques 141(1994)-
*
DADS
Tidl.m.tit.: IEE proceedings. Part E, Computers and digital techniques.
IEE proceedings. Part E, Computers and digital techniques 127(1980)-140(1993)     Forts.m.tit.: IEE proceedings. Computers and digital techniques.
IEE proceedings. Software 145(1998)-
*
DADS
Tidl.m.tit.: IEE proceedings. Software engineering.
IEE proceedings. Software engineering 144(1997)
*
DADS
Forts.m.tit.: IEE proceedings. Software. Tidl.m.tit.: Software engineering journal.
IEEE / Computer  3(1970)5-
*
DADS
Tidl.m.tit.: IEEE / Computer group news.
IEEE / Proceedings of the IEEE 51(1963)-
*
DADS
IEEE expert 1(1986)-12(1997)
*
DADS
Forts.m.tit.: IEEE intelligent systems their applications.
IEEE intelligent systems their applications 13(1998)-
*
DADS
Tidl.tit.: IEEE expert
IEEE journal of solid-state circuits (1966)-23(1988)ukpl., 24(1989)-
*
DADS
 
IEEE network
1(1987)-
*
DADS
 
IEEE software
1(1984)-
*
DADS
 
IEEE transaction on automatic control 15(1970)-
*
DADS
 
IEEE transaction on biomedical engineering 37(1990)-
*
DADS
 
IEEE transactions on computer-aided design on integrated circuits and systems 1(1982)-
*
DADS
 
IEEE transactions on computers 17(1968)-
*
DADS
Tidl.m.tit.: IEEE transactions on electronic computers.
IEEE transactions on geoscience and remote sensing 18(1980)-
*
DADS
 
IEEE transactions on image processing 1(1992)-
*
DADS
 
IEEE transactions on information theory 5(1959)-
*
DADS
 
IEEE transactions on medical imaging 11(1992)-
*
DADS
 
IEEE transactions on pattern analysis and machine intelligence 5(1983)-
*
DADS
 
IEEE transactions on reliability 25(1975)-
*
DADS
 
IEEE transactions on signal processing 39(1991)-
*
DADS
Tidl.m.tit.: IEEE trans. on acoustics, speech, and signal 
processing
IEEE transactions on software engineering 1(1975)-
*
DADS
 
IEEE transactions on systems, man and cybernetics 1(1971)-
*
DADS
 
IEEE transactions on very large scale integration (VLSI) systems 1(1993)-
*
DADS
 
IEEE/ACM transactions on networking 1(1993)-
*
DADS
 
IFORS bulletin Opbevares 2 år      
IIE solutions 27(1995)5-
*
ProQuest
Tidl.m.tit.: Industrial engineering
IIE transactions 14(1982)-29(1997), 31(1999)-
*
DADS
Tidl.m.tit.: AIIE transactions.
IMA journal of applied mathematics 1(1965)-53(1994), 58(1997)-      
IMA journal of numerical analysis 1(1981)-      
Image and vision computing 10(1992)-
*
DADS
 
Industrial engineering 1(1969)-27(1995)4     Forts.m.tit.: IIE solutions
INFOR. Information systems and operational research 9(1971)-
*
ProQuest
 
Information and computation 72(1987)-
*
DADS
Tidl.m.tit.: Information and control
Information and control 1(1958)-71(1986)     Forts.m.tit.: Information and computation.
Information and management 8(1985)-
*
DADS
 
Information processing letters 1(1971)-
*
DADS
 
INFORMS journal on computing 8(1996)-     Tidl.m.tit.: ORSA journal on computing
Institute of Mathematical Statistics bulletin 1(1972)-      
Integration, the VLSI journal 1(1983)-
*
DADS
 
Interfaces 1(1971)-24(1994), 28(1998)-      
International abstracts in operations research 1(1961)-      
International journal of computer vision 10(1993)-
*
DADS
 
International journal of control 45(1987)-
*
IPG
 
International journal of pattern recognition and artificial intelligence 5(1991)-      
International journal of production economics 22(1991)-
*
DADS
Tidl.m.tit.: Engineering costs and production economics.
International journal of production research 12(1974)-
*
IPG
 
International journal of remote sensing 8(1987), 10(1989)-
*
IPG
 
International journal on software tools for technology transfer (2002)-
*
DADS
 
International statistical review 40(1972)-      
International studies of management and organization 1(1971)-27(1997), 29(1999)-
*
ProQuest
 
International transactions in operational research 1(1994)-
*
Ingenta
 
Inverse problems
13(1997)-
*
IPG
 
Journal europeen des systèmes automatises 30(1996)-     Tidl.m.tit.: RAIRO Automatique, productique
Journal of applied probability 1(1964)-      
Journal of applied statistics
13(1986)-
*
IPG
 
Journal of automated reasoning 1(1985)-
*
DADS
 
Journal of biopharmaceutical statistics 1(1991)-      
Journal of business
52(1979)-70(1997), 72(1999)-
*
ProQuest
 
Journal of business and economic statistics 1(1983)-
*
ProQuest
 
Journal of combinatorial theory, series A 10(1971)-
*
DADS
Tidl.m.tit.: Journal of combinatorial theory.
Journal of combinatorial theory, series B 10(1971)-
*
DADS
Tidl.m.tit.: Journal of combinatorial theory.
Journal of computational and graphical statistics 1(1992)-      
Journal of computational physics 1(1966)-25(1977), 39(1981)-
*
DADS
 
Journal of computer and system sciences 1(1967)-
*
DADS
 
Journal of computer security 10(2002)-      
Journal of consciousness studies 3(1996)-      
Journal of economic dynamics and control 1(1979)-
*
DADS
 
Journal of educational behavioral statistics 19(1993)-      
Journal of electronic imaging
2(1993)-5(1996), 
7(1998)-
     
Journal of finance
23(1968)-52(1997), 54(1999)-
*
ProQuest
 
Journal of forecasting 1(1982)-
*
Wiley
 
Journal of functional programming 1(1991)-
*
IPG
 
Journal of global optimisation 1(1991)-
*
DADS
 
Journal of heuristics
1(1995)-
*
DADS
 
Journal of information and optimisation sciences 1(1980)-      
Journal of irreproducible results 28(1982)2-      
Journal of logic and algebraic programming 47(2001)-
*
DADS
Tidl.m.tit.: Journal of logic programming
Journal of logic and computation 1(1990)-      
Journal of logic programming 1(1984)-46(2000)
*
DADS
Forts.m.tit.: Journal of logic and algebraic programming
Journal of marketing research 1(1964)-      
Journal of mathematical imaging and vision 6(1996)-
*
DADS
 
Journal of mathematical physics 1(1960)-
*
IPG
 
Journal of mathematical psychology 5(1968)-
*
DADS
 
Journal of multivariate analysis 1(1971)-
*
DADS
 
Journal of nonparametric statistics 1(1992)-      
Journal of official statistics 1(1985)-      
Journal of optimization theory and applications 15(1975)-
*
DADS
 
Journal of parallel and distributed computing 1(1984)-
*
DADS
 
Journal of quality technology 1(1969)-
*
ProQuest
 
Journal of regional science 1(1958)-
*
ProQuest
 
Journal of semantics (2002)-      
Journal of statistical computation and simulation 1(1972)-      
Journal of statistical planning and inference 1(1977)-
*
DADS
 
Journal of symbolic computation 1(1985)-
*
DADS
 
Journal of systems architecture 42(1996)-
*
DADS
Tidl.m.tit.: Microprocessing and microprogramming.
Journal of the American Statistical Association 40(1945)-
*
ProQuest
 
Journal of the audio engineering society (AES) 30(1982)-      
Journal of the Franklin Institute 259(1955)-
*
DADS
 
Journal of the Operational Research Society 29(1978)-     Tidl.m.tit.: Operational research quarterly.
Journal of the Operations Research Society of Japan 1(1957)-
*
DADS
 
Journal of the Royal Statistical Society, series A  86(1923)-      
Journal of the Royal Statistical Society, series B 1(1934)-     Tidl.m.tit.: Supplement to the journal of the Royal Statistical Society.
Journal of time series analysis 1(1980)-      
Journal of VLSI signal processing systems for signal, image, and video technology 1(1989)-
*
DADS
 
Kybernetika
1(1965)-      
Ledelse og erhvervsøkonomi 51(1987)-     Tidl.m.tit.: Erhvervsøkonomisk tidsskrift.
Linux journal
(1994)5-
 *
 ACM
 
LISP and symbolic computation 2(1989)-10(1997)
*
DADS
Forts.m.tit.: Higher-order and symbolic computation.
Management science
1(1955)-      
Mathematical and computer modelling of dynamical systems 1(1995)-      
Mathematical geology
9(1978)-
*
DADS
 
Mathematical methods of operations research 43(1996)-
*
DADS
Tidl.m.tit.: ZOR. Zeitschrift für operations research.
Mathematical programming, series A+B
1(1971)-
*
DADS
 
Mathematics and computers in simulation 21(1979)-
*
DADS
 
Mathematics of computation
1(1943)-
*
IPG
 
Mathematics of operations research 1(1976)-      
Mathematics today
33(1997)-      
Methods of information in medicine 1(1962)-      
Metrika
1(1958)-
*
DADS
 
Microprocessing and microprogramming. 7(1981)-41(1995)
*
DADS
Tidl.m.tit.: Euromicro journal. - Forts.m.tit.: Journal of systems architecture.
Microprocessors and Microsystems 1(1976/77)-
*
DADS
Microprocessors 1976/77
Mobile networks applications 4(1999)-
*
DADS
 
Modeling, identification and control - MIC 1(1980)-      
Nationaløkonomisk tidsskrift (1900)-      
Naval research logistics
1(1954)-
*
Wiley
 
Networks
1(1971)-
*
Wiley
 
Neural computation
7(1995)- *
Ingenta
 
Neural networks
4(1991)- *
DADS
 
New generation computing 
1(1983)-      
New scientist
(1985)-      
Nordic journal of computing 1(1994)-      
Notices of the American Mathematical Society 18(1971)-      
Notre dame journal of formal logic (2000)-      
Numerical algorithms
1(1991)-
*
DADS
 
Numerical linear algebra with applications 1(1994)-
*
Wiley
 
Numerical methods for partial differential equations 4(1988)-      
Numerische mathematik
1(1959)-      
Omega
1(1973)-
*
DADS
 
Operations research
1(1952)-      
Operations research letters 1(1981)-
*
DADS
 
Operations research, management science 10(1970)-36(1996), 39(1999)-      
Optical engineering 32(1993)-
*
IPG
 
Optimal control  1(1980)-
*
Wiley
 
Optimization 3(1972)-     Tidl.m.tit.: Mathematische operationsforschung und statistik.
OR spectrum
1(1979)-
*
DADS
 
OR/MS today
5(1989)-      
ORSA journal on computing 2(1990)-7(1995)     Forts.m.tit.: INFORMS journal on computing.
Parallel computing
4(1987)-
*
DADS
 
Pattern recognition 13(1981)-
*
DADS
 
Pattern recognition letters 1(1982)-
*
DADS
 
PC world Opbevares 3 år      
Photogrammetric engineering and remote sensing 47(1981)-      
Probability theory and related fields 71(1986)-
*
DADS
Tidl.m.tit.: Zeitschrift für wahrscheinlichkeitstheorie und verwandte gebiete.
Production and inventory management journal 20(1979)-34(1993), 38(1997), 40(1999)-
*
ProQuest
 
Quality and reliability engineering international 5(1989)-
*
Wiley
 
Quarterly of applied mathematics 27(1969)-52(1994), 55(1997)-      
Queueing systems
1(1986)-      
RAIRO. Automatique, productique, informatique, industrielle / Automatic control, production systems 4(1960)-29(1995)     Forts.m.tit.: Journal européen des systemes automatisés
RAIRO. Informatique theorique et applications / Theoretical informatics and applications 4(1960)-      
RAIRO. Modelisation mathematique et analyse numerique / Mathematical modelling and numerical analysis 4(1960)-     Tidl.m.tit.: RAIRO. Analyse numerique / Numerical analysis.
RAIRO. Recherche operationnelle / Operations research 4(1960)-      
Real-time systems 2(1990)-
*
DADS
 
Regional science and urban economics 2(1972)-
*
DADS
 
Regional studies
1(1967)-
*
ProQuest
 
Reliability engineering and system safety 31(1991)-
*
DADS
 
Reliable computing
1(1995)-
*
DADS
 
Revue de statistique appliquee 18(1965)-45(1997), 47(1999)-      
Sankhya, series A  27(1965)2-      
Sankhya, series B 27(1965)-      
Scandinavian actuarial journal (1968)-     Tidl.m.tit.: Skandinavisk aktuarietidskrift.
Scandinavian journal of statistics 1(1974)-23(1996)2, 24(1997)-      
Science
(1966)-
*
Science
 
Science of computer programming 1(1981)-
*
DADS
 
Scientific American
249(1983)-
*
IPG
Biblioteket abonnerer også på en trykt udgave
Sequential analysis
10(1991)-      
SIAM journal on applied mathematics 1(1953)-
*
SIAM
 
SIAM journal on computing 1(1972)-
*
SIAM
 
SIAM journal on control and optimization 3(1965)-
*
SIAM
 
SIAM journal on mathematical analysis 1(1970)-
*
SIAM
 
SIAM journal on matrix analysis and applications 9(1988)-
*
SIAM
Tidl.m.tit.: SIAM journal on algebraic and discrete methods
SIAM journal on numerical analysis 1(1964)-
*
SIAM
 
SIAM journal on optimization 1(1991)-
*
SIAM
 
SIAM journal on scientific and statistical computing 1(1980)-
*
SIAM
 
SIAM review 8(1966)-
*
SIAM
 
SIAM Theory of probability and its applications 29(1985)-
*
SIAM
 
Signal processing
1(1979)-
*
DADS
 
Socio-economic planning sciences 1(1967)-
*
DADS
 
Software. Practice and experience 1(1971)-
*
Wiley
 
Software concepts and tools 15(1994)-19(1998/2000)
*
DADS
Tidl.m.tit.: Structured programming. Forts.m.tit.: International journal on software tools for technology transfer
South African statistical journal 10(1976)-      
Statistica neerlandica
(1965)-      
Statistica sinica
1(1991)-      
Statistical science
1(1986)-      
Statistician 20(1971)-      
Statistics 3(1972)-30(1997), 32(1999)-     Tidl.m.tit.: Mathematische operationsforschung und statistik
Statistics and decisions 1(1983)-      
Statistics and probability letters 1(1982)-
*
DADS
 
Statistics in medicine 11(1992)-
*
Wiley
 
Stochastic processes and their applications 1(1973)-61(1996)1, 67(1997)-
*
DADS
 
Systemic practice and action research 3(1990)-      
Systems and control letters 2(1982)-
*
DADS
 
Technique et science informatiques 1(1982)-      
Technometrics 1(1959)-
*
 
Theoretical computer science 1(1975/76)-21(1982), 42(1986)-
*
DADS
 
Theory and practice of logic programming 1(2001)-
*
IPG
 
Traffic engineering and control 2(1961)-      
Transportation research, part A 1(1967)-
*
DADS
 
Transportation research, part B 1(1967)-
*
DADS
 
Transportation research, part C 1(1993)-
*
DADS
 
Transportation research, part D 1(1996)-
*
DADS
 
Transportation science 1(1967)-      
TUGboat 7(1986)-      
Urban studies 1(1964)-
*
IPG
 
Wave motion 1(1979)-23(1996)2, 25(1997)-
*
DADS
 
Wireless networks  5(1999)-
*
DADS
 
ZOR. Methods and models of operations research 16(1972)-42(1995)    
Fortsat m.titel: Mathematical methods of operations research.