Handbook of logic in computer Science
por Edited by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum
Publicado por : Clarendon Press , 1994 Detalhes físicos: XV, 490 p. 24 cm ISBN:0-19-853762-X.Tipo de documento | Localização | Cota | Estado | Data de devolução |
---|---|---|---|---|
Monografia | Biblioteca da ESTiG-IPB Sala de Leitura | 519.6-1/HAN/HAN (Ver prateleira) | Disponível |
Navegando Biblioteca da ESTiG-IPB Prateleiras , Localização na prateleira: Sala de Leitura Fechar visualizador de prateleira
519.6-1/FLO/NON Nonlinear and mixed-integer optimization | 519.6-1/GIA/MAT Maths for computing and information technology | 519.6-1/HAM/NUM Numerical methods for scientists and engineers | 519.6-1/HAN/HAN Handbook of logic in computer Science | 519.6-1/HOP/INT Introduction to automata theory, languages, and computation | 519.61/HOU/PRI Principles of numerical analysis | 519.6-1/ISA/ANA Analysis of numerical methods |
Vol. 3 : Semantic structures
Não há comentários disponíveis sobre este título.