Search ResultsElectronic Resources
Limit Search Results
Author
Gabbay, Dov M., 1945-
(3)
Academia Republicii Socialiste România.
(1)
Al-Mualla, Mohammed Ebrahim.
(1)
Benthem, Johan van, 1949-
(1)
Blackburn, Patrick, 1959-
(1)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(33)
Computational complexity.
(9)
Conference papers and proceedings.
(7)
Computational complexity -- Congresses.
(5)
Logic, Symbolic and mathematical.
(4)
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000000000000000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Analytic computational complexity
      1. 
      Analytic computational complexity
      by 
      Symposium on Analytic Computational Complexity (1975 : Carnegie Mellon University)
      ScienceDirect http://www.sciencedirect.com/science/book/9780126975604
      Format: 
      Excerpt: 
      Analytic computational complexity / Symposium on Analytic Computational Complexity (1975 : Carnegie
      Cover image for Theories of computational complexity
      2. 
      Cover image for Computational complexity : a quantitative perspective
      3. 
      Cover image for Computational error and complexity in science and engineering
      4. 
      Computational error and complexity in science and engineering
      by 
      Lakshmikantham, V., 1926-2012.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444518606
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=00765392&volume=201
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00765392/201
      Format: 
      Excerpt: 
      Computational error and complexity in science and engineering / Lakshmikantham, V., 1926-2012.
      Cover image for Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      5. 
      Cover image for Discrete algorithms and complexity : proceedings of the Japan-US Joint Seminar, June 4-6, 1986, Kyoto, Japan
      6. 
      Cover image for Fourth Czechoslovakian Symposium on Combinatorics, Graphs, and Complexity
      7. 
      Fourth Czechoslovakian Symposium on Combinatorics, Graphs, and Complexity
      by 
      Czechoslovakian Symposium on Combinatorics, Graphs and Complexity (4th : 1990 : Prachatice, Czechoslovakia)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444895431
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=01675060&volume=51
      ScienceDirect https://www.sciencedirect.com/science/bookseries/01675060/51
      Format: 
      Excerpt: 
      Computational complexity -- Congresses.
      Cover image for Computability, complexity, logic
      8. 
      Cover image for Computability, complexity, and languages : fundamentals of theoretical computer science
      9. 
      Cover image for Complex systems : lecture notes of the Les Houches Summer School 2006.
      10. 
      Complex systems : lecture notes of the Les Houches Summer School 2006.
      by 
      Ecole d'été de physique théorique (Les Houches, Haute-Savoie, France) (85th : 2006)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444530066
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=09248099&volume=85
      Format: 
      Excerpt: 
      Computational complexity -- Congresses.
      Cover image for Discrete optimization
      11. 
      Discrete optimization
      by 
      Parker, R. Gary.
      ScienceDirect http://www.sciencedirect.com/science/book/9780125450751
      Format: 
      Excerpt: 
      chapter on computational complexity, the basic algorithmic results for the two major models of polynomial
      Cover image for Algorithms in combinatorial design theory
      12. 
      Algorithms in combinatorial design theory
      by 
      Colbourn, C. J. (Charles J.), 1953-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444878021
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=114
      Format: 
      Excerpt: 
      heuristic methods used in practice, and the computational complexity of these operations. The scope within
      Cover image for Trees and hills : methodology for maximizing functions of systems of linear relations
      13. 
      Trees and hills : methodology for maximizing functions of systems of linear relations
      by 
      Greer, Rick, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875785
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=96
      Format: 
      Excerpt: 
      Constraints; Chapter 6. The Computational Complexity Of The Tree Algorithm.
      Cover image for Systems biomedicine : concepts and perspectives
      14. 
      Systems biomedicine : concepts and perspectives
      by 
      Liu, Edison T.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123725509
      Format: 
      Excerpt: 
      quantifies and annotates the complexity of biological systems in order to construct algorithmic models to
      Cover image for A mathematical introduction to logic
      15. 
      A mathematical introduction to logic
      by 
      Enderton, Herbert B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
      Format: 
      Excerpt: 
      mathematical reasoning. Material is presented on computer science issues such as computational complexity and
      Cover image for Embedded media processing
      16. 
      Embedded media processing
      by 
      Katz, David J.
      ScienceDirect http://www.sciencedirect.com/science/book/9780750679121
      Format: 
      Excerpt: 
      -trade-offs in portable applications between power considerations and computational performance. * Divide
      Cover image for Advances in Computers : Computational Biology and Bioinformatics.
      17. 
      Advances in Computers : Computational Biology and Bioinformatics.
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121687
      Format: 
      Excerpt: 
      ) -- Chapter 4. Computational Grand Challenges in Assembling the Tree of Life: Problems and Solutions (David A
      Cover image for Kinetics of multistep reactions
      18. 
      Kinetics of multistep reactions
      by 
      Helfferich, Friedrich G., 1922-2005.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444516534
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00698040/40
      Format: 
      Excerpt: 
      sacrifice in accuracy: fewer equations (lesser computational load), fewer coefficients (fewer experiment to
      Cover image for Video coding for mobile communications : efficiency, complexity, and resilience
      19. 
      Video coding for mobile communications : efficiency, complexity, and resilience
      by 
      Al-Mualla, Mohammed Ebrahim.
      ScienceDirect http://www.sciencedirect.com/science/book/9780120530793
      Format: 
      Excerpt: 
      Estimation Techniques -- 6. Multiple-Reference Motion Estimation Techniques -- Part III: Computational
      Cover image for Foundations of perceptual theory
      20. 
      Foundations of perceptual theory
      by 
      Masin, Sergio Cesare.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444894960
      ScienceDirect https://www.sciencedirect.com/science/bookseries/01664115/99
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=01664115&volume=99
      Format: 
      Excerpt: 
      Chapter 9. The role of computational complexity in perceptual theoryChapter 10. On the need for a
      Cover image for Iterative methods for large linear systems
      21. 
      Iterative methods for large linear systems
      by 
      Kincaid, David (David Ronald)
      ScienceDirect https://www.sciencedirect.com/science/book/9780124074750
      Format: 
      Excerpt: 
      Problems; 6Symmetry; 7 Extended Network Analogy; 8 Orders of Accuracy; 9 Choice of Mesh; 10 Computational
      Cover image for Logic-based decision support : mixed integer model formulation
      22. 
      Cover image for Theories of probability : an examination of foundations
      23. 
      Theories of probability : an examination of foundations
      by 
      Fine, Terrence L.
      ScienceDirect https://www.sciencedirect.com/science/book/9780122564505
      Format: 
      Excerpt: 
      ; References; Chapter V. Computational Complexity, Random Sequences, and Probability; VA. Introduction; VB
      Cover image for Introduction to biomedical engineering
      24. 
      Introduction to biomedical engineering
      by 
      Enderle, John D. (John Denis)
      ScienceDirect http://www.sciencedirect.com/science/book/9780123749796
      Format: 
      Excerpt: 
      Bioinformatics, and Computational Cell Biology and Complexity.
      Cover image for Multiscale modeling of developmental systems
      25. 
      Multiscale modeling of developmental systems
      by 
      Schnell, Santiago, editor.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123742537
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00702153/81
      Format: 
      Excerpt: 
      theoretical techniques available. Developmental biology, due to its complexity, has lagged somewhat behind its
      Cover image for Handbook of modal logic
      26. 
      Handbook of modal logic
      by 
      Blackburn, Patrick, 1959-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=15702464&volume=3
      Format: 
      Excerpt: 
      . Fitting) -- Complexity of Modal Logic (M. Marx) -- Computational Modal Logic (I. Horrocks, U. Hustadt, U
      Cover image for Handbook of temporal reasoning in artificial intelligence
      27. 
      Handbook of temporal reasoning in artificial intelligence
      by 
      Fisher, Michael, 1962-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=15746526&volume=1
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=15746526&volume=1
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/1
      Format: 
      Excerpt: 
      -- Computational complexity of temporal constraint problems / Thomas Drakengren and Peter Jonsson -- Indefinite
      Cover image for Infinite words : automata, semigroups, logic and games
      28. 
      Infinite words : automata, semigroups, logic and games
      by 
      Perrin, Dominique.
      ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=00798169&volume=141
      ScienceDirect http://www.sciencedirect.com/science/bookseries/00798169/141
      Format: 
      Excerpt: 
      's theorem -- 10. Computational complexity issues -- 11. Exercises -- 12. Notes -- Chapter II. AUTOMATA AND
      Cover image for Agenda relevance : a study in formal pragmatics
      29. 
      Agenda relevance : a study in formal pragmatics
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444513854
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745075&volume=1
      ScienceDirect http://www.sciencedirect.com/science/bookseries/18745075/1
      Format: 
      Excerpt: 
      , boundless time and unconstrained access to computational complexity. The practical reasoner is therefore
      Cover image for Neurobionics : an interdisciplinary approach to substitute impaired functions of the human nervous system
      30. 
      Neurobionics : an interdisciplinary approach to substitute impaired functions of the human nervous system
      by 
      Bothe, Hans-Werner.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444899583
      Format: 
      Excerpt: 
      . Mainzer -- Cellular automata, a simple approach to complexity / A.W.M. Dress -- Hamiltonian dynamics of
      Cover image for Handbook of constraint programming
      31. 
      Handbook of constraint programming
      by 
      Rossi, Francesca, 1962-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444527264
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/2
      Format: 
      Excerpt: 
      constraints, tractability and computational complexity, and important issues in modeling a problem as a
      Cover image for Many-dimensional modal logics : theory and applications
      32. 
      Many-dimensional modal logics : theory and applications
      by 
      Gabbay, Dov M., 1945-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444508263
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=148
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/148
      Format: 
      Excerpt: 
      three major problems: decidability, axiomatizability, and computational complexity. Besides the standard
      Cover image for Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      33. 
      Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
      by 
      International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
      Format: 
      Excerpt: 
      ; Chapter 16 Formalization of Some Notions in Terms of Computational Complexity