Channels - Implementation and Application of Functional Languages : :: Biblioteca ITESO

Những quyển sách tương tự: Implementation and Application of Functional Languages :

Quick Look
An Introduction to Formal Languages and Automata /
Quick Look
An Introduction to Formal Languages and Automata /
Quick Look
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /
Quick Look
Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
Quick Look
Formal Languages and Computation : Models and Their Applications /
Quick Look
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
Quick Look
Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : Proceedings /
Quick Look
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
Quick Look
Handbook of Formal Languages : Word, Language, Grammar /
Quick Look
Handbook of Formal Languages : Linear Modeling : Background and Application /
Quick Look
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi /
Quick Look
Handbook of Formal Languages : Beyond Words /
Quick Look
Modern Compiler Design /
Quick Look
Introduction to the Theory of Computation /
Quick Look
Abstract State Machines, Alloy, B, TLA, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : Proceedings /
Quick Look
Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
Quick Look
FM 2014 : Formal Methods : 19th International Symposium Singapore, May 12-16, 2014 : Proceedings /
Quick Look
Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /
Quick Look
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 /
Quick Look
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
Quick Look
Prolog /
Quick Look
Prolog /
Quick Look
Software Language Engineering : 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : Proceedings /
Quick Look
Introducción a la teoría de la computación : autómatas y lenguajes formales /

Đề tài: Programación Funcional (Software)

Đề tài: Lenguajes de Programación

Tác giả: Hinze, Ralf (edición)

Quick Look
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /

Tác giả: IFL: Symposium on Implementation and Application of Functional Languages ( Oxford, Inglaterra)

Quick Look
Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012 : Revised Selected Papers /

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