Cargando…

Modeling Time in Computing

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Furia, Carlo A. (Autor), Mandrioli, Dino (Autor), Morzenti, Angelo (Autor), Rossi, Matteo (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:	1st ed. 2012.
Colección:	Monographs in Theoretical Computer Science. An EATCS Series,
Temas:	Computer science. Computers. Computer science-Mathematics. Artificial intelligence. Theory of Computation. Computer Hardware. Mathematics of Computing. Artificial Intelligence.
Acceso en línea:	Texto Completo

Ejemplares similares

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /
Publicado: (2006)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings /
Publicado: (2007)

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /
Publicado: (2008)

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
Publicado: (2005)

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /
Publicado: (2007)

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /
Publicado: (2008)

Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /
Publicado: (2007)

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
Publicado: (2006)

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /
Publicado: (2006)

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings /
Publicado: (2009)

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012, Proceedings /
Publicado: (2012)

DNA Computing and Molecular Programming 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings /
Publicado: (2014)

DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
Publicado: (2016)

DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011, Proceedings /
Publicado: (2011)

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /
Publicado: (2013)

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
Publicado: (2015)

Bioinformatics Using Computational Intelligence Paradigms
Publicado: (2005)

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
Publicado: (2008)

Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /
Publicado: (2014)

Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings /
Publicado: (2015)

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings /
Publicado: (2007)

Computer and Information Science
Publicado: (2008)

Analyzing Evolutionary Algorithms The Computer Science Perspective /
por: Jansen, Thomas
Publicado: (2013)

Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory Computational Intelligence and Soft Computing Applications /
por: Kaburlasos, Vassilis G.
Publicado: (2006)

Fuzzy Sets and Their Extensions: Representation, Aggregation and Models Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision /
Publicado: (2008)

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
Publicado: (2006)

Dependability Modelling under Uncertainty An Imprecise Probabilistic Approach /
por: Limbourg, Philipp
Publicado: (2008)

The Complexity of Valued Constraint Satisfaction Problems
por: Živný, Stanislav
Publicado: (2012)

Simulating Fuzzy Systems
por: Buckley, James J.
Publicado: (2005)

Natural Computing Algorithms
por: Brabazon, Anthony, et al.
Publicado: (2015)

Evolvable Hardware
Publicado: (2006)

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers /
Publicado: (2014)

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings /
Publicado: (2016)

Applications of Evolutionary Computation EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II /
Publicado: (2011)

Applications of Evolutionary Computation EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I /
Publicado: (2011)

Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings /
Publicado: (2012)

Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers /
Publicado: (2011)

Computational Intelligence Engineering of Hybrid Systems /
por: Negoita, Mircea Gh, et al.
Publicado: (2005)

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /
Publicado: (2008)

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Publicado: (2012)