Membropbhaduri
- Livros
- 63
- Coleções
- A sua biblioteca (63)
- Etiquetas
- logic (10), theory-of-computation formal-languages automata (6), theory-of-computation (2), automata (1), algorithms (1), game-theory (1), logic verification model-checking (1), process-algebra verification model-checking (1), automata logic (1), logic logics-of-programs modal-logic (1), differential-equations (1), linear-programming (1)
- Nuvens
- Nuvem de Etiquetas, Nuvem de Autores, Espelho de etiquetas
- Média
- Aderiu
- Jun 7, 2008
Atividade Recente
Este sítio web usa «cookies» para fornecer os seus serviços, para melhorar o desempenho, para analítica e (se não estiver autenticado) para publicidade. Ao usar o LibraryThing está a reconhecer que leu e compreende os nossos Termos de Serviço e Política de Privacidade. A sua utilização deste sítio e serviços está sujeita a essas políticas e termos.