X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
congresses (24) 24
computer science (20) 20
computers (19) 19
formal languages (18) 18
machine theory (18) 18
computer programming (16) 16
kongress (16) 16
programming languages (16) 16
theory of computation (13) 13
algorithmentheorie (12) 12
information theory (12) 12
mathematical logic (11) 11
programming (11) 11
langages formels (10) 10
mathematical logic and formal languages (10) 10
programmiersprache (10) 10
algorithm analysis and problem complexity (8) 8
algorithms (8) 8
automatentheorie (8) 8
complexité calcul (8) 8
computer software (8) 8
congrès (8) 8
automates mathématiques, théorie des (7) 7
data structures (7) 7
theoretische informatik (7) 7
abstracte automaten (6) 6
formale sprache (6) 6
langages de programmation (6) 6
programmation (6) 6
programming techniques (6) 6
automate (5) 5
computation by abstract devices (5) 5
data structures (computer scienc (5) 5
langage formel (5) 5
lenguajes formales (5) 5
programmierung (5) 5
sequential machine theory (5) 5
automata (4) 4
combinatorics (4) 4
computational complexity (4) 4
computer science, general (4) 4
datenverarbeitung (4) 4
electronic data processing (4) 4
formele talen (4) 4
informatik (4) 4
ordinateurs (4) 4
programmeren (4) 4
programming languages, compilers, interpreters (4) 4
software engineering (4) 4
software engineering/programming and operating systems (4) 4
artificial intelligence (3) 3
automaty (3) 3
computer graphics (3) 3
computer logic (3) 3
concurrence (3) 3
datenverarbeitungsanlage (3) 3
electronic digital computers (3) 3
formal languages - congresses (3) 3
informatique théorique (3) 3
informatyka (3) 3
języki programowania (3) 3
logic design (3) 3
logics and meanings of programs (3) 3
logique (3) 3
machine theory - congresses (3) 3
machines séquentielles, théorie des (3) 3
mathematics (3) 3
programy komputerowe (3) 3
robots (3) 3
réécriture (3) 3
structure donnée (3) 3
sémantique (3) 3
teoria programowania komputerów (3) 3
teoría de las máquinas (3) 3
vérification (3) 3
algorithme (2) 2
allgemeines zur informatik (2) 2
analyse algorithme (2) 2
appariement (2) 2
calculabilité (2) 2
combinatoire (2) 2
combinatorial analysis (2) 2
computer algorithms (2) 2
congresses.,congresses.,congresses (2) 2
grammaire graphe (2) 2
informatique (2) 2
komplexitaet (2) 2
komplexitätstheorie (2) 2
lambda calcul (2) 2
langage algébrique (2) 2
lenguajes de programación (2) 2
linguagens formais e automatos (2) 2
logic, symbolic and mathematical (2) 2
programación (2) 2
programmeertalen (2) 2
programming - congresses (2) 2
programming x congresses (2) 2
robotics (2) 2
semantik (2) 2
spécification logiciel (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


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
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
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
1974, Lecture Notes in Computer Science, ISBN 9783540068419, Volume 14
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
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
No results were found for your search.

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