-
Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
Logic design;Software engineering;Logics and Meanings of Programs
Staunstrup, J - Imprint: Springer 1982 1st ed. 1982.
-
Axiomatising the Logic of Computer Programming
Logic design;Logics and Meanings of Programs
Goldblatt, R - Imprint: Springer 1982 1st ed. 1982.
-
Logics of Programs : Workshop, Yorktown Heights, NY, USA
Logic design;Logics and Meanings of Programs
Kozen, D - Imprint: Springer 1982 1st ed. 1982.
-
Verifying Concurrent Processes Using Temporal Logic
Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques
Hailpern, B. T - Imprint: Springer 1982 1st ed. 1982.
-
Microcomputer System Design : An Advanced Course
Logic design
Flynn, M.J;Harris, N.R;McCarthy, D.P - Imprint: Springer 1982 1st ed. 1982.
-
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques
Dezani-Ciancaglini, M;Montanari, U - Imprint: Springer 1982 1st ed. 1982.
-
Logic of Programs : Workshop, ETH Zürich, May-July 1979
Logic design;Logics and Meanings of Programs
Engeler, E - Imprint: Springer 1981 1st ed. 1981.
-
Graph Theory and Algorithms : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings
Computer software;Algorithm Analysis and Problem Complexity
Saito, N;Nishizeki, T - Imprint: Springer 1981 1st ed. 1981.
-
Algebraic Semantics
Logic design;Logics and Meanings of Programs
Guessarian, I - Imprint: Springer 1981 1st ed. 1981.
-
Affine sets and affine groups
Geometry, Algebraic;Linear algebraic groups;Set theory;e-böcker
Northcott, D. G - Cambridge University Press 1980
-
Search games
Search theory;sähkökirjat
Gal, Shmuel - Academic Press 1980
-
Etale Cohomology (PMS-33)
Geometry, Algebraic;Homology theory;Sheaf theory
Milne, James S - Princeton University Press 1980
-
Relational Theory of Computing, A
Computer software;Algorithm Analysis and Problem Complexity
Sanderson, John G - Imprint: Springer 1980 1st ed. 1980.
-
Formale Sprachen : mit Anwendungen auf die Beschreibung natürlicher Sprachen
Formal languages;Machine theory
Klenk, Ursula - Max Niemeyer Verlag 1980
-
Semantics of Concurrent Computation : Proceedings of the International Symposium Evian, France, July 2-4, 1979
Logic design;Software engineering;Logics and Meanings of Programs
Kahn, G - Imprint: Springer 1979 1st ed. 1979.
-
Optimization : a theory of necessary conditions
Mathematical optimization;e-böcker
Neustadt, Lucien W - Princeton University Press 1976
-
Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Information theory;Computer science;Theory of Computation;Computer Science, general
Brakhage, H - Imprint: Springer 1975 1st ed. 1975.
-
Mathematische Einführung in die formale Grammatik
Formal languages
Hugues, Michel;Brandtner, Kurt;Stegentritt, Erwin;Weissenborn, Jürgen - Max Niemeyer Verlag 1975
-
Analytic theory of Abelian varieties
Abelian varieties;Functions, Meromorphic;Riemann surfaces;e-böcker
Swinnerton-Dyer, H. P. F - University Press 1974
-
Values of non-atomic games
Game theory;e-böcker
Aumann, Robert J;Shapley, Lloyd S - Princeton University Press 1974