Refine your search
Availability
-
Authors
- Caminha Muniz Neto, ... (1)
- Collazos, Nestor Cat... (1)
- Egeciouglu, Omer (1)
- Froncek, Dalibor (1)
- Garsia, Adriano M (1)
- Jan, Kratochvil (1)
- Liptak, Zsuzsanna (1)
- Makinen, Veli (1)
- Miller, Mirka (1)
- Puglisi, Leena Salme... (1)
- Puglisi, Simon J. (1)
- Smyth, William F. (1)
- Show more
- Show less
-
Item types
-
Locations
- General Stacks (2)
- Online (4)
-
Series
-
Topics
- Algebra (1)
- B method (Computer s... (1)
- Combinatorial analys... (1)
- Computer science (3)
- Computer science and... (3)
- Computer software (1)
- Discrete mathematics (6)
- Formal methods (Comp... (1)
- Java (Computer progr... (1)
- Mathematical Logic (3)
- Mathematical logic a... (1)
- Mathematical logic a... (1)
- Mathematics (2)
- Software engineering (1)
- Show more
- Show less