Refine your search
Availability
-
Authors
- Alblas, H. (1)
- Allen, James (3)
- Association for Comp... (2)
- Biswas, Nripendra N (1)
- Bjorner, Dines (1)
- Bozapalidis, Symeon (2)
- de Bakker, Jaco (1)
- Grumberg, Orna...[et... (1)
- Gunter, Carl A. (1)
- Hennessy, Matthew (1)
- IFIP TC 10 (1)
- International BCF-FA... (1)
- Lloyd, J.W. (2)
- Milne, Robert (1)
- Pettersson, Mikael (1)
- Pilehvar, Mohammad T... (1)
- Tennent, R.D. (1)
- Vogler, Heiko (1)
- WG 10.1 workshop on ... (1)
- Winskel, Glynn (2)
- Show more
- Show less
-
Item types
-
Locations
- Compact Storage - Basement Area (20)
- Online (1)
-
Series
- BARC 1178 : 1982 (1)
- EATCS monographs on ... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Monographs in theore... (1)
- Pearson Education se... (1)
- Synthesis lectures o... (1)
- Show more
- Show less
-
Topics
- Algorithms (1)
- Artificial intellige... (2)
- Computer Science (2)
- Computer Science and... (10)
- Electronic data proc... (1)
- Electronic digital c... (3)
- Formal languages-Sem... (1)
- Interactive computer... (2)
- Language and logic (1)
- Logic, Symbolic and ... (2)
- Machine translation (1)
- Parallel processing ... (2)
- Programming (Mathema... (3)
- Programming language... (29)
- Programming language... (9)
- Programming language... (6)
- Programming language... (2)
- Programming language... (2)
- Programming language... (2)
- Proof theory (1)
- Show more
- Show less