Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 36 Para Buscar '"Computational Science"', tiempo de consulta: 0.03s Limitar resultados
1
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
por O'Regan, Gerard.
Publicado 2017
“...Undergraduate Topics in Computer Science,...”
eBook
2
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por Ölveczky, Peter Csaba.
Publicado 2017
“...Undergraduate Topics in Computer Science,...”
eBook
3
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
Enlace del recurso
eBook
4
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
Enlace del recurso
eBook
5
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
Enlace del recurso
eBook
6
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
Enlace del recurso
eBook
7
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
8
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
9
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
10
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
11
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
“...Theoretical Computer Science and General Issues ;...”
eBook
12
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
13
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
14
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
15
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 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
“...Theoretical Computer Science and General Issues ;...”
eBook
16
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
17
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
18
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
19
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
“...Theoretical Computer Science and General Issues ;...”
eBook
20
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Publicado 2017
“...Theoretical Computer Science and General Issues ;...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda