X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (22) 22
congresses (21) 21
machine theory (19) 19
formal languages (18) 18
programming languages (17) 17
computer programming (16) 16
kongress (16) 16
information theory (13) 13
theory of computation (13) 13
algorithmentheorie (11) 11
informatics (11) 11
mathematical logic and formal languages (11) 11
programmiersprache (11) 11
programming (11) 11
computers (10) 10
langages formels (10) 10
communication theory (9) 9
algorithm analysis and problem complexity (8) 8
automatentheorie (8) 8
computer software (8) 8
programming techniques (8) 8
automates mathématiques, théorie des (7) 7
computation by abstract devices (7) 7
congrès (7) 7
data structures (7) 7
software, computer (7) 7
theoretische informatik (7) 7
abstracte automaten (6) 6
complexité calcul (6) 6
formale sprache (6) 6
langages de programmation (6) 6
programmation (6) 6
automate (5) 5
data structures (computer scienc (5) 5
langage formel (5) 5
lenguajes formales (5) 5
logic design (5) 5
logics and meanings of programs (5) 5
programmeren (5) 5
programmierung (5) 5
programming languages, compilers, interpreters (5) 5
sequential machine theory (5) 5
automata (4) 4
combinatorial analysis (4) 4
combinatorics (4) 4
computer science, general (4) 4
datenverarbeitung (4) 4
design of logic systems (4) 4
design, logic (4) 4
formele talen (4) 4
informatik (4) 4
logic, symbolic and mathematical (4) 4
software engineering (4) 4
sémantique (4) 4
artificial intelligence (3) 3
computer graphics (3) 3
computer software engineering (3) 3
concurrence (3) 3
datenverarbeitungsanlage (3) 3
electronic brains (3) 3
electronic data processing (3) 3
formal languages - congresses (3) 3
informatique (3) 3
informatique théorique (3) 3
logique (3) 3
machine theory - congresses (3) 3
machines séquentielles, théorie des (3) 3
mathematical logic (3) 3
mathematical logic and foundations (3) 3
mathematics (3) 3
ordinateurs (3) 3
semantik (3) 3
software engineering/programming and operating systems (3) 3
structure donnée (3) 3
teoría de las máquinas (3) 3
abstract automata (2) 2
ai (2) 2
algebra of logic (2) 2
algorithme (2) 2
algorithms (2) 2
allgemeines zur informatik (2) 2
analyse algorithme (2) 2
appariement (2) 2
artificial thinking (2) 2
automaty (2) 2
calculabilité (2) 2
combinatoire (2) 2
computer algorithms (2) 2
computer logic (2) 2
congresses.,congresses.,congresses (2) 2
electronic digital computers (2) 2
grammaire graphe (2) 2
informatyka (2) 2
intellectronics (2) 2
intelligence, artificial (2) 2
intelligent machines (2) 2
języki programowania (2) 2
komplexitaet (2) 2
langage algébrique (2) 2
lenguajes de programación (2) 2
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal
1994, Lecture Notes in Computer Science, ISBN 366218642X, Volume 820, XVI, 648
This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994.... 
Computer science | Programming Techniques | Computer software | Computation by Abstract Devices | Logic design | Theory of Computation | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Information theory | Mathematical Logic and Formal Languages
eBook
2007, Texts in theoretical computer science : an EATCS series, ISBN 9783540004288, 446
This book gives a comprehensive overview of central themes of finite model theory - expressive power, descriptive complexity, and zero-one laws - together with... 
Finite model theory | Computational complexity | Constraint databases | Model theory
eBook
1990, Lecture Notes in Computer Science, ISBN 9783540528265, Volume 443, XII, 788
This volume contains the proceedings of ICALP 90, the International Colloquium on Automata, Languages and Programming sponsored by the European Association for... 
Computer science | Computer software | Data Structures | Theory of Computation | Data structures (Computer scienc | Combinatorics | Artificial intelligence | Algorithm Analysis and Problem Complexity | Information theory | Mathematical Logic and Formal Languages
eBook
1988, Lecture Notes in Computer Science, ISBN 9783540194880, Volume 317, XIV, 746
This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International... 
Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Computer software | Software Engineering/Programming and Operating Systems | Mathematics, general | Mathematics | Theory of Computation | Algorithm Analysis and Problem Complexity | Information theory | Software engineering
eBook
1974, Lecture Notes in Computer Science, ISBN 9783540068419, Volume 14
eBook
1996, Lecture Notes in Computer Science, ISBN 3540614400, Volume 1099, XII, 684
This volume constitutes the refereed proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP '96), held at Paderborn,... 
Data Structures | Software Engineering/Programming and Operating Systems | Theory of Computation | Data structures (Computer scienc | Combinatorics | Information theory | Software engineering
eBook
1995, Lecture Notes in Computer Science, ISBN 3540600841, Volume 944, XVI, 692
This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in... 
Computer science | Data encryption (Computer science) | Programming Techniques | Programming Languages, Compilers, Interpreters | Data Structures | Theory of Computation | Data structures (Computer scienc | Cryptology | Information theory | Robotics and Automation
eBook
1997, Lecture Notes in Computer Science, ISBN 9783540631651, Volume 1256, XXXII, 864
This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy,... 
Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Mathematics of Computing | Theory of Computation | Computer Communication Networks | Information theory
eBook
1992, Lecture Notes in Computer Science, ISBN 9783540557197, Volume 623, XII, 724
This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored... 
Computer science | Computer software | Data Structures | Logic design | Theory of Computation | Data structures (Computer scienc | Combinatorics | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Information theory | Mathematical Logic and Formal Languages
eBook
1991, Lecture Notes in Computer Science, ISBN 9783662170298, Volume 510, XII, 768
This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science... 
Computer science | Computer software | Data Structures | Theory of Computation | Data structures (Computer scienc | Combinatorics | Artificial intelligence | Algorithm Analysis and Problem Complexity | Information theory | Mathematical Logic and Formal Languages
eBook
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.