-
Foundations of Data Organization and Algorithms : 3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989. Proceedings
Data structures (Computer scienc;Computer science;Database management;Information storage and retrieval systems;Computer software;Data Structures and Information Theory;Computer Applications;Information Storage and Retrieval;Information Systems Applications (incl. Internet);Algorithm Analysis and Problem Complexity
Litwin, Witold;Schek, Hans-Jörg - Imprint: Springer 1989 1st ed. 1989.
-
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings
Data structures (Computer scienc;Computer science;Database management;Combinatorics;Data Structures and Information Theory;Computer Applications;Models and Principles;Mathematical Logic and Formal Languages
Demetrovics, Janos;Thalheim, Bernhard - Imprint: Springer 1989 1st ed. 1989.
-
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987. Proceedings
Data structures (Computer scienc;Coding theory;Algebra;Data Structures and Information Theory;Coding and Information Theory;Symbolic and Algebraic Manipulation
Huguet, Llorenc;Poli, Alain - Imprint: Springer 1989 1st ed. 1989.
-
Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
Logic design;Software engineering;Computer science;Logics and Meanings of Programs;Programming Languages, Compilers, Interpreters
Zwiers, Job - Imprint: Springer 1989 1st ed. 1989.
-
Statistical and Scientific Database Management : Fourth International Working Conference SSDBM, Rome, Italy, June 21-23, 1988. Proceedings
Data structures (Computer scienc;Practice of medicine;Database management;Artificial intelligence;Information technology;Data Structures and Information Theory;Health Administration;Information Systems Applications (incl. Internet);IT in Business
Rafanelli, Maurizio;Klensin, John C;Svensson, Per - Imprint: Springer 1989 1st ed. 1989.
-
Efficient Structures for Geometric Data Management
Computer software;Data structures (Computer scienc;Database management;Artificial intelligence;Computer graphics;Algorithm Analysis and Problem Complexity;Data Structures;Information Systems Applications (incl. Internet)
Günther, Oliver - Imprint: Springer 1988 1st ed. 1988.
-
ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings
Data structures (Computer scienc;Computer science;Database management;Data Structures and Information Theory;Computer Science, general;Models and Principles
Gyssens, Marc;Paredaens, Jan;Van Gucht, Dirk - Imprint: Springer 1988 1st ed. 1988.
-
Proceedings
Computer architecture;Programming languages (Electronic computers);Engineering & Applied Sciences;Computer Science
Katz, Randy - IEEE Computer Society Press 1987
-
Proceedings
Computer graphics;Three-dimensional display systems;Engineering & Applied Sciences;Technology - General
Crow, Frank - Association for Computing Machinery 1987
-
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
Logic, Symbolic and mathematical;Combinatorial analysis
Simpson, Stephen G - American Mathematical Society 1987
-
Lectures on the Complexity of Bilinear Problems
Computer software;Numerical analysis;Algorithm Analysis and Problem Complexity
Groote, Hans F. de - Imprint: Springer 1987 1st ed. 1987.
-
Proceedings of the third annual Symposium on Computational Geometry
Mathematics;Physical Sciences & Mathematics;Geometry
Soule, D - ACM 1987
-
Proceedings of the second annual Symposium on Computational Geometry
Mathematics;Physical Sciences & Mathematics;Geometry
Aggarwal, Alok - ACM 1986
-
ICDT'86 : International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
Data structures (Computer scienc;Computer science;Computer software;Data Structures and Information Theory;Models and Principles;Data Structures;Algorithm Analysis and Problem Complexity
Ausiello, Giorgio;Atzeni, Paolo - Imprint: Springer 1986 1st ed. 1986.
-
Category Theory and Computer Programming : Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Logic design;Computer science;Logics and Meanings of Programs;Programming Techniques
Pitt, David;Abramsky, Samson;Poigne, Axel;Rydeheard, David - Imprint: Springer 1986 1st ed. 1986.
-
Mathematical Foundation of Programming Semantics : International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
Logic design;Logics and Meanings of Programs
Melton, Austin - Imprint: Springer 1986 1st ed. 1986.
-
Concepts in User Interfaces : A Reference Model for Command and Response Languages
Logic design;Operating systems (Computers);Computer system performance;Operating Systems;System Performance and Evaluation
Beech, David;Gram, Christian;Kugler, Hans-Jürgen;Newman, Ian;Stiegler, Helmut;Unger, Claus - Imprint: Springer 1986 1st ed. 1986.
-
Automata, Languages and Programming : 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
Computer logic;Mathematical logic;Computers;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Computation by Abstract Devices
Kott, Laurent - Imprint: Springer 1986 1st ed. 1986.
-
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings
Logic design;Artificial intelligence;Logics and Meanings of Programs
Shapiro, Ehud - Imprint: Springer 1986 1st ed. 1986.
-
Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Logic design;Computer science;Software engineering;Logics and Meanings of Programs;Programming Techniques
Ganzinger, Harald;Jones, Neil - Imprint: Springer 1986 1st ed. 1986.