TEST - Catálogo BURRF
   

Su búsqueda retornó 14 resultados.

Ordenar
Resultados
1.
Advanced BDD Optimization / by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler. por
  • Ebendt, Rüdiger [autor]
  • Fey, Görschwin [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2005
Disponibilidad: No hay ítems disponibles.

2.
Applications of Evolutionary Computation : EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Neil Urquhart, A. ?ima Uyar. por
  • Chio, Cecilia [editor.]
  • Brabazon, Anthony [editor.]
  • Caro, Gianni A [editor.]
  • Drechsler, Rolf [editor.]
  • Grahl, Jörn [editor.]
  • Greenfield, Gary [editor.]
  • Prins, Christian [editor.]
  • Romero, Juan [editor.]
  • Squillero, Giovanni [editor.]
  • Tarantino, Ernesto [editor.]
  • Tettamanzi, Andrea G. B [editor.]
  • Urquhart, Neil [editor.]
  • Uyar, A. ?ima [editor.]
  • SpringerLink (Servicio en línea)
  • Farooq, Muddassar [editor.]
Series Lecture Notes in Computer Science ; 6625
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.

3.
Applications of Evolutionary Computation : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Cecilia Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández Vega, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervós, Mike Preuss, Hendrik Richter, Sara Silva, Anabela Simões, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. ?ima Uyar, Georgios N. Yannakakis. por
  • Chio, Cecilia [editor.]
  • Agapitos, Alexandros [editor.]
  • Cagnoni, Stefano [editor.]
  • Cotta, Carlos [editor.]
  • Vega, Francisco Fernández [editor.]
  • Caro, Gianni A [editor.]
  • Drechsler, Rolf [editor.]
  • Ekárt, Anikó [editor.]
  • Langdon, William B [editor.]
  • Merelo-Guervós, Juan J [editor.]
  • Preuss, Mike [editor.]
  • Richter, Hendrik [editor.]
  • Silva, Sara [editor.]
  • Simões, Anabela [editor.]
  • Squillero, Giovanni [editor.]
  • Tarantino, Ernesto [editor.]
  • Tettamanzi, Andrea G. B [editor.]
  • Togelius, Julian [editor.]
  • Urquhart, Neil [editor.]
  • Uyar, A. ?ima [editor.]
  • Yannakakis, Georgios N [editor.]
  • SpringerLink (Servicio en línea)
  • Esparcia-Alcázar, Anna Isabel [editor.]
  • Farooq, Muddassar [editor.]
Series Lecture Notes in Computer Science ; 7248
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.

4.
Applications of Evolutionary Computing : EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC Lausanne, Switzerland, March 30 - April 1, 2005 Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David Wolfe Corne, Rolf Drechsler, Yaochu Jin, Penousal Machado, Elena Marchiori, Juan Romero, George D. Smith, Giovanni Squillero. por
  • Rothlauf, Franz [editor.]
  • Branke, Jürgen [editor.]
  • Cagnoni, Stefano [editor.]
  • Corne, David Wolfe [editor.]
  • Drechsler, Rolf [editor.]
  • Jin, Yaochu [editor.]
  • Machado, Penousal [editor.]
  • Marchiori, Elena [editor.]
  • Romero, Juan [editor.]
  • Smith, George D [editor.]
  • Squillero, Giovanni [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3449
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.

5.
Applications of Evolutionary Computing : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi. por
  • Rothlauf, Franz [editor.]
  • Branke, Jürgen [editor.]
  • Cagnoni, Stefano [editor.]
  • Costa, Ernesto [editor.]
  • Cotta, Carlos [editor.]
  • Drechsler, Rolf [editor.]
  • Lutton, Evelyne [editor.]
  • Machado, Penousal [editor.]
  • Moore, Jason H [editor.]
  • Romero, Juan [editor.]
  • Smith, George D [editor.]
  • Squillero, Giovanni [editor.]
  • Takagi, Hideyuki [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3907
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.

6.
Applications of Evolutionary Computing : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings / edited by Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna Isabel Esparcia-Alcázar, Muddassar Farooq, Andreas Fink, Jon McCormack, Michael O’Neill, Juan Romero, Franz Rothlauf, Giovanni Squillero, A. ?ima Uyar, Shengxiang Yang. por
  • Giacobini, Mario [editor.]
  • Brabazon, Anthony [editor.]
  • Cagnoni, Stefano [editor.]
  • Caro, Gianni A [editor.]
  • Drechsler, Rolf [editor.]
  • Ekárt, Anikó [editor.]
  • Fink, Andreas [editor.]
  • McCormack, Jon [editor.]
  • O’Neill, Michael [editor.]
  • Romero, Juan [editor.]
  • Rothlauf, Franz [editor.]
  • Squillero, Giovanni [editor.]
  • Uyar, A. ?ima [editor.]
  • Yang, Shengxiang [editor.]
  • SpringerLink (Servicio en línea)
  • Esparcia-Alcázar, Anna Isabel [editor.]
  • Farooq, Muddassar [editor.]
Series Lecture Notes in Computer Science ; 4974
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.

7.
Debugging at the Electronic System Level / by Frank Rogin, Rolf Drechsler. por
  • Rogin, Frank [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2010
Disponibilidad: No hay ítems disponibles.

8.
Formal modeling and verification of cyber-physical systems : 1st international summer school on methods and tools for the design of digital systems, bremen, germany, september 2015 / edited by Rolf Drechsler, Ulrich Kühne. por
  • Drechsler, Rolf [editor.]
  • Kühne, Ulrich [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: Wiesbaden : Springer Fachmedien Wiesbaden : Springer Vieweg, 2015
Disponibilidad: No hay ítems disponibles.

9.
Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rolf Drechsler. por
  • Soeken, Mathias [autor.]
  • Drechsler, Rolf [autor.]
  • 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, 2015
Disponibilidad: No hay ítems disponibles.

10.
High Quality Test Pattern Generation and Boolean Satisfiability / by Stephan Eggersglüß, Rolf Drechsler. por
  • Eggersglüß, Stephan [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Boston, MA : Springer US, 2012
Disponibilidad: No hay ítems disponibles.

11.
Quality-Driven SystemC Design / by Daniel Große, Rolf Drechsler. por
  • Große, Daniel [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2010
Disponibilidad: No hay ítems disponibles.

12.
Robustness and Usability in Modern Design Flows / by Görschwin Fey, Rolf Drechsler. por
  • Fey, Görschwin [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008
Disponibilidad: No hay ítems disponibles.

13.
Test Pattern Generation using Boolean Proof Engines / by Rolf Drechsler, Stephan Eggersglü?, Görschwin Fey, Daniel Tille. por
  • Drechsler, Rolf [autor]
  • Eggersglü?, Stephan [autor]
  • Fey, Görschwin [autor]
  • Tille, Daniel [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2009
Disponibilidad: No hay ítems disponibles.

14.
Towards a Design Flow for Reversible Logic / by Robert Wille, Rolf Drechsler. por
  • Wille, Robert [autor]
  • Drechsler, Rolf [autor]
  • SpringerLink (Servicio en línea)
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands : Imprint: Springer, 2010
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