Kanäle - Theory and Applications of Satisfiability Testing : :: Biblioteca ITESO

Ähnliche Einträge: Theory and Applications of Satisfiability Testing :

Vorschau
Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
Vorschau
Integer Programming and Combinatorial Optimization : 17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : Proceedings /
Vorschau
Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : Proceedings /
Vorschau
Frontiers in Algorithmics : 8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : Proceedings /
Vorschau
Fun with Algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : Proceedings /
Vorschau
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : Proceedings /
Vorschau
Computer Science, Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : Proceedings /
Vorschau
Algorithm Theory : SWAT 2012 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : Proceedings /
Vorschau
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part II /
Vorschau
Coordination Models and Languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014 Berlin, Germany, June 3-5, 2014 : Proceedings /
Vorschau
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings /
Vorschau
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
Vorschau
Efficient Algorithms for Global Optimization Methods in Computer Vision : International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20–25, 2011 : Revised Selected Papers /
Vorschau
Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : Proceedings /
Vorschau
Theory and Practice of Natural Computing : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014 : Proceedings /
Vorschau
Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10–12, 2014 : Revised Selected Papers /
Vorschau
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : Proceedings, Part I /
Vorschau
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : Proceedings, Part II /
Vorschau
LATIN 2014 : Theoretical Informatics : 11th Latin American Symposium Montevideo, Uruguay, March 31–April 4, 2014 : Proceedings /
Vorschau
Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : Proceedings /
Vorschau
Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Vorschau
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : Proceedings /
Vorschau
Computational Science and Its Applications, ICCSA 2014 : 14th International Conference, Guimarães, Portugal, June 30–July 3, 2014 : Proceedings, Part VI /
Vorschau
Bio-Inspired Computing, Theories and Applications : 9th International Conference, BIC-TA 2014, Wuhan, China, October 16-19, 2014 : Proceedings /

Thema: Algoritmos Computacionales

Thema: Autómatas Matemáticos - Teoría

Verfasser: Sinz, Carsten (edición)

Vorschau
Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /

Verfasser: Egly, Uwe (edición)

Vorschau
Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0