DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 39

1
Functional programming in F#
Hansen, Michael R.; Rischel, Hans. - cambridge : Cambridge University Press, 2013
MPI für Psycholinguistik
Show details
2
Constraint satisfaction programming for video summarization
In: IEEE International Symposium on Multimedia ; https://hal.inria.fr/hal-00909370 ; IEEE International Symposium on Multimedia, Dec 2013, Anaheim, California, United States (2013)
BASE
Show details
3
Popularity, Interoperability, and Impact of Programming Languages in 100,000 Open Source Projects
In: Proceedings of the 37th Annual International Computer Software & Applications Conference (COMPSAC 2013) ; 37th Annual International Computer Software & Applications Conference (COMPSAC 2013) ; https://hal.archives-ouvertes.fr/hal-00809451 ; 37th Annual International Computer Software & Applications Conference (COMPSAC 2013), Jul 2013, Kyoto, Japan. pp.1-10 (2013)
BASE
Show details
4
Proofs You Can Believe In. Proving Equivalences Between Prolog Semantics in Coq
In: 15th International Symposium on Principles and Practice of Declarative Programming (PPDP) ; https://hal.inria.fr/hal-00908848 ; 15th International Symposium on Principles and Practice of Declarative Programming (PPDP), Sep 2013, Madrid, Spain. pp.37-48 (2013)
BASE
Show details
5
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic
In: https://hal.inria.fr/hal-00916882 ; [Research Report] RR-8420, INRIA. 2013, pp.30 (2013)
BASE
Show details
6
Elaborating inductive definitions
In: JFLA - Journées francophones des langages applicatifs ; https://hal.inria.fr/hal-00778975 ; JFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France (2013)
BASE
Show details
7
Extensible Document-Based Model Web Engineering
In: Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on ; https://hal.archives-ouvertes.fr/hal-01073662 ; Research Challenges in Information Science (RCIS), 2013 IEEE Seventh International Conference on, May 2013, Paris, France. pp.1 - 11, ⟨10.1109/RCIS.2013.6577713⟩ (2013)
BASE
Show details
8
Towards Multilingual Programming Environments
In: ISSN: 0167-6423 ; Science of Computer Programming ; https://hal.inria.fr/hal-00923385 ; Science of Computer Programming, Elsevier, 2013, pp.8 (2013)
BASE
Show details
9
API design for machine learning software: experiences from the scikit-learn project
In: European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases ; https://hal.inria.fr/hal-00856511 ; European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases, Sep 2013, Prague, Czech Republic (2013)
BASE
Show details
10
Project Management within Economic Intelligence: using NooJ as Diagnostic Tool for nanometrology cluster
In: NooJ 2013 International Conference ; https://hal.inria.fr/hal-00927180 ; NooJ 2013 International Conference, The Language Technology Lab of the German Research Center for Artificial Intelligence (DFKI GmbH), Jun 2013, Saarbrücken, Germany (2013)
BASE
Show details
11
Formant tracking by Multiresolution Analysis ; Suivi de formants par analyse en multirésolution
Jemâa, Imen. - : HAL CCSD, 2013
In: https://hal.univ-lorraine.fr/tel-01749421 ; Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0026⟩ (2013)
BASE
Show details
12
Denotational Semantics of A User-Oriented, Domain-Specific Language
In: ISSN: 2075-2180 ; Electronic Proceedings in Theoretical Computer Science ; https://hal.inria.fr/hal-00865381 ; Electronic Proceedings in Theoretical Computer Science, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩ (2013)
BASE
Show details
13
A Component-Based Approach for Specifying DSML's Concrete Syntax
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
BASE
Show details
14
“Facets” and “Prisms” as a Means to Achieve Pedagogical Indexation of Texts for Language Learning: Consequences of the Notion of Pedagogical Context
In: Software and Data Technologies ; https://hal.archives-ouvertes.fr/hal-01294208 ; José Cordeiro; Maria Virvou; Boris Shishkov. Software and Data Technologies, 170, Springer-Verlag, pp.253-268, 2013, Communications in Computer and Information Sciences, 978-3-642-29577-5. ⟨10.1007/978-3-642-29578-2_16⟩ ; http://link.springer.com/chapter/10.1007/978-3-642-29578-2_16 (2013)
BASE
Show details
15
Denotational Semantics of A User-Oriented, Domain-Specific Language ...
BASE
Show details
16
EasyTime++: A case study of incremental domain-specific language development ...
BASE
Show details
17
Intensional Cyberforensics ...
Mokhov, Serguei A.. - : arXiv, 2013
BASE
Show details
18
Coalgebraic Logic Programming: from Semantics to Implementation ...
BASE
Show details
19
The dimensions and complexities of audio-visual association.
Tsiros, Augoustinos. - : BCS, The Chartered Institute for IT, 2013
BASE
Show details
20
Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds:Four Kinds of Schema
Wang, Zhe; Chalmers, Kevin. - : Elsevier, 2013
BASE
Show details

Page: 1 2

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