43 treff

electronic digital computers programming congresses
Programming Symposium : proceedings, Colloque sur la programmation, Paris, April 9-11, 1974
Programming Symposium
Bok Engelsk 1974 · Vis mer
Information systems
Symposium on Computer and Information Sciences
Bok Engelsk 1974 · Vis mer
Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1985 · Vis mer
ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings
European Symposium on Programming
Bok Engelsk 1992 · Vis mer
Colloquium on the foundations of mathematics, mathematical machines, and their applications : Tihany, 11-15 September 1962
Colloquium on the Foundations of Mathematics, MathematicalMachines, and their Applications
Bok Flerspråklig 1965 · Vis mer
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995 · Vis mer
Entity-relationship approach to software engineering : proceedings of the Third International Conference on Entity-Relationship Approach, Anaheim, California, U.S.A., October 5-7, 1983
International Conference on Entity-Relationship Approach
Bok Engelsk 1983 · Vis mer
Empirical studies of programmers : sixth workshop [January 5-7, 1996, Washington, DC, USA]
Workshop on Empirical Studies of Programmers
Bok Engelsk 1996 · Vis mer
Algorithm specification
Courant computer science symposium
Bok Engelsk 1972 · Vis mer
Selected papers of ESOP '90 : the 3rd European Symposium on Programming
European Symposium on Programming
Bok Engelsk 1991 · Vis mer
Empirical studies of programmers : second workshop
Workshop on Empirical Studies of Programmers
Bok Engelsk 1987 · Vis mer
Proceedings
Australian Computer Conference
Bok Engelsk 1967 · Vis mer
Topics in interval analysis
edited by E. Hansen
Bok Engelsk 1969 · Vis mer
Programming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September 1991
IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-Level Scientific Problem Solving
Bok Engelsk 1992 · Vis mer
Program transformation and programming environments : report on a workshop directed by F. L. Bauer and H. Remus
NATO Advanced Research Workshop on Program Transformationand Programming Environments
Bok Engelsk 1984 · Vis mer
Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994
IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi
Bok Engelsk 1994 · Vis mer
Formal description of programming concepts-II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts-II, Garmisch-Partenkirchen, FRG, 1-4 June 1982
IFIP Working Conference on Formal Description of Programming Concepts
Bok Språk ikke angitt 1983 · Vis mer
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
R. S. Bird, C. C. Morgan, J. C. P. Woodco...
Bok Engelsk 1993 · Vis mer
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
CCL '94
Bok Engelsk 1994 · Vis mer
Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983
IFIP WG 10.2 International Conference on Computer HardwareDescription Languages and Their Applications
Bok Språk ikke angitt 1983 · Vis mer
Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods
Bok Engelsk 1990 · Vis mer
Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
D. H. Pitt ... [et al.] (eds.)
Bok Engelsk 1989 · Vis mer
Real time programming 1983 : proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983
IFAC/IFIP Workshop on Real Time Programming
Bok Språk ikke angitt 1983 · Vis mer
Software 72 : proceedings of a conference
Software 72 Conference
Bok Engelsk 1972 · Vis mer
Théorie des algorithmes, des langages et de la programmation : textes des exposés du séminaire
organisé par l'Institut de recherche d'in...
Bok Engelsk 1975 · Vis mer
Static analysis : 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings
International Static Analysis Symposium
Bok Engelsk 1998 · Vis mer
ALGOL 68 implementation : proceedings of the IFIP Working Conference on ALGOL 68 Implementation, Munich, July 20-24, 1970
IFIP Working Conference on ALGOL 68 Implementation
Bok Engelsk 1971 · Vis mer
Formal development of programs and proofs
edited by Edsger W. Dijkstra
Bok Engelsk 1990 · Vis mer
Ada software tools interfaces : workshop, Bath, July 13-15, 1983 : proceedings
edited by Peter J. L. Wallis
Bok Engelsk 1984 · Vis mer
Language hierarchies and interfaces : international summer school
edited by F. L. Bauer and K. Samuelson
Bok Engelsk 1976 · Vis mer