Title: Probability and Statistics with Reliability, Queuing, and Computer Science Applications / Edition 2, Author: Kishor S. Trivedi
Title: Practical Methods of Optimization / Edition 2, Author: R. Fletcher
Title: Dealing with Complexity: A Neural Networks Approach, Author: Mirek Karny
Title: Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proc / Edition 1, Author: Renate Schmidt
Title: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings / Edition 1, Author: Thomas F. Melham
Title: Proof in VDM: Case Studies, Author: Juan C. Bicarregui
Title: Introduction to Geometric Computing / Edition 1, Author: Sherif Ghali
Title: Algebraic Automata Theory, Author: M. Holcombe
Title: Optimization, Dynamics, and Economic Analysis: Essays in Honor of Gustav Feichtinger, Author: Engelbert J. Dockner
Title: Numerical Operations with Polynomial Matrices: Application to Multi-Variable Dynamic Compensator Design, Author: Peter Stefanidis
Title: Linear Algebra: A Course for Physicists and Engineers / Edition 1, Author: Arak M. Mathai
Title: Linear Analysis and Representation Theory, Author: Steven A. Gaal
Title: Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / Edition 1, Author: Yuri Gurevich
Title: Mathematica as a Tool: An introduction with practical examples, Author: Stephan Kaufmann
Title: Cellular Automata and Discrete Complex Systems: 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings, Author: Matthew Cook
Title: Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Edition 1, Author: Jacques Calmet
Title: Symmetry, Representations, and Invariants / Edition 1, Author: Roe Goodman
Title: Multi-Objective Optimization Using Evolutionary Algorithms / Edition 1, Author: Kalyanmoy Deb
Title: Representation Theory: A First Course / Edition 1, Author: William Fulton
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin

Pagination Links