<--- Back to Details
First PageDocument Content
Knowledge / University of Oldenburg / Catholic University / Pontifical university / Technical University of Madrid / Institute of technology / Erasmus/Socrates Partners of Marmara University / Top Industrial Managers for Europe / Education / Academia / Grandes écoles
Date: 2015-03-31 07:26:12
Knowledge
University of Oldenburg
Catholic University
Pontifical university
Technical University of Madrid
Institute of technology
Erasmus/Socrates Partners of Marmara University
Top Industrial Managers for Europe
Education
Academia
Grandes écoles

Country Argentina Argentina Australia Australia Australia

Add to Reading List

Source URL: www.studyabroadinamsterdam.nl

Download Document from Source Website

File Size: 270,81 KB

Share Document on Facebook

Similar Documents

Machine learning / Semi-supervised learning / Labeled data / Supervised learning

Estimating the strength of unlabeled information during semi-supervised learning Brenden M. Lake () Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology James L. McClelland (m

DocID: 1xVKT - View Document

Model checkers / Software engineering / Theoretical computer science / Formal methods / C / C++ / Sizeof / Model checking / Promela / Abstraction / Computing / Abstract interpretation

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

DocID: 1xVIA - View Document

FO / Finite model theory / Model theory / Metaphilosophy / Mathematical logic / Mathematics / Sigma-algebra / Pattern language

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1xVrl - View Document

Bharat Broadband Network / Spreadsheet / Wi-Fi / Application programming interface / Global Positioning System / Microsoft Excel / Computing / Technology / Software

BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3

DocID: 1xVoC - View Document

Model checkers / Software engineering / Computing / Model checking / Theoretical computer science / SPIN model checker / Stack / Promela / Exception handling / Device driver synthesis and verification

Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

DocID: 1xVnS - View Document