Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987

Logic in Computer Science (1987) Proceedings Symposium Ithaca, New York, June 22-25, 1987

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Washington D.C New York IEEE Computer Society Press Association for Computing Machinery c1987 c1987
Θέματα:	ACM/IEEE PROCEEDINGS Υπολογιστική

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

Logic in Computer Science (1988) Proceedings 3rd Annual Symposium July 5-8,1988, Edinburgh, Scotland
Έκδοση: (1988)

Logic in Computer Science (1986) Proceedings Symposium Cambridge, Massachusetts, June 16-18, 1986
Έκδοση: (1986)

Reliability in Distributed Software and Database Systems (1986) Proceedings of the 5th Symposium January 13-15,1986, Los Angeles, California
Έκδοση: (1986)

Supercomputing '88 Proceedings, November 14-18, 1988, Orlando, Florida
Έκδοση: (1988)

Design Automation Conference 24th ACM/IEEE Conference Proceedings Miami Beach,Fla. 1987
Έκδοση: (1987)

Design Automation Conference ACM/ IEEE 21st Conference Proceedings Albuquerque, New Mexico, June 25-27, 1984
Έκδοση: (1984)

Design Automation Conference Proceedings of the 17th Design Automation Conference Minneapolis, Minnesota, June 23-25, 1980

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)

Design Automation Conference 23rd ACM/IEEE Conference Proceedings June 29 - July 2, 1986
Έκδοση: (1986)

Design automation conference Proceedings 29th ACM/IEEE Conference Anaheim, California June 8-12, 1992
Έκδοση: (1992)

Design Automation Conference 15th ACM/IEEE Conference Proceedings June 19-21, 1978, Las Vegas, Nevada
Έκδοση: (1978)

Design Automation Conference ACM/ IEEE 18th Conference Proceedings Nashville, Tennessee, June 29,30 - July 1, 1981

Design Automation Conference 22nd ACM/IEEE Conference Proceedings June 23-26, 1985, Las Vegas, Nevada
Έκδοση: (1985)

Design Automation Conference 12th Conference Proceedings June 23-25, 1975, Boston, Mass.
Έκδοση: (1975)

Design Automation Conference 16th ACM/IEEE Conference Proceedings San Diego, California, June 25-27, 1979
Έκδοση: (1979)

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

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

Theory of computing Proceedings of the 26th Annual ACM symposium on the theory of computing. Montreal, Quebec, Canada, May 23-25, 1994
Έκδοση: (1994)

Theory of Computing Proceedings of the 27th Annual ACM Symposium Las Vegas, Nevada, May 29- June 1, 1995
Έκδοση: (1995)

Theory of computing Proceedings of the 18th Annual ACM Symposium Berkeley, California, May 28-30, 1986
Έκδοση: (1986)

Theory of Computing Proceedings of the 29th Annual ACM Symposium El Paso. Texas, May 4-6, 1997
Έκδοση: (1997)

Theory of computing Proceedings of the 16th Annual ACM Symposium Washington, D.C., April 30-May 2, 1984
Έκδοση: (1984)

Theory of Computing Proceedings of the 28th Annual ACM Symposium Philadelphia, Pennsylvania, May 22-24, 1996
Έκδοση: (1996)

Theory of Computing Procedings of the 30th Annual ACM Conference Dallas, Texas May 23-26, 1998
Έκδοση: (1998)

Parallel and distributed simulation (PADS'93) Proceedings of the 7th Workshop 1993 San Diego, California, 16-19 May, 1993 ACM/SIGSIM Vol.23, No 1, July 1993
Έκδοση: (1993)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Computer architecture Conference Proceedings 14th Annual International Symposium June 2-5, 1987, Pittsburgh, Pennsylvania Vol.15, No.2, June 1987
Έκδοση: (1987)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Computer architecture Conference Proceedings 2nd Annual Symposium January 20-22, 1975
Έκδοση: (1975)

Computer architecture Conference Proceedings 4th Annual Symposium March 23-25, 1977
Έκδοση: (1977)

Computer architecture Conference Proceedings 13th Annual International Symposium June 2-5, 1986, Tokyo, Japan
Έκδοση: (1986)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Computer architecture Conference Proceedings 15th Annual International Symposium May 30 - June 2, 1988, Honolulu, Hawaii
Έκδοση: (1988)

Computer architecture Conference Proceedings 3rd Annual Symposium January 19-21, 1976
Έκδοση: (1976)

System Theory (1987) Proceedings of the 19th Southeastern Symposium Clemson Univeristy, Clemson, South Carolina March 15-17, 1987
Έκδοση: (1987)

Computer architecture Conference Proceedings 5th Annual Symposium April 3-5, 1978 Vol.6, No.7, April 1978
Έκδοση: (1978)

Real-Time Systems (1987) Proceedings Symposium December 1-3, 1987, San Jose, California
Έκδοση: (1987)

Computer architecture Conference Proceedings 11th Annual International Symposium June 5-7, 1984, Ann Arbor, Michigan Vol.12, No.3, June 1984
Έκδοση: (1984)

Reliable Software (1975) Proceedings International Conference 21-23 April 1975, Los Angeles, California
Έκδοση: (1975)

Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987)

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