चैनल - FM 2014 : :: Biblioteca ITESO

समान संसाधन: FM 2014 :

त्वरित देखें
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part I /
त्वरित देखें
Foundations of Software Science and Computation Structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings /
त्वरित देखें
Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
त्वरित देखें
Theory and Applications of FormalArgumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : Revised Selected Papers /
त्वरित देखें
Intelligent ComputerMathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : Proceedings /
त्वरित देखें
Language, Life, Limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : Proceedings /
त्वरित देखें
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : Proceedings, Part I /
त्वरित देखें
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : Proceedings, Part II /
त्वरित देखें
Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : Proceedings /
त्वरित देखें
Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013 : Proceedings /
त्वरित देखें
Transactions on Computational Science : XXIV : Special Issue on Reversible Computing /
त्वरित देखें
Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /
त्वरित देखें
An Introduction to Formal Languages and Automata /
त्वरित देखें
An Introduction to Formal Languages and Automata /
त्वरित देखें
LATIN 2014 : Theoretical Informatics : 11th Latin American Symposium Montevideo, Uruguay, March 31–April 4, 2014 : Proceedings /
त्वरित देखें
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
त्वरित देखें
Introduction to the Theory of Computation /
त्वरित देखें
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014 : Proceedings /
त्वरित देखें
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
त्वरित देखें
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014 Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
त्वरित देखें
Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : Proceedings /
त्वरित देखें
25 Years of Model Checking : History, Achievements, Perspectives /
त्वरित देखें
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : Proceedings, Part II /
त्वरित देखें
Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : Proceedings /

विषय: Algoritmos Computacionales

विषय: Codificación - Teoría

लेखक: Jones, Cliff (edición)

त्वरित देखें
FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /

लेखक: Pihlajasaari, Pekka (edición)

त्वरित देखें
FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /

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