Formal Aspects of Computing The International Journal of Formal Methods

Formal Aspects of Computing The International Journal of Formal Methods

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Επιστημονικό περιοδικό
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag 1990 1991
Θέματα:	Ηλεκτρονικοί υπολογιστές JOURNAL ΠΕΡΙΟΔΙΚΟ

Παρόμοια τεκμήρια

The Computer Journal To 1985 είναι: The British Computer Journal To 1989 είναι: The International Journal Computing
Έκδοση: (1958)

Computer Languages An International Journal
Έκδοση: (1987)

Microprocessing and Microprogramming The Euromicro Journal
Έκδοση: (1981)

Computer Standards and Interfaces The International Journal on the Development and Application of Standards for Computers, Data Communications and Interfaces
Έκδοση: (1990)

ACM SIGOIS Bulletin A Quarterly Publication of the ACM Special Interest Group on Office Information Systems
Έκδοση: (1987)

ACM SIGGROUP Bulletin A Publication of the ACM Special Interest Group on Supporting Group Work
Έκδοση: (1997)

Computer Survey Th 6-part compendium of computer installations
Έκδοση: (1989)

Journal of Parallel and Distributed Computing
Έκδοση: (1984)

Dr. Dobb's Journal
Έκδοση: (1995)

World Development The Multi-Disciplinary International Journal Devoted to the Study and Promotion of World Development
Έκδοση: (1990)

Reading and Writing An Interdisciplinary Journal
Έκδοση: (1989)

Journal of Scientific Computing
Έκδοση: (1986)

Journal of Sympolic Computation
Έκδοση: (1985)

Computer Networks The International Journal of Distributed Informatique
Έκδοση: (1979)

Acta Informatica
Έκδοση: (1975)

Performance Evaluation An International Journal
Έκδοση: (1981)

The Journal of Supercomputing An International Journal of Supercomputer Design, Analysis and Use
Έκδοση: (1991)

Telematics and Informatics An international journal on telecommunications and internet technology
Έκδοση: (2001)

Journal of Complexity
Έκδοση: (1985)

Integration the VLSI Journal
Έκδοση: (1983)

Journal of Graph Theory
Έκδοση: (1989)

Journal of Microcomputer Applications
Έκδοση: (1987)

Computer Communications
Έκδοση: (1990)

SIAM Journal on Computing
Έκδοση: (1975)

Computational Linguistics
Έκδοση: (1992)

Neural Computation
Έκδοση: (1991)

Journal of Systems Architecture The Euromicro Journal Προηγούμενος τίτλος: Microprocessing and Microprogramming
Έκδοση: (1996)

BIT Computer Science Numerical Mathematics
Έκδοση: (1987)

Interacting with Computers The Interdisciplinary Journal of Human-Computer Interaction
Έκδοση: (1990)

SIAM Journal on Matrix Analysis and Applications
Έκδοση: (1990)

Journal of Software Maintenance Research and Practice
Έκδοση: (1989)

International Journal of Control
Έκδοση: (1975)

International Journal of Project Management
Έκδοση: (1990)

Artificial Intelligence An International Journal
Έκδοση: (1988)

Signal Processing A European journal devoted to the methods and applications of Signal Processing Από το 1991 ο υπότιτλος είναι: An International Journal
Έκδοση: (1979)

Computers and Security The International Source of Innovation for the Information Security and EDP Audit Professional
Έκδοση: (1989)

Distributed Computing
Έκδοση: (1986)

The Journal of Systems and Software
Έκδοση: (1991)

International Journal of Computer Systems Science and Engineering
Έκδοση: (1993)

European Journal of Operational Research
Έκδοση: (1977)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών