-
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Computer logic;Mathematical logic;Logic design;Computer programming;Software engineering;Computers;Logics and Meanings of Programs;Mathematical Logic and Foundations;Programming Techniques;Software Engineering/Programming and Operating Systems;Models and Principles
Poernomo, Iman;Crossley, John N;Wirsing, Martin - Imprint: Springer 2005 1st ed. 2005.
-
Tensor numerical methods in quantum chemistry
Calculus of tensors;Quantum chemistry;Tensor algebra
Khoromskaia, Venera;Khoromskij, Boris - De Gruyter 2018
-
Data quality and record linkage techniques
Electronic data processing;sähkökirjat
Herzog, Thomas N;Scheuren, Fritz;Winkler, William E - Springer 2007
-
Duality and approximation methods for cooperative optimization and control
Duality theory (Mathematics)
Burger, Mathias - Logos Verlag Berlin 2014
-
Stochastic multiplayer games : theory and algorithms
Computer algorithms;e-böcker
Ummels, Michael - Amsterdam University Press 2010
-
Computability in context : computation and logic in the real world
Computable functions;Computational intelligence;Mathematics;Set theory;e-böcker
Cooper, S. B;Sorbi, Andrea - World Scientific Pub. Co. 2011
-
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.
-
Grassmannian variety : geometric and representation-theoretic aspects, The
Geometry;Representations of groups;sähkökirjat
Lakshmibai, V;Brown, Justin - Springer 2015
-
Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings
Computer science;Logic design;Algebra;Artificial intelligence;Programming Languages, Compilers, Interpreters;Logics and Meanings of Programs;Mathematical Logic and Formal Languages;Symbolic and Algebraic Manipulation
Kirchner, Claude - Imprint: Springer 1993 1st ed. 1993.
-
Discrete systems with memory
Cellular automata;Discrete-time systems;Dynamics;e-böcker
Alonso-Sanz, Ramon - World Scientific 2011
-
Foundations of genetic algorithms 6
Genetic algorithms;kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Martin, W. N;Spears, William M - Morgan Kaufmann 2001
-
Cafe : an industrial-strength algebraic formal method
Algebraic logic;Formal methods (Computer science);kokousjulkaisut;e-böcker;konferenspublikationer;Conference proceedings
Futatsugi, Kokichi;Nakagawa, A. T;Tamai, T - Elsevier 2000 1st ed.
-
Decoherence suppression in quantum systems 2008
Quantum computers;kokousjulkaisut;e-böcker;konferenspublikationer
Nakahara, Mikio;Rahimi, Robabeh;SaiToh, Akira - World Scientific 2010
-
Combinatorial optimization and applications : 15th international conference, COCOA 2021, Tianjin, China, December 17-19, 2021, proceedings
Computer science;Data structures (Computer science)
Du, Dingzhu - Springer 2021
-
Algorithmic aspects in information and management : 15th International Conference, AAIM 2021, Virtual event, December 20-22, 2021, Proceedings
Computer algorithms
Wu, Weili;Du, Hongwei - Springer 2021
-
Discrete optimization
Mathematical optimization;Integer programming
Aardal, K;Nemhauser, George L;Weismantel, Robert - Elsevier 2005 1st ed.
-
Geometric Modeling and Imaging : 4-6 July 2007, Zurich, Switzerland
Geometrical models;Computer-aided design;Computer graphics
- Institute of Electrical and Electronics Engineers 2007
-
Algorithms and Computation : 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings
Computers;Computer programming;Algorithms;Computer science—Mathematics;Computer communication systems;Theory of Computation;Programming Techniques;Algorithm Analysis and Problem Complexity;Discrete Mathematics in Computer Science;Computation by Abstract Devices;Computer Communication Networks
Chwa, Kyung-Yong;Ibarra, Oscar H - Imprint: Springer 1998 1st ed. 1998.
-
Application and Theory of Petri Nets 1998 : 19th International Conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998 Proceedings
Information theory;Computer science;Computer Communication Networks;Software engineering;Operating systems (Computers);Theory of Computation;Processor Architectures;Operating Systems
Desel, Jörg;Silva, Manuel - Imprint: Springer 1998 1st ed. 1998.
-
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
Computational complexity;Nonlinear systems;Self-organizing maps;System theory;e-böcker
Caponetto, R;Fortuna, L;Frasca, Mattia - World Scientific 2008