Treffer 161 - 180 von 1.914

161

Dieses Ergebnis kann Gästen nicht angezeigt werden.

162

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
Bozzelli, Laura ; MOLINARI, ALBERTO ; MONTANARI, Angelo ; et al.
Electronic Proceedings in Theoretical Computer Science, Vol 226, Iss Proc. GandALF 2016, Pp 76-90 (2016)

FOS: Computer and inform... Computer Science - Logic... 0102 computer and inform... 02 engineering and techn... Formal logic 01 natural sciences
Fachzeitschrift
Zu den Favoriten
163

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Legay, Axel ; Margaria, Tiziana
International Journal on Software Tools for Technology Transfer. :1-2

Fachzeitschrift
Zu den Favoriten
164

Foundations of Automotive Software
Arthur, David ; Becker, Christopher ; Epstein, Alex ; et al.

Computer programming lan... Standards Network analysis (Planni... Computer security Computers Computer models
Report
Zu den Favoriten
165

Dieses Ergebnis kann Gästen nicht angezeigt werden.

166

Using ANFIS and FML for Deploying Transparent Services in Smart Environments
Acampora Giovanni ; Loia Vincenzo ; Vitiello Autilia
2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing. :628-633

Fuzzy Markup Language Adaptive neuro-fuzzy inf... Internet Markup languages Interoperable services Ubiquitous computing
Fachzeitschrift
Zu den Favoriten
167

ePV-Trainer: Software for dimensioning stand-alone and grid-connected photovoltaic systems for educational purposes
Osuna D.E. ; Castro C. ; Arredondo C.A. ; et al.
Measurement. 112:67-73

2. Zero hunger Stand-alone systems Photovoltaic cells Payback period 0208 environmental biote... Standalone systems
Fachzeitschrift
Zu den Favoriten
168

Using Domain Specific Languages to Improve the Development of a Power Control Unit
Schuts, M. ; Hooman, J. ; Ganzha, M. ; et al.
Annals of computer science and information systems, Vol 5, Pp 781-788 (2015)
Ganzha, M. (ed.), Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 781-788
Federated Conference on Computer Science and Information Systems, FedCSIS 2015, 13 September 2015 through 16 September 2015, pp. 781-788.

Computer programming lan... DSL Industrial Innovation Power control unit State transitions Electronic computers. Co...
Fachzeitschrift
Zu den Favoriten
169

A Fuzzy-based approach to programming language independent source-code plagiarism detection
Acampora Giovanni ; Cosma Georgina
2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). :1-8

Adaptive neuro-fuzzy inf... Clustering algorithms Program compilers Computational linguistic... 02 engineering and techn... Plagiarism
Fachzeitschrift
Zu den Favoriten
170

Armadillo: A Compilation Chain for Privacy Preserving Applications
Carpov, S. ; Dubrulle, P. ; Sirdey, R. ; et al.
Proceedings of the 3rd International Workshop on Security in Cloud Computing. :13-19

High level languages Encrypted data Chains 02 engineering and techn... [INFO] Computer Science... 16. Peace & justice
Fachzeitschrift
Zu den Favoriten
171

Dieses Ergebnis kann Gästen nicht angezeigt werden.

172

Dieses Ergebnis kann Gästen nicht angezeigt werden.

173

Dieses Ergebnis kann Gästen nicht angezeigt werden.

174

Dieses Ergebnis kann Gästen nicht angezeigt werden.

175

Dieses Ergebnis kann Gästen nicht angezeigt werden.

176

Dieses Ergebnis kann Gästen nicht angezeigt werden.

177

Dieses Ergebnis kann Gästen nicht angezeigt werden.

178

Dieses Ergebnis kann Gästen nicht angezeigt werden.

179

Dieses Ergebnis kann Gästen nicht angezeigt werden.

180

Dieses Ergebnis kann Gästen nicht angezeigt werden.


Filter