TEST - Catálogo BURRF
   

Su búsqueda retornó 49524 resultados.

Ordenar
Resultados
461.
Adapting Proofs-as-Programs : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. por
  • Poernomo, Iman Hafiz [autor]
  • Wirsing, Martin [autor]
  • Crossley, John Newsome [autor]
  • SpringerLink (Servicio en línea)
Series Monographs in Computer Science
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York, 2005
Disponibilidad: No hay ítems disponibles.

462.
Adapting to an uncertain climate : lessons from practice / edited by Tiago Capela Lourenço, Ana Rovisco, Annemarie Groot, Carin Nilsson, Hans-Martin Füssel, Leendert Van Bree, Roger B. Street. por
  • Capela Lourenço, Tiago [editor.]
  • Rovisco, Ana [editor.]
  • Groot, Annemarie [editor.]
  • Nilsson, Carin [editor.]
  • Füssel, Hans-Martin [editor.]
  • Van Bree, Leendert [editor.]
  • Street, Roger B [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.

463.
Adapting to climate change : lessons from natural hazards planning / edited by Bruce C. Glavovic, Gavin P. Smith. por
  • Glavovic, Bruce C [editor.]
  • Smith, Gavin P [editor.]
  • SpringerLink (Servicio en línea)
Series Environmental Hazards
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands : Springer, 2014
Disponibilidad: No hay ítems disponibles.

464.
Adapting to teaching and learning in open-plan schools / edited by Vaughan Prain, Peter Cox, Craig Deed, Debra Edwards, Cathleen Farrelly, Mary Keeffe, Valerie Lovejoy, Lucy Mow, Peter Sellings, Bruce Waldrip, Zali Yager. por
  • Prain, Vaughan [editor.]
  • Cox, Peter [editor.]
  • Deed, Craig [editor.]
  • Edwards, Debra [editor.]
  • Farrelly, Cathleen [editor.]
  • Keeffe, Mary [editor.]
  • Lovejoy, Valerie [editor.]
  • Mow, Lucy [editor.]
  • Sellings, Peter [editor.]
  • Waldrip, Bruce [editor.]
  • Yager, Zali [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Rotterdam : SensePublishers : Imprint: SensePublishers, 2014
Disponibilidad: No hay ítems disponibles.

465.
Adaption of Microbial Life to Environmental Extremes : Novel Research Results and Application / edited by Helga Stan-Lotter, Sergiu Fendrihan. por
  • Stan-Lotter, Helga [editor.]
  • Fendrihan, Sergiu [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Vienna : Springer Vienna : Imprint: Springer, 2012
Disponibilidad: No hay ítems disponibles.

466.
Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning / edited by Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso. por
  • Kudenko, Daniel [editor.]
  • Kazakov, Dimitar [editor.]
  • Alonso, Eduardo [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3394
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.

467.
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers / edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko. por
  • Tuyls, Karl [editor.]
  • Nowe, Ann [editor.]
  • Guessoum, Zahia [editor.]
  • Kudenko, Daniel [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4865
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

468.
Adaptive and Integrated Water Management : Coping with Complexity and Uncertainty / edited by Claudia Pahl-Wostl, Pavel Kabat, Jörn Möltgen. por
  • Pahl-Wostl, Claudia [editor.]
  • Kabat, Pavel [editor.]
  • Möltgen, Jörn [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

469.
Adaptive and Intelligent Systems : Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings / edited by Abdelhamid Bouchachia. por
  • Bouchachia, Abdelhamid [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6943
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

470.
Adaptive and intelligent systems : third international conference, icais 2014, bournemouth, uk, september 8-10, 2014. Proceedings / edited by Abdelhamid Bouchachia. por
  • Bouchachia, Abdelhamid [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8779
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.

471.
Adaptive and Learning Agents : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / edited by Matthew E. Taylor, Karl Tuyls. por
  • Taylor, Matthew E [editor.]
  • Tuyls, Karl [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5924
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.

472.
Adaptive and Learning Agents : International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers / edited by Peter Vrancx, Matthew Knudson, Marek Grze?. por
  • Vrancx, Peter [editor.]
  • Knudson, Matthew [editor.]
  • Grze?, Marek [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7113
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.

473.
Adaptive and Maladaptive Aspects of Developmental Stress / edited by Giovanni Laviola, Simone Macrì. por
  • Laviola, Giovanni [editor.]
  • Macrì, Simone [editor.]
  • SpringerLink (Servicio en línea)
Series Current Topics in Neurotoxicity ; 3
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: New York, NY : Springer New York : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.

474.
Adaptive and Multilevel Metaheuristics / edited by Carlos Cotta, Marc Sevaux, Kenneth Sörensen. por
  • Cotta, Carlos [editor.]
  • Sevaux, Marc [editor.]
  • Sörensen, Kenneth [editor.]
  • SpringerLink (Servicio en línea)
Series Studies in Computational Intelligence ; 136
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

475.
Adaptive and Natural Computing Algorithms : Proceedings of the International Conference in Coimbra, Portugal, 2005 / edited by Bernardete Ribeiro, Rudolf F. Albrecht, Andrej Dobnikar, David W. Pearson, Nigel C. Steele. por
  • Ribeiro, Bernardete [editor.]
  • Albrecht, Rudolf F [editor.]
  • Dobnikar, Andrej [editor.]
  • Pearson, David W [editor.]
  • Steele, Nigel C [editor.]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Vienna : Springer Vienna, 2005
Disponibilidad: No hay ítems disponibles.

476.
Adaptive and Natural Computing Algorithms : 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / edited by Mikko Kolehmainen, Pekka Toivanen, Bartlomiej Beliczynski. por
  • Kolehmainen, Mikko [editor.]
  • Toivanen, Pekka [editor.]
  • Beliczynski, Bartlomiej [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5495
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.

477.
Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II / edited by Andrej Dobnikar, Uroš Lotri?, Branko Šter. por
  • Dobnikar, Andrej [editor.]
  • Lotri?, Uroš [editor.]
  • Šter, Branko [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6594
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

478.
Adaptive and Natural Computing Algorithms : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / edited by Andrej Dobnikar, Uroš Lotri?, Branko Šter. por
  • Dobnikar, Andrej [editor.]
  • Lotri?, Uroš [editor.]
  • Šter, Branko [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6593
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

479.
Adaptive and Natural Computing Algorithms : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser. por
  • Tomassini, Marco [editor.]
  • Antonioni, Alberto [editor.]
  • Daolio, Fabio [editor.]
  • Buesser, Pierre [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7824
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Disponibilidad: No hay ítems disponibles.

480.
Adaptive and Personalized Semantic Web / edited by Spiros Sirmakessis. por
  • Sirmakessis, Spiros [editor.]
  • SpringerLink (Servicio en línea)
Series Studies in Computational Intelligence ; 14
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
Disponibilidad: No hay ítems disponibles.

Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha