Resultados
|
|
1.
|
Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. por
- Cooper, S. Barry [editor.]
- Löwe, Benedikt [editor.]
- Sorbi, Andrea [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4497
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
|
2.
|
How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe. por
- Cooper, S. Barry [editor.]
- Dawar, Anuj [editor.]
- Löwe, Benedikt [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7318
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
|
3.
|
Infinity in Logic and Computation : 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
- Archibald, Margaret [editor.]
- Brattka, Vasco [editor.]
- Goranko, Valentin [editor.]
- Löwe, Benedikt [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5489
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
4.
|
Logic and the Foundations of Game and Decision Theory – LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers / edited by Giacomo Bonanno, Benedikt Löwe, Wiebe Hoek. por
- Bonanno, Giacomo [editor.]
- Löwe, Benedikt [editor.]
- Hoek, Wiebe [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6006
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
|
5.
|
Logical Approaches to Computational Barriers : 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
- Beckmann, Arnold [editor.]
- Berger, Ulrich [editor.]
- Löwe, Benedikt [editor.]
- Tucker, John V [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3988
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.
|
|
|
6.
|
Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle. por
- Ambos-Spies, Klaus [editor.]
- Löwe, Benedikt [editor.]
- Merkle, Wolfgang [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5635
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
|
|
7.
|
Models of Computation in Context : 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
- Löwe, Benedikt [editor.]
- Normann, Dag [editor.]
- Soskov, Ivan [editor.]
- Soskova, Alexandra [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6735
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.
|
|
|
8.
|
The Nature of Computation. Logic, Algorithms, Applications : 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
- Bonizzoni, Paola [editor.]
- Brattka, Vasco [editor.]
- Löwe, Benedikt [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7921
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.
|
|
|
9.
|
|
|
|
10.
|
New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet. por
- Cooper, S. Barry [editor.]
- Löwe, Benedikt [editor.]
- Torenvliet, Leen [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3526
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
|
11.
|
Programs, Proofs, Processes : 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
- Ferreira, Fernando [editor.]
- Löwe, Benedikt [editor.]
- Mayordomo, Elvira [editor.]
- Mendes Gomes, Luís [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6158
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
