Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 51 Para Buscar 'Computer science.', tiempo de consulta: 0.08s Limitar resultados
1
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory...”
eBook
2
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Population Protocols -- Verification of Quantum Computation and the Price of Trust -- Graph Sketching...”
eBook
3
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Computers....”
eBook
4
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
Enlace del recurso
eBook
5
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
Tabla de Contenidos: “...Coherence Spaces and Higher-Order Computation -- Coherence Spaces and Uniform Continuity...”
eBook
6
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “...Cameo of a Consummate Computabilist -- Surfing with Rod -- Prequel to the Cornell Computer Science...”
eBook
7
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
8
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...The Power of Analogue-digital Machines -- Ways to Compute in Euclidean Frameworks. - Real-Time...”
eBook
9
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods....”
eBook
10
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation...”
eBook
11
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Materias: “...Probability and Statistics in Computer Science....”
eBook
12
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...; concurrency -- Celluar automata -- Bio-inspiredcomputing -- Quantum computing....”
eBook
13
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
14
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation...”
eBook
15
Security of Industrial Control Systems and Cyber-Physical Systems : Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Data encryption (Computer science)....”
eBook
16
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
17
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer logic....”
eBook
18
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer logic....”
eBook
19
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Probability and Statistics in Computer Science....”
eBook
20
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda