Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
quantitative applications » automotive applications
applications program » applications programs, application program, application programs
program programs » program program, programs program, program progress
programs based » programs case, programming based
based https » based http
quantitative applications » automotive applications
applications program » applications programs, application program, application programs
program programs » program program, programs program, program progress
programs based » programs case, programming based
based https » based http
1
Publicado em 2014
Sumário:
“...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... Intuitionistic Sequent Terms -- Intuitionistic vs. Classical Tautologies, Quantitative Comparison...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... -- Security Testing in Agile Web Application Development - A Case Study Using the EAST Methodology -- Adoption...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2014
Sumário:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Assuntos:
“...Measurement Science and Instrumentation. https://scigraph.springernature.com/ontologies/product...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2012
Sumário:
“... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2012
Sumário:
“...-Oriented Programming.- Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2010
Sumário:
“... Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2015
Assuntos:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Assuntos:
“...Quantitative Finance. https://scigraph.springernature.com/ontologies/product-market-codes/M13062...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2007
Sumário:
“... Logical Approach to Qualitative and Quantitative Reasoning -- Description Logic Programs Under...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2014
Sumário:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“...Algorithms for Energy Management -- Sofic and Almost of Finite Type Tree-Shifts -- Proof-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“... Variants over Dense Time -- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“...Methods -- Static Monte Carlo -- Dynamic Monte Carlo -- Dynamic Programming for Stochastic...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Sumário:
“...Chapter 1 Introduction to Software Reliability Modeling and Its Applications -- 1. Introduction...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“... and Web-Based Applications -- Extending UML for a Context-Based Navigation Modeling Framework of Web...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2015
Sumário:
“... on the Industry 4.0 -- Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2013
Sumário:
“... using Quantitative Model Checking -- Parameterized Verification of Asynchronous Shared-Memory Systems...”Obter o texto integral
Recurso Electrónico
livro electrónico