A mostrar 161 - 180 resultados de 409 para a pesquisa 'Tools and Algorithms for the Construction and Analysis of Systems', Forespørselstid: 0.17seg Refinar resultados
162
Automated technology for verification and analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /
“... automata -- Protocols analysis, case studies, and tools -- An EFSM-based intrusion detection system for ad...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
165
An integrated approach to epitope analysis I: Dimensional reduction, visualization and prediction of MHC binding using amino acid principal components and regression approaches
af Bremel, Robert D, Homan, E Jane
Udgivet 2010
“..., computational and statistical tools have evolved to handle multivariate and megavariate analysis, but these have...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
Føj til favoritter
Na minha lista:
167
Programming languages and systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, proceedings /
“... system -- Slicing-based trace analysis of rewriting logic specifications with iJULIENNE -- Why3 — Where...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
168
Programming languages and systems 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
“... semantics for hybrid systems -- Full abstraction for Linda -- Practical programming with higher-order...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
169
Responsive Architecture
Fag: “...digital tools...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
172
Architecture and Engineering
Udgivet 2020
Fag: “...structural system...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
173
A Circular Built Environment in the Digital Age
Fag: “..., surveying & building::TNK Building construction & materials...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
177
Buildings: 10th Anniversary
Udgivet 2024
Fag: “...construction industry...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
178
Buildings: 10th Anniversary
Udgivet 2024
Fag: “...construction industry...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
179
Rectified factor networks for biclustering of omics data
Fag: “...Ismb/Eccb 2017: The 25th Annual Conference Intelligent Systems for Molecular Biology Held Jointly...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
Føj til favoritter
Na minha lista:
180
Symmetry in Mechanical Engineering
Udgivet 2020
Fag: “...signal analysis...”
Få fuldtekst
Livro
Føj til favoritter
Na minha lista:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning