Materias dentro de su búsqueda.
Mostrando 21 - 38 Resultados de 38 Para Buscar '"Algorithms."', tiempo de consulta: 0.06s Limitar resultados
21
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
22
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
23
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... text algorithms -- Symbolic dynamics -- Decision problems -- Relationships to complexity theory...”
eBook
24
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Algorithms....”
eBook
25
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
26
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
27
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
28
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... and Muchnik Degrees of Recursively Bounded DNR Functions -- Algorithmic Statistics: Forty Years Later...”
eBook
29
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
30
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
31
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
32
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security....”
eBook
33
Logic Synthesis for FSM-Based Control Units
Tabla de Contenidos: “...Hardwired Interpretation of Control Algorithms -- Matrix Realization of Control Units -- Evolution...”
Enlace del recurso
eBook
34
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”
Enlace del recurso
eBook
35
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation...”
eBook
36
Provably Correct Systems /
Publicado 2017
Tabla de Contenidos: “...: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV...”
eBook
37
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: “..., and Behavioral Types -- Temporary Read-Only Permissions for Separation Logic -- Faster Algorithms for Weighted...”
eBook
38
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Expansion Renormalization Algorithm -- How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda