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 ΠΕΡΙΟΔΙΚΟ

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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)

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

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

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

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
Έκδοση: (1988)

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

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

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

Information Processing Letters A journal devoted to the rapid publication of short contributions in the field of information processing
Έκδοση: (1975)

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

Decision Support Systems The International Journal
Έκδοση: (1990)

AI Expert The Magazine of Artificial Intelligence in Practice
Έκδοση: (1991)

Journal of Algorithms
Έκδοση: (1980)

IBM Systems Journal
Έκδοση: (1977)

IBM Journal of Research & Development
Έκδοση: (1987)

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

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