Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /

Código QR

Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Leporati, Alberto. (Editor ), Rozenberg, Grzegorz. (Editor ), Salomaa, Arto. (Editor ), Zandron, Claudio. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10105
Materias:	Computers. Algorithms. Software engineering. Computer logic. Pattern recognition. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Software Engineering. Logics and Meanings of Programs. Pattern Recognition.

Ejemplares similares

Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado: (2017)

Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado: (2017)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Publicado: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado: (2017)

Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado: (2017)

Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
Publicado: (2017)

Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado: (2017)

Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado: (2017)

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado: (2017)

Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado: (2017)

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado: (2017)

Scale Space and Variational Methods in Computer Vision : 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings /
Publicado: (2017)

Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado: (2017)

Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado: (2017)

NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado: (2017)

Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por: Zeume, Thomas.
Publicado: (2017)

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /
Publicado: (2017)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado: (2017)

Discrete Geometry for Computer Imagery : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedings /
Publicado: (2017)

On Sets and Graphs : Perspectives on Logic and Combinatorics /
por: Omodeo, Eugenio G., et al.
Publicado: (2017)

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado: (2017)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado: (2017)

Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado: (2017)

Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado: (2017)

Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
Publicado: (2017)

Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado: (2017)

Intelligent Data Engineering and Automated Learning – IDEAL 2017 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedings /
Publicado: (2017)

Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado: (2017)

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado: (2017)

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers /
Publicado: (2017)

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado: (2017)

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /
Publicado: (2017)

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
Publicado: (2017)

Biometric Recognition 12th Chinese Conference, CCBR 2017, Shenzhen, China, October 28-29, 2017, Proceedings /
Publicado: (2017)

Graphic Recognition. Current Trends and Challenges : 11th International Workshop, GREC 2015, Nancy, France, August 22–23, 2015, Revised Selected Papers /
Publicado: (2017)

Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado: (2017)

Pervasive Computing : Engineering Smart Systems /
por: Silvis-Cividjian, Natalia.
Publicado: (2017)