1 |
Tango: A Spanish-Based Programming Language
|
|
|
|
In: Undergraduate Honors Thesis Collection (2016)
|
|
BASE
|
|
Show details
|
|
2 |
ЭВМ и тувинский язык: обзор исследовательских работ тувинского государственного университета
|
|
|
|
BASE
|
|
Show details
|
|
3 |
ТРАНСЛЯТОР ЯЗЫКА ЛЯПАС-Т НА ЯЗЫК АССЕМБЛЕРА ДЛЯ ОС WINDOWS И LINUX
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
5 |
Extension de C-SPARQL pour l’échantillonnage de flux de graphes RDF
|
|
|
|
In: ISSN: 1764-1667 ; Revue des Nouvelles Technologies de l'Information ; https://hal.archives-ouvertes.fr/hal-01370038 ; Revue des Nouvelles Technologies de l'Information, Editions RNTI, 2016, Extraction et Gestion des Connaissances (2016)
|
|
BASE
|
|
Show details
|
|
6 |
XMG2: Describing Description Languages
|
|
|
|
In: Logical Aspects of Computational Linguistics (LACL 2016) ; https://hal.archives-ouvertes.fr/hal-01361316 ; Logical Aspects of Computational Linguistics (LACL 2016), Dec 2016, Nancy, France. pp.255-272, ⟨10.1007/978-3-662-53826-5_16⟩ ; http://lacl.gforge.inria.fr/lacl-2016/index-presentation.html (2016)
|
|
BASE
|
|
Show details
|
|
7 |
New Results on Morris's Observational Theory ; New Results on Morris's Observational Theory: the benefits of separating the inseparable
|
|
|
|
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; https://hal.inria.fr/hal-01337192 ; Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩ ; http://fscd2016.dcc.fc.up.pt/ (2016)
|
|
BASE
|
|
Show details
|
|
8 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
9 |
Generic Programming in OCaml
|
|
|
|
In: OCaml 2016 - The OCaml Users and Developers Workshop ; https://hal.inria.fr/hal-01413061 ; OCaml 2016 - The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan (2016)
|
|
BASE
|
|
Show details
|
|
10 |
Algorithms for Identifying Syntactic Errors and Parsing with Graph Structured Output
|
|
|
|
In: Kummerfeld, Jonathan Kay. (2016). Algorithms for Identifying Syntactic Errors and Parsing with Graph Structured Output. UC Berkeley: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/242120m5 (2016)
|
|
BASE
|
|
Show details
|
|
11 |
Artificial Intelligence as a Tool for Understanding Narrative Choices
|
|
|
|
In: Mawhorter, Peter Andrew. (2016). Artificial Intelligence as a Tool for Understanding Narrative Choices. UC Santa Cruz: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/1tn22145 (2016)
|
|
BASE
|
|
Show details
|
|
12 |
Flexible Sequence Matching Technique:An Effective Learning-free Approach For word-spotting
|
|
|
|
In: ISSN: 0031-3203 ; Pattern Recognition ; https://hal.archives-ouvertes.fr/hal-01321130 ; Pattern Recognition, Elsevier, 2016, ⟨10.1016/j.patcog.2016.05.011⟩ ; http://authors.elsevier.com/sd/article/S0031320316300942 (2016)
|
|
BASE
|
|
Show details
|
|
13 |
APIs in Digital Humanities: The Infrastructural Turn
|
|
|
|
In: Digital Humanities 2016 ; https://hal.archives-ouvertes.fr/hal-01348706 ; Digital Humanities 2016, Jul 2016, Cracovie, Poland. pp.93-96 ; http://dh2016.adho.org/ (2016)
|
|
BASE
|
|
Show details
|
|
14 |
Teaching Functional Patterns through Robotic Applications ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
HotPotatoes for Advanced users - Thinking outside the box ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
PaniniJ: adding the capsule programming abstraction to Java to provide linguistic support for modular reasoning in concurrent program design
|
|
|
|
In: Graduate Theses and Dissertations (2016)
|
|
BASE
|
|
Show details
|
|
|
|