Resultados
|
|
Relations and Kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009 : proceedings / Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller, (eds.) por International Seminar on Relational Methods in Computer Science (11 : 2009 : Doha, Qatar) | Berghammer, Rudolf, 1952- [editor] | Joaua, Ali Mohamed [editor] | Möller, Bernhard [editor] | International Workshop on Applications of Kleene Algebra (6 : 2009 : Doha, Qatar). Series Lecture notes in computer science ; 5827 | LNCS sublibrary ; Theoretical computer science and general issues ; SL 1.Tipo de material: Archivo de ordenador; Formato:
electrónico
disponible en línea Detalles de publicación: Berlin : Springer, c2009Otro título: RelMiCS 2009 | AKA 2009.Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.
|
|
|
Rekursive funktionen por Peter, Rozsa, 1905 [autor]. Edición: 2 # erweiterts ausgTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Akademie-verlag, 1957Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA248 P4 1957.
|
|
|
Regularization methods in Banach spaces / by Thomas Schuster, Barbara Kaltenbacher, Bernars Hofmann, Kamil S. Kazimierski por Schuster, Thomas [autor] | Kaltenbacher, Barbara [autor] | Hofmann, Bernars [autor] | Kazimierski, Kamil S [autor] | Schuster, Thomas, 1971-. Series Radon series on computational and applied mathematics ; 10Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : De Gruyter, c2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA322.2 R44.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [recurso electrónico] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. por Corradini, Andrea | Montanari, Ugo | SpringerLink (servicio en lnea). Series Lecture notes in computer science ; 5486Tipo de material: Archivo de ordenador; Formato:
electrónico
disponible en línea Detalles de publicación: Berlin : Springer, 2009Acceso en línea: Texto completo Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|