DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 24

1
Tango: A Spanish-Based Programming Language
In: Undergraduate Honors Thesis Collection (2016)
BASE
Show details
2
ЭВМ и тувинский язык: обзор исследовательских работ тувинского государственного университета
ДАЛАА СЕРГЕЙ МОНГУШЕВИЧ. - : Редакция журнала «Новые исследования Тувы», 2016
BASE
Show details
3
ТРАНСЛЯТОР ЯЗЫКА ЛЯПАС-Т НА ЯЗЫК АССЕМБЛЕРА ДЛЯ ОС WINDOWS И LINUX
КНЯЗЕВ ВЛАДИМИР НИКОЛАЕВИЧ; КНЯЗЕВА МАРИНА СЕРГЕЕВНА. - : Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Национальный исследовательский Томский государственный университет», 2016
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
Kummerfeld, Jonathan Kay. - : eScholarship, University of California, 2016
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
Mawhorter, Peter Andrew. - : eScholarship, University of California, 2016
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 ...
Boender, J.; Currie, E.; Loomes, M.. - : arXiv, 2016
BASE
Show details
15
HotPotatoes for Advanced users - Thinking outside the box ...
Bogdanov, Stan. - : figshare, 2016
BASE
Show details
16
HotPotatoes for Advanced users - Thinking outside the box ...
Bogdanov, Stan. - : figshare, 2016
BASE
Show details
17
HotPotatoes for Advanced users - Thinking outside the box ...
Bogdanov, Stan. - : figshare, 2016
BASE
Show details
18
From Events to Reactions: A Progress Report ...
Garnock-Jones, Tony. - : arXiv, 2016
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
20
Engineering Sustainability Through Language
Chitchyan, Ruzanna; Cazzola, W.; Rashid, A.. - : Institute of Electrical and Electronics Engineers (IEEE), United States, 2016
BASE
Show details

Page: 1 2

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
24
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern