Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996

Logic in Computer Science LICS '96 Proceedings of the 11th Annual IEEE Symposium New Brunswick, New Jersey , July 27-30, 1996

Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Los Alamitos California IEEE Computer Society Press c1996
Θέματα:	COMPUTER SCIENCE IEEE Λογική, Συμβολική και μαθηματική PROCEEDINGS ΕΘΕΥ ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ

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

Foundations of Computer Science Proceedings of the 36th Annual Symposium Milwaukee, Wisconsin, October 23-25, 1995
Έκδοση: (1995)

Genetic Programming Proceedings of the 1st Annual Conference Stanford, July 28-31, 1996
Έκδοση: (1996)

Genetic Algorithms Proceedings of the 6th International Conference Pittsburgh, July 15-19, 1995
Έκδοση: (1995)

Compcon spring 87 intellectual leverage Digest of papers 32nd IEEE CS International Conference San Francisco, California, February 23-27
Έκδοση: (1987)

Compcon spring 85 technological leverage: A competitive necessity Digest of papers 30th IEEE CS International Conference San Francisco, California, February 25-28
Έκδοση: (1985)

Artificial Neural Nets and Genetic Algorithms Proceedings of the International Conference Ales, France, 1995
Έκδοση: (1995)

Compcon spring 83 intellectual leverage for the information society Digest of papers of the 26th IEEE computer society International Conference, San Francisco, California February 28 - March 3, 1983
Έκδοση: (1983)

Compcon Spring 76 Computers the next 5 years evolution or revolution Digest of Papers 12th IEEE computer society international conference, San Francisco, California, February 24-26, Spring 1976
Έκδοση: (1976)

Database Theory ICDT '95 Proceedings of the 5th International Conference Prague, Gzech Republic, January 11-13, 1995
Έκδοση: (1995)

Compcon spring 84 intellectual leverage the driving technologies Digest of papers 28th IEEE CS International Conference San Francisco, California, February 27 - March 1
Έκδοση: (1984)

Compcon spring 86 intellectual leverage Digest of papers 31st IEEE CS International Conference San Francisco, California, March 3-6
Έκδοση: (1986)

Principles of database systems PODS 1996 Proceedings of the 15th ACM SIGACT-SIGMOD-SIGART Symposium Montreal, Canada, June 3-5, 1996
Έκδοση: (1996)

Foundations of computer science 27th Annual Symposium Toronto, Ontario, Canada, October 27-29, 1986
Έκδοση: (1986)

Foundations of computer science 23rd Annual Symposium Chicago, Illinois, November 3-5, 1982
Έκδοση: (1982)

Foundations of computer science 24th Annual Symposium Tucson, Arizona, November 7-9, 1983
Έκδοση: (1983)

Foundations of computer science 28th Annual Symposium Los Angeles, California, October 12-14, 1987
Έκδοση: (1987)

Foundations of computer science 32nd Annual symposium San Juan, Puerto Rico, Octomber 1-4, 1991
Έκδοση: (1991)

Multiple-Valued Logic (1974) Proceedings of the 1974 International Symposium Morgantown, West Virginia, May 29-31, 1974

Foundations of computer science 25th Annual Symposium October 24-26, 1984 Formerly called the Annual Symposium on Switchine and Automata Theory
Έκδοση: (1984)

Visualization '96 Proceedings of the [7th Annual IEEE Conference] San Francisco, California, October 27-November 1, 1996
Έκδοση: (1996)

Proceedings 1976 Annual Reliability and Maintainability Symposium Las Vegas, Nevada USA 20-22 January 1976
Έκδοση: (1976)

Proceedings 1977 Annual Reliability and Maintainability Symposium Philadelphia, Pennsylvania 1977 January 18-20
Έκδοση: (1977)

Petri nets and performance models International workshop. Madison, Wisconsin August 24-26, 1987
Έκδοση: (1987)

Compcon 73 Computing Networks from Minis through Maxis - Are They for Real? Digest of Papers 7th Annual IEEE Computer Society International Conference, San Francisco, California February 27-28, March 1, 1973
Έκδοση: (1973)

New frontiers in testing International test conference proceedings 1988 Washington,DC september 12,13,14 1988
Έκδοση: (1988)

Foundations of computer science 26th Annual symposium October 21-23, 1985 Formerly called the Annual Symposium on Switching and Automata Theory
Έκδοση: (1985)

Compcon Fall 74 micros and minis Application and Design Digest of Papers 9th Annual IEEE Computer Society International Conference, Washington, D.C. September 12-12 Fall 1974
Έκδοση: (1974)

International Test Conference Proceedings, 1995
Έκδοση: (1995)

Design automation conference 38th Conference Proceedings, Las Vegas, NV, June 18-22, 2001
Έκδοση: (2001)

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

Testings impact on design and technology International test conference proceedings 1986 Washington DC, september 8,9,10,11,1986
Έκδοση: (1986)

Integration of test with design and manufacturing International test conference proceedings 1987 Washington DC, september 1,2,3 1987
Έκδοση: (1987)

Meeting the Tests of Time Proceedings of the International Test Conference 1989 August 29-31,1989, Washington, D.C.
Έκδοση: (1989)

The changing philosophy of test International test conference proceedings 1990 Washington, DC, September 10-14, 1990
Έκδοση: (1990)

Software engineering Proceedings of the 9th International Conference Monterey, California, March 30 - April 2, 1987
Έκδοση: (1987)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Workshop on software testing Proceedings. Banff, Canada 15-17 July 1986
Έκδοση: (1986)

Computer architecture The 16th Annual International Symposium May 28 - June 1, 1989, Jerusalem, Israel
Έκδοση: (1989)

Software engineering Proceedings of the 4th International Conference Munich, Germany, September 17-19, 1979
Έκδοση: (1979)

Fault Tolerant Computing Proceedings of the Twenty - sixth international symposium, June 25-27, 1996, Sendai, Japan
Έκδοση: (1996)

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

Cannot write session to /tmp/vufind_sessions/sess_dr23iibqhdn2rckintpptd3sdf