Resultados
|
1.
|
|
|
2.
|
|
|
3.
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Lȵwe. por Series Lecture Notes in Computer Science ; 7921 | Lecture Notes in Computer Science ; 7921
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Lȵwe. por Series Lecture Notes in Computer Science ; 5489 | Lecture Notes in Computer Science ; 5489
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
9.
|
Programs, Proofs, Processes [electronic resource] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Lȵwe, Elvira Mayordomo, Luȡs Mendes Gomes. por Series Lecture Notes in Computer Science ; 6158 | Lecture Notes in Computer Science ; 6158
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
10.
|
Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Lȵwe, Dag Normann, Ivan Soskov, Alexandra Soskova. por Series Lecture Notes in Computer Science ; 6735 | Lecture Notes in Computer Science ; 6735
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks
Disponibilidad: No hay ítems disponibles.
|
|
11.
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Lȵwe, John V. Tucker. por Series Lecture Notes in Computer Science ; 3988 | Lecture Notes in Computer Science ; 3988
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Disponibilidad: No hay ítems disponibles.
|