Search Results

Search
Menu

Cart V
Your cart is currently empty.
Login
Apress Access

Categories
Services
Apress Open
Blog
Write
Shop

Refine Search

Refine Search

Content Type

Book 756 Remove
Proceedings 464
Monograph 116
Textbook 85
Commemorative publication 30

Contributed volume 28
Collected works 12
Handbook 6
Professional book 5
Reference work 5
Briefs 3
Collection of essays 1
Manual 1

Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Topics

Mathematical Logic and Formal Languages 756 Remove
Artificial Intelligence 239
Logics and Meanings of Programs 105
Mathematical Logic and Foundations 68
Software Engineering 42

Computation by Abstract Devices 40
Theory of Computation 36
Programming Languages, Compilers, Interpreters 32
Logic 21
Algorithm Analysis and Problem Complexity 20
Mathematics of Computing 15
Symbolic and Algebraic Manipulation 12
Software Engineering / Programming and Operating Systems 11
Programming Techniques 6
Natural Language Processing (NLP) 6
Mathematics (general) 5
Structures and Proofs 5
Epistemology 4
Discrete Mathematics in Computer Science 4
Logic in AI 4
Combinatorics 4
Science, Humanities and Social Sciences, multidisciplinary 3
Arithmetic and Logic Structures 3
Mathematical Applications in Computer Science 3
Database Management 3
Data Mining and Knowledge Discovery 3
Information Systems Applications (incl.Internet) 3
User Interfaces and Human Computer Interaction 3
Systems and Data Security 3
Computational Intelligence 3
Computer Science (general) 2
Numeric Computing 2
Computational Mathematics and Numerical Analysis 2
Circuits and Systems 2
Philosophy (general) 1
Analytic Philosophy 1
Logic Design 1
Computer Communication Networks 1
Computer System Implementation 1
Coding and Information Theory 1
Models and Principles 1
Information Storage and Retrieval 1
Knowledge based Systems 1
Computer Imaging, Vision, Pattern Recognition and Graphics 1
Computer Graphics 1
Pattern Recognition 1
Computational Biology / Bioinformatics 1
General Algebraic Systems 1
Group Theory and Generalizations 1
Order, Lattices, Ordered Algebraic Structures 1
Number Theory 1
Probability Theory and Stochastic Processes 1
Computational Linguistics 1
Grammar 1
Psycholinguistics 1
Quality Control, Reliability, Safety and Risk 1

Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Release Date

Older 724
Last 6 Months 23
Last 3 Months 13
Previous Month 5
Upcoming 4

Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Language

English 719
German 32
Italian 3
French 2

Error[en_EN | Frontend.ProductSearchPage | section.resultlist.showremaining]

Publisher

Include Springer Nature content

Showing 0 results.

Within Book Mathematical Logic and Formal Languages

Sorry – we couldn’t find what you are looking for.

Make sure that all words are spelled correctly

Apple & iOS
ASP.NET
Big Data & Analytics
Business
Databases
Enterprise Software
Game Development
Graphics
Hardware & Maker
Java
Machine Learning

Microsoft & .NET
Mobile
Networking & Cloud
Open Source
Programming
Publishing Partners
Python
Security
Web Development
Publishing Partners

About Us
Academics
Affiliate Program
Book Reviewers
Customer Support
Events
News & Newsletter
Rights & Permissions
Source Code
Submit Errata
Technical Reviewers
User Groups

Write
Submit a proposal
Publishing process
Documents for Current Authors

About Us
Blog
Events
FAQ
News
Publishing Partners
Contact Us
Team

¶ ¢ “ ¡

© 2018 Apress is part of Springer Nature
Terms & Conditions
Privacy Policy

1
2
3