Suggested Topics within your search.
Showing 1 - 20 results of 81 for search '', query time: 0.09s Refine Results
1
Timeshift : the world in twenty-five years /
Published 2004
Conference Proceeding Book
2
Proof technology and computation /
Published 2006
Conference Proceeding Book
3
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 /
Published 1976
Conference Proceeding Book
5
Symsac '76 : proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation, August 10-12, 1976, Yorktown Heights, New York /
Published 1976
Conference Proceeding Book
7
How to make computers easier to use : digest of papers /
Published 1975
Conference Proceeding Book
9
MSAC2 76 : IEEE Milwaukee Symposium on Automatic Computation and Control, April 22, 23, 24, 1976, Milwaukee, Wisconsin : [proceedings].
Published 1976
Conference Proceeding Book
10
ACM '75 : proceedings of the annual conference : Minneapolis, Minn., Oct. 20-22, 1975 /
Published 1975
Book
11
19th annual symposium on foundations of computer science, October 16-18, 1978, Ann Arbor, Michigan : [papers] /
Published 1978
Conference Proceeding Book
12
Software engineering : an advanced course /
Published 1975
Conference Proceeding Book
13
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published 1981
Conference Proceeding Book
15
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings /
Published 1991
Conference Proceeding Book
16
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
Published 1989
Conference Proceeding Book
17
Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings /
Published 1990
Conference Proceeding Book
18
Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing : Washington, D.C., April 30-May 2, 1984 /
Published 1984
Conference Proceeding Book
19
Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, Berkeley, California, May 28-30, 1986 /
Published 1986
Conference Proceeding Book
20
Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings] /
Published 1984
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search