Materias dentro de su búsqueda.
Mostrando 81 - 100 Resultados de 127 Para Buscar 'Theoretical computer science and general issues.', tiempo de consulta: 0.09s Limitar resultados
81
New Trends in Mechanism and Machine Science : Theory and Applications in Engineering /
Publicado 2013
Tabla de Contenidos: “...Preface -- Theoretical kinematics: Kinematical Capabilities of an Inversion of the Double Linked...”
eBook
82
String Processing and Information Retrieval : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- On Two LZ78-style Grammars: Compression Bounds and Compressed-Space Computation.-On suffix tree breadth...”
eBook
83
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
84
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part V /
Publicado 2017
Tabla de Contenidos: “...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
85
Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Computers....”
eBook
86
Information Retrieval : 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings /
Publicado 2017
Materias: “...Natural language processing (Computer science)....”
eBook
87
Stabilization, Safety, and Security of Distributed Systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self...”
eBook
88
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... Schedulability Analysis Tools -- WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs...”
eBook
89
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
Tabla de Contenidos: “...Disjoint Polymorphism -- Generalizing inference systems by coaxioms -- Observed Communication...”
eBook
90
Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Extraction -- Generalized Hybrid Evolutionary Algorithm Framework with a Mutation Operator Requiring...”
eBook
91
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings /
Publicado 2017
Materias: “...Computer simulation....”
Enlace del recurso
eBook
92
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
93
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
Enlace del recurso
eBook
94
Digital Nations – Smart Cities, Innovation, and Sustainability : 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21–23, 2017, Proceedings /
Publicado 2017
Materias: “...Computer Appl. in Social and Behavioral Sciences....”
eBook
95
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring...”
eBook
96
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part III /
Publicado 2017
Tabla de Contenidos: “...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
97
Evolutionary Multi-Criterion Optimization : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... optimization -- Computing 3-D expected hyper-volume improvement and related integrals in asymptotically optimal...”
eBook
98
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Publicado 2017
Materias: “...Programming languages (Electronic computers)....”
eBook
99
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... data management and analytics -- Cluster and cloud computing -- Distributed systems and algorithms...”
eBook
100
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda