-
Computation and automata
Computable functions;Computational complexity;Sequential machine theory;e-böcker
Salomaa, Arto - Cambridge University Press 1985
-
Trace Theory and VLSI Design
Logic design;Electronics;Electronics and Microelectronics, Instrumentation
Snepscheut, Jan L.A. van de - Imprint: Springer 1985 1st ed. 1985.
-
Time Series Package (TSPACK)
Algorithms;Distribution (Probability theory;Statistics;Economic theory;Operations research;Probability Theory and Stochastic Processes;Statistics, general;Economic Theory/Quantitative Economics/Mathematical Methods;Operations Research/Decision Theory
Chaghaghi, F.S - Imprint: Springer 1985 1st ed. 1985.
-
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
Algorithms;Mathematical logic;Computers;Algorithm Analysis and Problem Complexity;Mathematical Logic and Formal Languages;Computation by Abstract Devices;Models and Principles
Mehlhorn, K - Imprint: Springer 1985 1st ed. 1985.
-
Isolated singular points on complete intersections
Geometry, Algebraic;Singularities (Mathematics);e-böcker
Looijenga, E - Cambridge University Press 1984
-
How to Multiply Matrices Faster
Computer software;Numerical analysis;Algorithm Analysis and Problem Complexity
Pan, V - Imprint: Springer 1984 1st ed. 1984.
-
STACS 84 : Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984
Computer software;Computer science;Logic design;Algorithm Analysis and Problem Complexity;Mathematical Logic and Formal Languages;Logics and Meanings of Programs
Fontet, M;Mehlhorn, K - Imprint: Springer 1984 1st ed. 1984.
-
Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Logic design;Computer science;Logics and Meanings of Programs;Mathematical Logic and Formal Languages
Clarke, E;Kozen, D - Imprint: Springer 1984 1st ed. 1984.
-
CAAP '83 : Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings
Logic design;Logics and Meanings of Programs
Ausiello, G;Protasi, M - Imprint: Springer 1983 1st ed. 1983.
-
Graph-Grammars and Their Application to Computer Science : 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982
Computer software;Algorithm Analysis and Problem Complexity
Ehrig, H;Nagl, M;Rozenberg, G - Imprint: Springer 1983 1st ed. 1983.
-
Logics of Programs and Their Applications : Proceedings, Poznan, August 23-29, 1980
Logic design;Logics and Meanings of Programs
Salwicki, A - Imprint: Springer 1983 1st ed. 1983.
-
Automata, Languages and Programming : Ninth Colloquium Aarhus, Denmark, July 12–16, 1982
Computer software;Computer science;Algorithm Analysis and Problem Complexity;Mathematical Logic and Formal Languages
Nielsen, M;Schmidt, E. M - Imprint: Springer 1982 1st ed. 1982.
-
Problems and Methodologies in Mathematical Software Production : International Seminar, Held at Sorrento, Italy, November 3-8, 1980
Algorithms
Messina, P.C;Murli, A - Imprint: Springer 1982 1st ed. 1982.
-
Introduction to the PL/CV2 Programming Logic, An
Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques
Constable, R. L;Johnson, S. D;Eichenlaub, C. D - Imprint: Springer 1982 1st ed. 1982.
-
Group-Theoretic Algorithms and Graph Isomorphism
Computer software;Algorithm Analysis and Problem Complexity
Hoffmann, C. M - Imprint: Springer 1982 1st ed. 1982.
-
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.