Resultados de la búsqueda para 'se,phr:"Studies in Computational Intelligence,"'

Resultados
		Natural Computing in Computational Finance [Recurso electrónico] / edited by Anthony Brabazon, Michael Oâ€{uE969}ll, Dietmar G. Maringer. por Brabazon, Anthony \| Oâ€{uE969}ll, Michael \| Maringer, Dietmar G \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 293Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advanced Techniques in Web Intelligence - I [Recurso electrónico] / edited by Juan D. VelÃ¡squez, Lakhmi C. Jain. por VelÃ¡squez, Juan D \| Jain, Lakhmi C \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 311Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		New Developments in Formal Languages and Applications [Recurso electrónico] / edited by Gemma Bel-Enguix, M. Dolores JimÃ©nez-LÃ³pez, Carlos MartÃ{uEB56}ide. por Bel-Enguix, Gemma \| JimÃ©nez-LÃ³pez, M. Dolores \| MartÃ{uEB56}ide, Carlos \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 113Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Pattern Recognition using Neural and Functional Networks [Recurso electrónico] / by Vasantha Kalyani David, Sundaramoorthy Rajasekaran. por David, Vasantha Kalyani \| Rajasekaran, Sundaramoorthy \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 160Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Towards Hybrid and Adaptive Computing [Recurso electrónico] : A Perspective / by Anupam Shukla, Ritu Tiwari, Rahul Kala. por Shukla, Anupam \| Tiwari, Ritu \| Kala, Rahul \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 307Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Innovations in Neural Information Paradigms and Applications [Recurso electrónico] / edited by Monica Bianchini, Marco Maggini, Franco Scarselli, Lakhmi C. Jain. por Bianchini, Monica \| Maggini, Marco \| Scarselli, Franco \| Jain, Lakhmi C \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 247Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Artificial Neural Networks in Vehicular Pollution Modelling [Recurso electrónico] / by Mukesh Khare, S. M. Shiva Nagendra. por Khare, Mukesh \| Nagendra, S. M. Shiva \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 41Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Tuning Metaheuristics [Recurso electrónico] : A Machine Learning Perspective / by Mauro Birattari. por Birattari, Mauro \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 197Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Intelligent Distributed Computing III [Recurso electrónico] : Proceedings of the 3rd International Symposium on Intelligent Distributed Computing â€{u0244}C 2009, Ayia Napa, Cyprus,October 2009 / edited by George Angelos Papadopoulos, Costin Badica. por Papadopoulos, George Angelos \| Badica, Costin \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 237Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Multi-Objective Evolutionary Algorithms for Knowledge Discovery from Databases [Recurso electrónico] / edited by Ashish Ghosh, Satchidananda Dehuri, Susmita Ghosh. por Ghosh, Ashish \| Dehuri, Satchidananda \| Ghosh, Susmita \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 98Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in Intelligent Information and Database Systems [Recurso electrónico] / edited by Ngoc Thanh Nguyen, RadosÅ{u1DE0}Katarzyniak, Shyi-Ming Chen. por Nguyen, Ngoc Thanh \| Katarzyniak, RadosÅ{u1DEE} \| Chen, Shyi-Ming \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 283Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Rough â€{u01F2}anular Computing in Knowledge Discovery and Data Mining [Recurso electrónico] / by JarosÅ{u1DE0}Stepaniuk. por Stepaniuk, JarosÅ{u1DEE} \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 152Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques [Recurso electrónico] / by Manuel F. M. Barros, Jorge M. C. Guilherme, Nuno C. G. Horta. por Barros, Manuel F. M \| Guilherme, Jorge M. C \| Horta, Nuno C. G \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 294Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Emergent Intelligence of Networked Agents [Recurso electrónico] / edited by Akira Namatame, Satoshi Kurihara, Hideyuki Nakashima. por Namatame, Akira \| Kurihara, Satoshi \| Nakashima, Hideyuki \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 56Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Learning Classifier Systems in Data Mining [Recurso electrónico] / edited by Larry Bull, Ester BernadÃ³-Mansilla, John Holmes. por Bull, Larry \| BernadÃ³-Mansilla, Ester \| Holmes, John \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 125Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Intelligent Distributed Computing, Systems and Applications [Recurso electrónico] : Proceedings of the 2nd International Symposium on Intelligent Distributed Computing â€{u0244}C 2008, Catania, Italy, 2008 / edited by Costin Badica, Giuseppe Mangioni, Vincenza Carchiolo, Dumitru Dan Burdescu. por Badica, Costin \| Mangioni, Giuseppe \| Carchiolo, Vincenza \| Burdescu, Dumitru Dan \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 162Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Geocomputation, Sustainability and Environmental Planning [Recurso electrónico] / edited by Beniamino Murgante, Giuseppe Borruso, Alessandra Lapucci. por Murgante, Beniamino \| Borruso, Giuseppe \| Lapucci, Alessandra \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 348Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Modelling and Optimization of Biotechnological Processes [Recurso electrónico] : Artificial Intelligence Approaches / by Lei Zhi Chen, Xiao Dong Chen, Sing Kiong Nguang. por Chen, Lei Zhi \| Chen, Xiao Dong \| Nguang, Sing Kiong \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 15Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer, 2006Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in Verification of Time Petri Nets and Timed Automata [Recurso electrónico] : A Temporal Logic Approach / by Wojciech Penczek, Agata PÃ³lrola. por Penczek, Wojciech \| PÃ³lrola, Agata \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 20Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Model-Driven Development of Advanced User Interfaces [Recurso electrónico] / edited by Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke. por Hussmann, Heinrich \| Meixner, Gerrit \| Zuehlke, Detlef \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 340Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

		Natural Computing in Computational Finance [Recurso electrónico] / edited by Anthony Brabazon, Michael Oâ€{uE969}ll, Dietmar G. Maringer. por Brabazon, Anthony \| Oâ€{uE969}ll, Michael \| Maringer, Dietmar G \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 293Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advanced Techniques in Web Intelligence - I [Recurso electrónico] / edited by Juan D. VelÃ¡squez, Lakhmi C. Jain. por VelÃ¡squez, Juan D \| Jain, Lakhmi C \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 311Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		New Developments in Formal Languages and Applications [Recurso electrónico] / edited by Gemma Bel-Enguix, M. Dolores JimÃ©nez-LÃ³pez, Carlos MartÃ{uEB56}ide. por Bel-Enguix, Gemma \| JimÃ©nez-LÃ³pez, M. Dolores \| MartÃ{uEB56}ide, Carlos \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 113Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Pattern Recognition using Neural and Functional Networks [Recurso electrónico] / by Vasantha Kalyani David, Sundaramoorthy Rajasekaran. por David, Vasantha Kalyani \| Rajasekaran, Sundaramoorthy \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 160Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Towards Hybrid and Adaptive Computing [Recurso electrónico] : A Perspective / by Anupam Shukla, Ritu Tiwari, Rahul Kala. por Shukla, Anupam \| Tiwari, Ritu \| Kala, Rahul \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 307Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Innovations in Neural Information Paradigms and Applications [Recurso electrónico] / edited by Monica Bianchini, Marco Maggini, Franco Scarselli, Lakhmi C. Jain. por Bianchini, Monica \| Maggini, Marco \| Scarselli, Franco \| Jain, Lakhmi C \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 247Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Artificial Neural Networks in Vehicular Pollution Modelling [Recurso electrónico] / by Mukesh Khare, S. M. Shiva Nagendra. por Khare, Mukesh \| Nagendra, S. M. Shiva \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 41Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Tuning Metaheuristics [Recurso electrónico] : A Machine Learning Perspective / by Mauro Birattari. por Birattari, Mauro \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 197Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Intelligent Distributed Computing III [Recurso electrónico] : Proceedings of the 3rd International Symposium on Intelligent Distributed Computing â€{u0244}C 2009, Ayia Napa, Cyprus,October 2009 / edited by George Angelos Papadopoulos, Costin Badica. por Papadopoulos, George Angelos \| Badica, Costin \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 237Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Multi-Objective Evolutionary Algorithms for Knowledge Discovery from Databases [Recurso electrónico] / edited by Ashish Ghosh, Satchidananda Dehuri, Susmita Ghosh. por Ghosh, Ashish \| Dehuri, Satchidananda \| Ghosh, Susmita \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 98Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in Intelligent Information and Database Systems [Recurso electrónico] / edited by Ngoc Thanh Nguyen, RadosÅ{u1DE0}Katarzyniak, Shyi-Ming Chen. por Nguyen, Ngoc Thanh \| Katarzyniak, RadosÅ{u1DEE} \| Chen, Shyi-Ming \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 283Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Rough â€{u01F2}anular Computing in Knowledge Discovery and Data Mining [Recurso electrónico] / by JarosÅ{u1DE0}Stepaniuk. por Stepaniuk, JarosÅ{u1DEE} \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 152Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Analog Circuits and Systems Optimization based on Evolutionary Computation Techniques [Recurso electrónico] / by Manuel F. M. Barros, Jorge M. C. Guilherme, Nuno C. G. Horta. por Barros, Manuel F. M \| Guilherme, Jorge M. C \| Horta, Nuno C. G \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 294Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Emergent Intelligence of Networked Agents [Recurso electrónico] / edited by Akira Namatame, Satoshi Kurihara, Hideyuki Nakashima. por Namatame, Akira \| Kurihara, Satoshi \| Nakashima, Hideyuki \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 56Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Learning Classifier Systems in Data Mining [Recurso electrónico] / edited by Larry Bull, Ester BernadÃ³-Mansilla, John Holmes. por Bull, Larry \| BernadÃ³-Mansilla, Ester \| Holmes, John \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 125Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Intelligent Distributed Computing, Systems and Applications [Recurso electrónico] : Proceedings of the 2nd International Symposium on Intelligent Distributed Computing â€{u0244}C 2008, Catania, Italy, 2008 / edited by Costin Badica, Giuseppe Mangioni, Vincenza Carchiolo, Dumitru Dan Burdescu. por Badica, Costin \| Mangioni, Giuseppe \| Carchiolo, Vincenza \| Burdescu, Dumitru Dan \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 162Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Geocomputation, Sustainability and Environmental Planning [Recurso electrónico] / edited by Beniamino Murgante, Giuseppe Borruso, Alessandra Lapucci. por Murgante, Beniamino \| Borruso, Giuseppe \| Lapucci, Alessandra \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 348Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Modelling and Optimization of Biotechnological Processes [Recurso electrónico] : Artificial Intelligence Approaches / by Lei Zhi Chen, Xiao Dong Chen, Sing Kiong Nguang. por Chen, Lei Zhi \| Chen, Xiao Dong \| Nguang, Sing Kiong \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 15Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer, 2006Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Advances in Verification of Time Petri Nets and Timed Automata [Recurso electrónico] : A Temporal Logic Approach / by Wojciech Penczek, Agata PÃ³lrola. por Penczek, Wojciech \| PÃ³lrola, Agata \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 20Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Model-Driven Development of Advanced User Interfaces [Recurso electrónico] / edited by Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke. por Hussmann, Heinrich \| Meixner, Gerrit \| Zuehlke, Detlef \| SpringerLink (Online service). Series Studies in Computational Intelligence, 1860-949X ; ; 340Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Ajustar la búsqueda

Disponibilidad

Autores

Tipos de ítem

Series

Temas

Bibliotecas depositarias

Bibliotecas de origen

Idiomas

Su búsqueda obtuvo 388 resultados.