Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers / edited by Wendy MacCaull, Michael Winter, Ivo Düntsch.
Tipo de material:
Archivo de ordenadorSeries Lecture Notes in Computer Science ; 3929Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Descripción: v.: digitalISBN: - 9783540333401
- Computer science
- Software engineering
- Logic design
- Computational complexity
- Algebra -- Data processing
- Artificial intelligence
- Computer Science
- Mathematical Logic and Formal Languages
- Software Engineering
- Logics and Meanings of Programs
- Symbolic and Algebraic Manipulation
- Artificial Intelligence (incl. Robotics)
- Discrete Mathematics in Computer Science
- QA76 M33 2006
| Tipo de ítem | Biblioteca actual | Signatura topográfica | URL | Copia número | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA76 M33 2006 (Navegar estantería(Abre debajo)) | Enlace al recurso | 1 | Disponible | SpringerLink | BDIG00011937 |
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.