-
Automatic Verification of Sequential Infinite-State Processes
Logic design;Software engineering;Computer science;Logics and Meanings of Programs;Programming Techniques
Burkart, Olaf - Imprint: Springer 1997 1st ed. 1997.
-
Deductive and Object-Oriented Databases : 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997. Proceedings
Data structures (Computer scienc;Computer science;Database management;Artificial intelligence;Information technology;Data Structures and Information Theory;Programming Techniques;IT in Business
Bry, Francois;Ramakrishnan, Raghu;Ramamohanarao, Kotagiri - Imprint: Springer 1997 1st ed. 1997.
-
Game theory
Game theory;e-böcker
Petrosi︠a︡n, L. A;Zenkevich, N. A - World Scientific 1996
-
Evolutionary algorithms in theory and practice : evolution strategies, evolutionary programming, genetic algorithms
Evolution (Biology);Evolutionary programming (Computer science);Genetic algorithms;Algoritmos genéticos;Biologia;COMPUTERS;Evolução;Evolutionärer Algorithmus;Algoritmen;Evolutie;sähkökirjat
Bäck, Thomas - Oxford University Press 1996
-
Genetic algorithms in molecular modeling
Combinatorial optimization;Evolutionary programming (Computer science);Genetic algorithms;Molecules;QSAR (Biochemistry);Bioquimica;Nucleo (citologia);Quimica farmaceutica;Drug Design;Geneesmiddelen;Genetische algoritmen;Modellen;Molecular design;QSAR;Synthese (chemie);Algorithms;Computer-Aided Design;Models, Molecular;Structure-Activity Relationship;sähkökirjat
Devillers, James - Academic Press 1996
-
Constraint Databases and Applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings
Data structures (Computer scienc;Geographical information systems;Information storage and retrieval systems;Database management;Computer science;Data Structures and Information Theory;Geographical Information Systems/Cartography;Information Storage and Retrieval;Programming Techniques;Programming Languages, Compilers, Interpreters
Kuper, Gabriel;Wallace, Mark - Imprint: Springer 1996 1st ed. 1996.
-
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem
Logic design;Software engineering;Computer network architectures;Computer Communication Networks;Computer science;Logics and Meanings of Programs;Software Engineering/Programming and Operating Systems;Computer System Implementation;Computation by Abstract Devices
Godefroid, Patrice - Imprint: Springer 1996 1st ed. 1996.
-
Advances in linear logic
Logic, Symbolic and mathematical;kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Girard, Jean-Yves;Lafont, Yves;Regnier, Laurent - Cambridge University Press 1995
-
Adjunction Theory of Complex Projective Varieties, The
Adjunction theory;Algebraic varieties;Embeddings (Mathematics);Projective spaces;sähkökirjat
Beltrametti, Mauro C;Sommese, Andrew J - De Gruyter 1995
-
Nonlinear and mixed-integer optimization : fundamentals and applications
Chemical engineering;Integer programming;Mathematical optimization;Nonlinear theories;Chimie industrielle;Engenharia quimica;Optimisation mathématique;Programacao inteira e fluxos em rede;Programacao matematica;SCIENCE;TECHNOLOGY & ENGINEERING;Théories non linéaires;Ganzzahlige Optimierung;Mathematisches Modell;Nichtlineare Optimierung;Reaktionstechnik;Controleleer;Niet-lineaire theorieën;Optimaliseren;sähkökirjat
Floudas, Christodoulos A - Oxford University Press 1995
-
Vectors in 2 or 3 dimensions
Vector algebra;Vector analysis;sähkökirjat
Hirst, A. E - Arnold 1995
-
Proceedings of the twenty-seventh annual ACM Symposium on Theory of Computing
Mathematics;Physical Sciences & Mathematics;Algebra
Leighton, F. Tom - ACM 1995
-
Database and Expert Systems Applications : 6th International Conference, DEXA'95, London, United Kingdom, September 4 - 8, 1995, Proceedings
Data structures (Computer scienc;Artificial intelligence;Database management;Information technology;Information storage and retrieval systems;Data Structures and Information Theory;Information Systems Applications (incl. Internet);IT in Business;Information Storage and Retrieval
Revell, Norman;Tjoa, A Min - Imprint: Springer 1995 1st ed. 1995.
-
Computing and Combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995. Proceedings
Computer software;Computer science;Combinatorics;Computer graphics;Algorithm Analysis and Problem Complexity;Computation by Abstract Devices;Mathematical Logic and Formal Languages
Du, Ding-Zhu;Li, Ming - Imprint: Springer 1995 1st ed. 1995.
-
OOER '95 Object-Oriented and Entity-Relationship Modeling : 14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
Data structures (Computer scienc;Computer science;Database management;Software engineering;Data Structures and Information Theory;Programming Techniques;Information Systems Applications (incl. Internet);Models and Principles
Papazoglou, Michael - Imprint: Springer 1995 1st ed. 1995.
-
Advances in Databases : 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12 - 14, 1995. Proceedings
Data structures (Computer scienc;Database management;Information storage and retrieval systems;Data Structures and Information Theory;Information Storage and Retrieval;Information Systems Applications (incl. Internet)
Goble, Carole;Keane, John - Imprint: Springer 1995 1st ed. 1995.
-
Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
Data structures (Computer scienc;Software engineering;Computer science;Logic design;Data Structures and Information Theory;Programming Languages, Compilers, Interpreters;Logics and Meanings of Programs
Astesiano, Egidio;Reggio, Gianna - Imprint: Springer 1995 1st ed. 1995.
-
Rules in Database Systems : Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995. Proceedings
Data structures (Computer science);Database management;Computer logic;Application software;Data Structures and Information Theory;Logics and Meanings of Programs;Computer Applications
Sellis, Timos - Imprint: Springer 1995 1st ed. 1995.
-
Traveling Salesman : Computational Solutions for TSP Applications, The
Computer graphics;Combinatorics;Algorithms;Information technology;Engineering;Operations research;IT in Business;Complexity;Operations Research/Decision Theory
Reinelt, Gerhard - Imprint: Springer 1994 1st ed. 1994.
-
Singularities : Lille, 1991
Singularities (Mathematics);kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Brasselet, Jean-Paul - Cambridge University Press 1994