Formal Aspects of Computing The International Journal of Formal Methods

Formal Aspects of Computing The International Journal of Formal Methods

Bibliographic Details
Format:	Journal
Language:	English
Published:	Berlin Springer-Verlag 1990 1991
Subjects:	Ηλεκτρονικοί υπολογιστές JOURNAL ΠΕΡΙΟΔΙΚΟ

Similar Items

The Computer Journal To 1985 είναι: The British Computer Journal To 1989 είναι: The International Journal Computing
Published: (1958)

Computer Languages An International Journal
Published: (1987)

Computer Standards and Interfaces The International Journal on the Development and Application of Standards for Computers, Data Communications and Interfaces
Published: (1990)

Journal of Parallel and Distributed Computing
Published: (1984)

ACM SIGOIS Bulletin A Quarterly Publication of the ACM Special Interest Group on Office Information Systems
Published: (1987)

ACM SIGGROUP Bulletin A Publication of the ACM Special Interest Group on Supporting Group Work
Published: (1997)

Computer Survey Th 6-part compendium of computer installations
Published: (1989)

Journal of Scientific Computing
Published: (1986)

Journal of Sympolic Computation
Published: (1985)

Dr. Dobb's Journal
Published: (1995)

World Development The Multi-Disciplinary International Journal Devoted to the Study and Promotion of World Development
Published: (1990)

Reading and Writing An Interdisciplinary Journal
Published: (1989)

Computer Networks The International Journal of Distributed Informatique
Published: (1979)

Acta Informatica
Published: (1975)

Performance Evaluation An International Journal
Published: (1981)

The Journal of Supercomputing An International Journal of Supercomputer Design, Analysis and Use
Published: (1991)

SIAM Journal on Computing
Published: (1975)

Telematics and Informatics An international journal on telecommunications and internet technology
Published: (2001)

Computational Linguistics
Published: (1992)

Neural Computation
Published: (1991)

Interacting with Computers The Interdisciplinary Journal of Human-Computer Interaction
Published: (1990)

Journal of Complexity
Published: (1985)

BIT Computer Science Numerical Mathematics
Published: (1987)

Integration the VLSI Journal
Published: (1983)

Journal of Graph Theory
Published: (1989)

Journal of Microcomputer Applications
Published: (1987)

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

SIAM Journal on Matrix Analysis and Applications
Published: (1990)

Journal of Software Maintenance Research and Practice
Published: (1989)

International Journal of Control
Published: (1975)

International Journal of Project Management
Published: (1990)

Artificial Intelligence An International Journal
Published: (1988)

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

Computers and Security The International Source of Innovation for the Information Security and EDP Audit Professional
Published: (1989)

Distributed Computing
Published: (1986)

International Journal of Computer Systems Science and Engineering
Published: (1993)

The Journal of Systems and Software
Published: (1991)

European Journal of Operational Research
Published: (1977)

Neural Networks The Official Journal of the International Neural Networks Society Από το 1992 ο υπότιτλος είναι: The Official Journal of the International Neural Networks Society, European Neural Network Society and Japanese Neural Network Society
Published: (1988)

Geoinformatica An international journal on advances of computer science for geographic information systems
Published: (1998)

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