Catalog

Search Results

Catalog Search

[ 2 filters applied ]
[ Refine My Original Search ]

Additional search filters and navigation

Another Search
Advanced Search
Search Results Results 91 - 100 of 292 (page 10 of 30) ◄ Previous 6 7 8 9 10 11 12 13 Next ►

Search Results facets

More

Personal Author

Gabbay, Dov M.
(5)
Fiadeiro, José Luiz
(4)
Gerdt, Vladimir P.
(4)
Andreescu, Titu
(3)
Dalen, Dirk
(3)
Fewer

Topic Subject

Logic, Symbolic and mathematical
(209)
Mathematical Logic and Foundations
(209)
Computer science
(175)
Mathematical Logic and Formal Languages
(148)
Computer Science
(140)
Algebra
(128)
Mathematics
(116)
Data processing
(98)
Symbolic and Algebraic Manipulation
(98)
Logic design
(81)
Logics and Meanings of Programs
(81)
Artificial Intelligence (incl. Robotics)
(67)
Artificial intelligence
(67)
Logic
(49)
Computational complexity
(45)
Discrete Mathematics in Computer Science
(45)
Philosophy
(42)
Software engineering
(37)
Computer software
(36)
Philosophy (General)
(35)
Algorithm Analysis and Problem Complexity
(34)
Software Engineering
(33)
Information theory
(30)
Theory of Computation
(30)
Computation by Abstract Devices
(26)
Mathematics of Computing
(24)
Science
(23)
Programming Languages, Compilers, Interpreters
(21)
Combinatorics
(20)
Number Theory
(19)
Number theory
(19)
Philosophy of Science
(18)
Mathematics, general
(17)
Electronic data processing
(16)
History of Mathematical Sciences
(13)
Arithmetic and Logic Structures
(12)
Numeric Computing
(12)
Game Theory, Economics, Social and Behav. Sciences
(11)
Applications of Mathematics
(10)
Distribution (Probability theory)
(10)
History of Mathematics
(10)
Mathematics_$xHistory
(10)
Order, Lattices, Ordered Algebraic Structures
(10)
Probability Theory and Stochastic Processes
(10)
Algebraic Geometry
(9)
Epistemology
(9)
Genetic epistemology
(9)
Geometry, algebraic
(9)
Topology
(9)
Analysis
(8)
Global analysis (Mathematics)
(8)
Algorithms
(7)
Geometry
(7)
Computer Graphics
(6)
Computer graphics
(6)
History of Philosophy
(6)
Math Applications in Computer Science
(6)
Models and Principles
(6)
Category Theory, Homological Algebra
(5)
Engineering
(5)
Functional Analysis
(5)
Functional analysis
(5)
Information Storage and Retrieval
(5)
Information storage and retrieval systems
(5)
Information systems
(5)
Operating Systems
(5)
Operating systems (Computers)
(5)
Popular Science in Mathematics/Computer Science/Natural Science/Technology
(5)
Programming Techniques
(5)
Coding and Information Theory
(4)
Coding theory
(4)
Computing Methodologies
(4)
Data structures (Computer science)
(4)
History
(4)
History of Science
(4)
Mathematics Education
(4)
Metaphysics
(4)
Ontology
(4)
Probability and Statistics in Computer Science
(4)
Bioinformatics
(3)
Computational Biology/Bioinformatics
(3)
Computational Intelligence
(3)
Computational Linguistics
(3)
Computational Mathematics and Numerical Analysis
(3)
Computational linguistics
(3)
Computer Science, general
(3)
Data Structures
(3)
Economics
(3)
Economics/Management Science
(3)
General Algebraic Systems
(3)
History of Computing
(3)
Information Systems Applications (incl.Internet)
(3)
Linguistics
(3)
Philosophy of Language
(3)
Quantum Physics
(3)
Quantum theory
(3)
Semantics
(3)
Software Engineering/Programming and Operating Systems
(3)
Visualization
(3)
Appl.Mathematics/Computational Methods of Engineering
(2)
Computational Science and Engineering
(2)
Computer Appl. in Arts and Humanities
(2)
Computer Imaging, Vision, Pattern Recognition and Graphics
(2)
Computer vision
(2)
Data Encryption
(2)
Data Mining and Knowledge Discovery
(2)
Data encryption (Computer science)
(2)
Data mining
(2)
Database Management
(2)
Database management
(2)
Discrete Mathematics
(2)
Document Preparation and Text Processing
(2)
Education
(2)
Engineering mathematics
(2)
Field Theory and Polynomials
(2)
Field theory (Physics)
(2)
Grammar
(2)
Grammar, Comparative and general
(2)
Language Translation and Linguistics
(2)
Linear and Multilinear Algebras, Matrix Theory
(2)
Mathematical Software
(2)
Mathematical physics
(2)
Mathematical statistics
(2)
Matrix theory
(2)
Measure and Integration
(2)
Operator Theory
(2)
Operator theory
(2)
Phenomenology
(2)
Physics
(2)
Real Functions
(2)
Science (General)
(2)
Sequences (Mathematics)
(2)
Sequences, Series, Summability
(2)
Statistical Theory and Methods
(2)
Systems Theory, Control
(2)
Systems theory
(2)
Text processing (Computer science
(2)
Translators (Computer programs)
(2)
Aesthetics
(1)
Algebraic Topology
(1)
Algebraic topology
(1)
Approximations and Expansions
(1)
Astronomy
(1)
Astronomy, Astrophysics and Cosmology
(1)
Circuits and Systems
(1)
Commutative Rings and Algebras
(1)
Computer simulation
(1)
Computers and Education
(1)
Convex and Discrete Geometry
(1)
Data Structures, Cryptology and Information Theory
(1)
Data protection
(1)
Differentiable dynamical systems
(1)
Differential equations, partial
(1)
Discrete groups
(1)
Dynamical Systems and Ergodic Theory
(1)
Econometrics
(1)
Economic Theory
(1)
Economics, Mathematical
(1)
Economics/Management Science, general
(1)
Engineering geology
(1)
Environmental Management
(1)
Environmental management
(1)
Evolution (Biology)
(1)
Evolutionary Biology
(1)
Finance
(1)
Fourier Analysis
(1)
Fourier analysis
(1)
Game Theory/Mathematical Methods
(1)
Geosciences
(1)
Geosciences, general
(1)
Geotechnical Engineering
(1)
Graph Theory
(1)
Group Theory and Generalizations
(1)
Group theory
(1)
Humanities
(1)
Humanities / Arts
(1)
Humanities, general
(1)
Hydraulic engineering
(1)
Hydrogeology
(1)
Industrial and Production Engineering
(1)
Industrial engineering
(1)
K-Theory
(1)
K-theory
(1)
Learning & Instruction
(1)
Library Science
(1)
Library science
(1)
Logic Design
(1)
Mathematical Methods in Physics
(1)
Mathematical Modeling and Industrial Mathematics
(1)
Mathematical Physics
(1)
Mathematical and Computational Physics
(1)
Mathematical optimization
(1)
Mathematics of Algorithmic Complexity
(1)
Music
(1)
Non-Western Philosophy
(1)
Numerical Analysis
(1)
Numerical analysis
(1)
Numerical and Computational Physics
(1)
Operations Research, Mathematical Programming
(1)
Operations Research/Decision Theory
(1)
Operations research
(1)
Optimization
(1)
Partial Differential Equations
(1)
Philosophy of Education
(1)
Philosophy of Nature
(1)
Philosophy of nature
(1)
Philosophy, modern
(1)
Physics, general
(1)
Popular Science
(1)
Popular Science, general
(1)
Quantitative Finance
(1)
Quantum Information Technology, Spintronics
(1)
Robotics and Automation
(1)
Science Education
(1)
Simulation and Modeling
(1)
Special Purpose and Application-Based Systems
(1)
Statistics
(1)
Statistics, general
(1)
Study and teaching
(1)
Systems and Data Security
(1)
Systems engineering
(1)
Theoretical Languages
(1)
Topological Groups
(1)
Topological Groups, Lie Groups
(1)
Fewer

Series Title

Undergraduate Texts in Mathematics
(9)
Universitext
(7)
Springer Monographs in Mathematics
(6)
Studies in Universal Logic
(6)
Cognitive Technologies
(5)
Monographs in Theoretical Computer Science. An EATCS Series
(3)
Convergenze
(2)
Undergraduate Topics in Computer Science
(2)
A Series of Modern Surveys in Mathematics ; 11
(1)
Algorithms and Combinatorics, 28
(1)
Applied Logic Series, 29
(1)
Applied Logic Series, 35
(1)
Applied Logic Series, 36
(1)
Applied Logic Series, 37
(1)
Applied Optimization, 93
(1)
Bolyai Society Mathematical Studies, 15
(1)
C.I.M.E. Summer Schools ; 19
(1)
C.I.M.E. Summer Schools ; 48
(1)
C.I.M.E. Summer Schools ; 69
(1)
C.I.M.E. Summer Schools ; 79
(1)
CISM International Centre for Mechanical Sciences, Courses and Lectures ; 482
(1)
Developments in Mathematics, 33
(1)
Encyclopaedia of Mathematical Sciences, 49
(1)
Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 11
(1)
Fields Institute Communications, 62
(1)
Graduate Texts in Mathematics, 53
(1)
I blu
(1)
I blu, pagine di scienza
(1)
IFSR International Series on Systems Science and Engineering, 25
(1)
IFSR International Series on Systems Science and Engineering, 26
(1)
International Mathematical Series, 4
(1)
International Mathematical Series, 5
(1)
International Series in Operations Research & Management Science, 130
(1)
Lecture Notes in Computer Science, 2605
(1)
Lecture Notes in Computer Science, 3423
(1)
Lecture Notes in Computer Science, 3467
(1)
Lecture Notes in Computer Science, 3478
(1)
Lecture Notes in Computer Science, 3542
(1)
Lecture Notes in Computer Science, 3569
(1)
Lecture Notes in Computer Science, 3629
(1)
Lecture Notes in Computer Science, 3634
(1)
Lecture Notes in Computer Science, 3838
(1)
Lecture Notes in Computer Science, 3839
(1)
Lecture Notes in Computer Science, 3929
(1)
Lecture Notes in Computer Science, 4019
(1)
Lecture Notes in Computer Science, 4036
(1)
Lecture Notes in Computer Science, 4098
(1)
Lecture Notes in Computer Science, 4120
(1)
Lecture Notes in Computer Science, 4121
(1)
Lecture Notes in Computer Science, 4136
(1)
Lecture Notes in Computer Science, 4180
(1)
Lecture Notes in Computer Science, 4207
(1)
Lecture Notes in Computer Science, 4342
(1)
Lecture Notes in Computer Science, 4409
(1)
Lecture Notes in Computer Science, 4501
(1)
Lecture Notes in Computer Science, 4502
(1)
Lecture Notes in Computer Science, 4514
(1)
Lecture Notes in Computer Science, 4533
(1)
Lecture Notes in Computer Science, 4545
(1)
Lecture Notes in Computer Science, 4588
(1)
Lecture Notes in Computer Science, 4624
(1)
Lecture Notes in Computer Science, 4646
(1)
Lecture Notes in Computer Science, 4728
(1)
Lecture Notes in Computer Science, 4941
(1)
Lecture Notes in Computer Science, 4988
(1)
Lecture Notes in Computer Science, 4996
(1)
Lecture Notes in Computer Science, 5045
(1)
Lecture Notes in Computer Science, 5065
(1)
Lecture Notes in Computer Science, 5117
(1)
Lecture Notes in Computer Science, 5140
(1)
Lecture Notes in Computer Science, 5147
(1)
Lecture Notes in Computer Science, 5160
(1)
Lecture Notes in Computer Science, 5190
(1)
Lecture Notes in Computer Science, 5196
(1)
Lecture Notes in Computer Science, 5213
(1)
Lecture Notes in Computer Science, 5257
(1)
Lecture Notes in Computer Science, 5324
(1)
Lecture Notes in Computer Science, 5363
(1)
Lecture Notes in Computer Science, 5407
(1)
Lecture Notes in Computer Science, 5457
(1)
Lecture Notes in Computer Science, 5486
(1)
Lecture Notes in Computer Science, 5497
(1)
Lecture Notes in Computer Science, 5533
(1)
Lecture Notes in Computer Science, 5583
(1)
Lecture Notes in Computer Science, 5589
(1)
Lecture Notes in Computer Science, 5591
(1)
Lecture Notes in Computer Science, 5595
(1)
Lecture Notes in Computer Science, 5608
(1)
Lecture Notes in Computer Science, 5684
(1)
Lecture Notes in Computer Science, 5689
(1)
Lecture Notes in Computer Science, 5700
(1)
Lecture Notes in Computer Science, 5725
(1)
Lecture Notes in Computer Science, 5728
(1)
Lecture Notes in Computer Science, 5771
(1)
Lecture Notes in Computer Science, 5783
(1)
Lecture Notes in Computer Science, 5827
(1)
Lecture Notes in Computer Science, 5834
(1)
Lecture Notes in Computer Science, 5874
(1)
Lecture Notes in Computer Science, 5917
(1)
Lecture Notes in Computer Science, 6042
(1)
Lecture Notes in Computer Science, 6149
(1)
Lecture Notes in Computer Science, 6188
(1)
Lecture Notes in Computer Science, 6244
(1)
Lecture Notes in Computer Science, 6341
(1)
Lecture Notes in Computer Science, 6384
(1)
Lecture Notes in Computer Science, 6479
(1)
Lecture Notes in Computer Science, 6559
(1)
Lecture Notes in Computer Science, 6642
(1)
Lecture Notes in Computer Science, 6663
(1)
Lecture Notes in Computer Science, 6680
(1)
Lecture Notes in Computer Science, 6690
(1)
Lecture Notes in Computer Science, 6735
(1)
Lecture Notes in Computer Science, 6742
(1)
Lecture Notes in Computer Science, 6810
(1)
Lecture Notes in Computer Science, 6816
(1)
Lecture Notes in Computer Science, 6850
(1)
Lecture Notes in Computer Science, 6859
(1)
Lecture Notes in Computer Science, 6877
(1)
Lecture Notes in Computer Science, 6878
(1)
Lecture Notes in Computer Science, 6885
(1)
Lecture Notes in Computer Science, 6953
(1)
Lecture Notes in Computer Science, 7020
(1)
Lecture Notes in Computer Science, 7056
(1)
Lecture Notes in Computer Science, 7086
(1)
Lecture Notes in Computer Science, 7137
(1)
Lecture Notes in Computer Science, 7300
(1)
Lecture Notes in Computer Science, 7318
(1)
Lecture Notes in Computer Science, 7362
(1)
Lecture Notes in Computer Science, 7388
(1)
Lecture Notes in Computer Science, 7395
(1)
Lecture Notes in Computer Science, 7442
(1)
Lecture Notes in Computer Science, 7456
(1)
Lecture Notes in Computer Science, 7560
(1)
Lecture Notes in Computer Science, 7643
(1)
Lecture Notes in Computer Science, 7679
(1)
Lecture Notes in Computer Science, 7734
(1)
Lecture Notes in Computer Science, 7841
(1)
Lecture Notes in Computer Science, 7921
(1)
Lecture Notes in Computer Science, 7941
(1)
Lecture Notes in Computer Science, 7961
(1)
Lecture Notes in Computer Science, 7993
(1)
Lecture Notes in Computer Science, 8036
(1)
Lecture Notes in Computer Science, 8071
(1)
Lecture Notes in Computer Science, 8080
(1)
Lecture Notes in Computer Science, 8136
(1)
Lecture Notes in Computer Science, 8196
(1)
Lecture Notes in Computer Science, 8288
(1)
Lecture Notes in Computer Science, 8307
(1)
Lecture Notes in Mathematics, 1876
(1)
Lecture Notes in Mathematics, 1993
(1)
Lecture Notes in Mathematics, 2029
(1)
Lecture Notes in Mathematics, 2067
(1)
Lecture Notes of the Unione Matematica Italiana, 10
(1)
Logic, Epistemology, and the Unity of Science ; 10
(1)
Logic, Epistemology, and the Unity of Science ; 12
(1)
Logic, Epistemology, and the Unity of Science ; 14
(1)
Logic, Epistemology, and the Unity of Science ; 15
(1)
Logic, Epistemology, and the Unity of Science ; 22
(1)
Logic, Epistemology, and the Unity of Science ; 27
(1)
Logic, Epistemology, and the Unity of Science ; 30
(1)
Logic, Epistemology, and the Unity of Science ; 5
(1)
Logic, Epistemology, and the Unity of Science, 32
(1)
Modern Birkhäuser Classics
(1)
Monographs in Computer Science
(1)
Outstanding Contributions to Logic, 3
(1)
Problem Books in Mathematics
(1)
Progress in Computer Science and Applied Logic (PCS) ; 25
(1)
Progress in Computer Science and Applied Logic (PCS) ; 8
(1)
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
(1)
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 23
(1)
Science Networks. Historical Studies ; 45
(1)
Sources and Studies in the History of Mathematics and Physical Sciences
(1)
Springer Optimization and Its Applications, 20
(1)
SpringerBriefs in Computer Science
(1)
SpringerBriefs in Philosophy
(1)
Studies in Computational Intelligence, 113
(1)
Studies in Computational Intelligence, 335
(1)
Studies in Fuzziness and Soft Computing, 283
(1)
Studies in Fuzziness and Soft Computing, 295
(1)
Studies in Fuzziness and Soft Computing, 299
(1)
Synthese Library ; 335
(1)
Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 327
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 345
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 353
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 355
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 364
(1)
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 370
(1)
Texts and Monographs in Symbolic Computation
(1)
Texts in Theoretical Computer Science An EATCS Series
(1)
Texts in Theoretical Computer Science an EATCS Series
(1)
Texts in Theoretical Computer Science. An EATCS Series
(1)
The Western Ontario Series in Philosophy of Science, 71
(1)
The Western Ontario Series in Philosophy of Science, 75
(1)
The Western Ontario Series in Philosophy of Science, 76
(1)
The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields, 69
(1)
Theory and Applications of Computability, In cooperation with the association Computability in Europe
(1)
Theory and Applications of Transport in Porous Media ; 18
(1)
Trends in Logic ; 26
(1)
Trends in Logic ; 28
(1)
Trends in Logic ; 30
(1)
Trends in Logic ; 33
(1)
Trends in Logic ; 34
(1)
Trends in Logic ; 35
(1)
Trends in Logic ; 36
(1)
Trends in Logic, Studia Logica Library ; 27
(1)
Trends in Logic, Studia Logica Library, 37
(1)
Trends in Mathematics
(1)
UNITEXT
(1)
UNITEXT, 1
(1)
Vienna Circle Institute Yearbook [2004], 12
(1)

Search Results List

Search Results Results 91 - 100 of 292 (page 10 of 30) ◄ Previous 6 7 8 9 10 11 12 13 Next ►

Additional Resources