Mathematical foundations of computer science

Mathematical foundations of computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Blikle, A.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag 1975
Σειρά:	Lecture notes in computer science 28
Θέματα:	Ηλεκτρονικοί υπολογιστές > Συνέδρια

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

Foundations of software engineering Proceedings of the 1st ACM SIGSOFT symposium Los Angeles, California, USA, December 7-10, 1993 ACM/SIGSOFT Vol 18, no 5, December 1993
Έκδοση: (1993)

Rules in database systems
Έκδοση: (1995)

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)

POPL the first ten years Proceedings compendium 1973-1983 CD-ROM
Έκδοση: (1997)

Proceedings of VERkshop III - A Formal Verification Workshop [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985
Έκδοση: (1985)

Intelligent text and image handling : proceedings of a Conference on Intelligent Text and Image Handling "RIAO 91," Barcelona, Spain, 2-5 April 1991 /
Έκδοση: (1991)

Software Process Workshop Proceedings of the 4th International Workshop Moretonhampstead, Devon, UK, 11-13 May 1988 ACM/SIGSOFT Vol.14, No.4, June 1989
Έκδοση: (1989)

Organizational Computing Systems COOCS '95 [Proceedings] Conference Milpitas, California, U.S.A., August 13-16, 1995
Έκδοση: (1995)

Organizational computing systems (COOCS '91) Proceedings Conference Atlanta, Georgia November 5-8, 1991 Vol.12, No.2,3
Έκδοση: (1991)

Software testing, analysis, and verification (1989) Proceedings of the ACM SIGSOFT '89 3rd Symposium Key West, Florida, December 13-15, 1989 Vol.14, No.8, December 1989
Έκδοση: (1989)

Software specification and design Proceedings of the 5th International Workshop Pittsburgh, Pennsylvania, USA May 19-20,1989 ACM/SIGSOFT Vol.14, No.3, May 1989
Έκδοση: (1989)

Software for critical systems Proceedings of the ACM/SIGSOFT '91 conference New Orleas, Louisiana December 4-6, 1991 ACM/SIGSOFT: Vol. 16, No 5, December 1991
Έκδοση: (1991)

Software Configuration Management (1989) Proceedings of the 2nd International Workshop Princeton, New Jersey, October 24, 1989 Vol.14, No.7, November 1989
Έκδοση: (1989)

Parallel Algorithms and Architectures SPAA 2001 13th Annual ACM Symposium Crete Island, Greece, July 3-6, 2001
Έκδοση: (2001)

Software testing and analysis (ISSTA) Proceedings of the International Symposium. Cambridge, Massachusetts, USA, 28-30 June, 1993 ACM/SIGSOFT Vol.18, No 3, July 1993

Parallel Algorithms and Architectures SPAA '94 6th Annual ACM Symposium Cape May, New Jersey, June 27-29, 1994
Έκδοση: (1994)

Programming Language Design and Implementation (PLDI) Proceedings the ACM SIGPLAN '97 Conference Las Vegas, Nevada, 15-18 June, 1997 ACM/SIGPLAN: Vol. 32, No 5, May 1997
Έκδοση: (1997)

SIGAda '98 Proceedings ACM SIGAda annual international conference novmber 8-12. 1998 acm/SIGADA
Έκδοση: (1998)

Practical software development environments Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium Boston, Mass. November 28-30, 1988 ACM SIGSOFT vol. 13, no 5 1988 ACM SIGPLAN vol. 24, no 2 1989
Έκδοση: (1988)

The 20th Annual simulation symposium Record of Proceedings Eastern Multiconference Tampa, Florida, March 11-13, 1987
Έκδοση: (1987)

The 21st Annual simulation symposium Record of Proceedings Tampa, Florida, March 16-18, 1988
Έκδοση: (1988)

The 22nd Annual simulation symposium Record of Proceedings 1989 Eastern Multiconference Tampa, Florida, March 28-31, 1989 ACM SIGSIM Vol. 20, no 1, March 1989
Έκδοση: (1989)

The 23rd Annual simulation symposium Record of Proceedings 1990 Eastern Multiconference Nashville, Tennessee, April 23-27, 1990 ACM SIGSIM Vol. 20, no 4, April 1990
Έκδοση: (1990)

Practical software development environments Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium. Palo Alto, California. December 9-11,1986 ACM SIGPLAN Vol.22, No.1, January 1987
Έκδοση: (1986)

Computer Supported Cooperative Works 98 Proceedings of the ACM 1998 Conference Seattle, Washington November 14-18, 1998 ACM SIGCHI ACM SIGGROUP
Έκδοση: (1998)

Computer Supported Cooperative Work CSCW 1988 Proceedings of the Conference on CSCW 88 September 26-29,1988, Portland, Oregon
Έκδοση: (1988)

Parallel Algorithms and Architecture 10th Annual ACM Symposium SPAA '98 Puerto Vallarta, Mexico June 28 - July 2, 1998
Έκδοση: (1998)

Organizational computing systems COOCS [Proceedings] Conference Milpitas, California, November 1-4, 1993
Έκδοση: (1993)

Parallel Algorithms and Architectures SPAA '95 7th Annual ACM Symposium Santa Barbara, California, July 17-19, 1995
Έκδοση: (1995)

Parallel Algorithms and Architectures 11th Annual ACM Symposium on SPAA '99 Saint-Malo, France, 27-30 June, 1999
Έκδοση: (1999)

Principles of programming languages POPL '00: The 27th ACM SIGPLAN-SIGACT Symposium. Boston, Massachusetts 19-21 January 2000
Έκδοση: (2000)

Programming language design and implementation (1993) Proceedings of the ACM SIGPLAN '93 conference Albuquerque, NM, June 23-25 , 1993 ACM/SIGPLAN Vol. 28, No 6 , June 1993
Έκδοση: (1993)

Programming language design and implementation (1994)(PLDI) Proceedings of the SIGPLAN 1994 conference Orlando, FL, June 20-24, 1994 ACM/SIGPLAN Vol. 29, No.6, June 1994
Έκδοση: (1994)

Programming Language Design and Implementation (PLDI) Proceedings of the ACM SIGPLAN '95 Conference La Jolla, CA, June 18-21, 1995 ACM/SIGPLAN Vol. 30, No 6, June 1995
Έκδοση: (1995)

Programming Language Design and Implementation (PLDI) Proceedings of the ACM SIGPLAN '96 Conference Philadelphia, PA , May 21-24 , 1996 ACM/SIGPLAN Vol. 31 , No 5 , May 1996
Έκδοση: (1996)

Programming language design and implementation (1988) Proceedings of the SIGPLAN '88 Conference Atlanta, Georgia, June 22-24, 1988 Vol.23, No.7, July 1988
Έκδοση: (1988)

Programming language design and implementation (1989) Proceedings of the SIGPLAN '89 Conference Portland, Oregon, June 21-23, 1989 Vol.24, No.7, July 1989
Έκδοση: (1989)

Programming language design and implementation (1990) Proceedings of the ACM/SIGPLAN '90 Conference White Plains, New York, June 20-22, 1990 Vol.25, No.6, 1990
Έκδοση: (1990)

Office Information Systems (1990) Proceedings Conference April 25-27,1990, Cambridge, Massachusetts
Έκδοση: (1990)

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