Cargando…

Mobility in Process Calculi and Natural Computing

The design of formal calculi in which fundamental concepts underlying interactive systems can be described and studied has been a central theme of theoretical computer science in recent decades, while membrane computing, a rule-based formalism inspired by biological cells, is a more recent field tha...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Aman, Bogdan (Autor), Ciobanu, Gabriel (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:	1st ed. 2011.
Colección:	Natural Computing Series,
Temas:	Computer science. Artificial intelligence. Bioinformatics. Computational intelligence. Theory of Computation. Artificial Intelligence. Computational and Systems Biology. Computational Intelligence.
Acceso en línea:	Texto Completo

Ejemplares similares

Handbook of Natural Computing
Publicado: (2012)

Biologically-Inspired Collaborative Computing IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy /
Publicado: (2008)

DNA Computing 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers /
Publicado: (2006)

DNA Computing 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers /
Publicado: (2005)

DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers. /
Publicado: (2006)

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /
Publicado: (2008)

DNA Computing and Molecular Programming 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers /
Publicado: (2011)

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings /
Publicado: (2013)

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings /
Publicado: (2013)

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

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

Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings /
Publicado: (2012)

Bioinspired Applications in Artificial and Natural Computation Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II /
Publicado: (2009)

Topics in Grammatical Inference
Publicado: (2016)

Foundations on Natural and Artificial Computation 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I /
Publicado: (2011)

Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I /
Publicado: (2009)

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I /
Publicado: (2013)

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)

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II /
Publicado: (2013)

Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /
Publicado: (2011)

Artificial Computation in Biology and Medicine International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I /
Publicado: (2015)

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II /
Publicado: (2015)

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers /
Publicado: (2007)

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)

New Challenges on Bioinspired Applications 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II /
Publicado: (2011)

Bioinformatics Using Computational Intelligence Paradigms
Publicado: (2005)

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)

Hybrid Systems Biology Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers /
Publicado: (2015)

Advances in Computational Biology Proceedings of the 2nd Colombian Congress on Computational Biology and Bioinformatics (CCBCOL) /
Publicado: (2014)