Kim Guldstrand Larsen
A C M / I E E E Design Automation Conference. Proceedings
ISSNs: 0738-100X
I E E E Computer Society, USA
Central database
Tidsskrift
Annual Symposium on Logic in Computer Science
ISSNs: 1043-6871
I E E E Computer Society, USA
Central database
Tidsskrift
Communications of the A C M
ISSNs: 0001-0782
Association for Computing Machinery, Inc., USA
Central database
Tidsskrift
Computing and Informatics
ISSNs: 1335-9150
Slovak Academic Press Ltd., Slovakiet
Central database
Tidsskrift
Dagstuhl Seminar Proceedings
ISSNs: 1862-4405
International Conference and Research Center for Computer Science, Schloss Dagstuhl gGmbH
Central database
Tidsskrift
Design, Automation, and Test in Europe Conference and Exhibition. Proceedings
ISSNs: 1530-1591
I E E E Computer Society, USA
Central database
Tidsskrift
Electronic Notes in Theoretical Computer Science
ISSNs: 1571-0661
Elsevier BV, Holland
Central database
Tidsskrift
Electronic Proceedings in Theoretical Computer Science
ISSNs: 2075-2180
Open Publishing Association, Australien
Central database
Tidsskrift
Euromicro Conference on Real-Time Systems. Proceedings
ISSNs: 1068-3070
I E E E Computer Society, USA
Central database
Tidsskrift
European Association for Theoretical Computer Science. Bulletin
ISSNs: 0252-9742
European Association for Theoretical Computer Science
Central database
Tidsskrift
I F A C Workshop Series
ISSNs: 1474-6670
Elsevier Ltd. Books Division, Storbritannien
Central database
Tidsskrift
International Conference on Application of Concurrency to System Design. Proceedings
ISSNs: 1550-4808
I E E E Computer Society, USA
Central database
Tidsskrift
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779, 0945-8115
Springer, Tyskland
Central database
Tidsskrift
Journal of Logic and Algebraic Programming
ISSNs: 1567-8326
Elsevier BV North-Holland, Holland
Central database
Tidsskrift
Journal of Logic and Computation
ISSNs: 0955-792X
Oxford University Press Oxford University Press, Storbritannien
Central database
Tidsskrift
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Tyskland
Central database
Tidsskrift: Bogserie
Logical Methods in Computer Science
ISSNs: 1860-5974
International Federation for Computational Logic, Tyskland
Central database
Tidsskrift
Mathematical Structures in Computer Science
ISSNs: 0960-1295
Cambridge University Press, Storbritannien
Central database
Tidsskrift
Nordic Journal of Computing
ISSNs: 1236-6064
University of Helsinki Department of Computer Science, Finland
Central database
Tidsskrift
R A I R O - Theoretical Informatics and Applications
ISSNs: 0988-3754, 1290-385X
E D P Sciences, Frankrig
Central database
Tidsskrift
S I G M E T R I C S Performance Evaluation Review
ISSNs: 0163-5999
Association for Computing Machinery, Inc., USA
Central database
Tidsskrift
Science in China. Series F: Information Sciences
ISSNs: 1009-2757
Zhongguo Kexue Zazhishe
Central database
Tidsskrift
Software: Practice & Experience
ISSNs: 0038-0644
John/Wiley & Sons Ltd., Storbritannien
Central database
Tidsskrift