skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Problem Frames: A Case for Coordination
Problem Frames: A Case for Coordination
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Problem Frames: A Case for Coordination

Barroca, L. ; Fiadeiro, J. L. ; Jackson, M. ; Laney, R. ; Nuseibeh, B.

Coordination Models and Languages, 2004, p.5-19 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Automated Segmentation and Geometrical Modeling of the Tricuspid Aortic Valve in 3D Echocardiographic Images
Automated Segmentation and Geometrical Modeling of the Tricuspid Aortic Valve in 3D Echocardiographic Images
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated Segmentation and Geometrical Modeling of the Tricuspid Aortic Valve in 3D Echocardiographic Images

Pouch, Alison M. ; Wang, Hongzhi ; Takabe, Manabu ; Jackson, Benjamin M. ; Sehgal, Chandra M. ; Gorman, Joseph H. ; Gorman, Robert C. ; Yushkevich, Paul A.

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013, p.485-492 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Segmentation of the Aortic Valve Apparatus in 3D Echocardiographic Images: Deformable Modeling of a Branching Medial Structure
Segmentation of the Aortic Valve Apparatus in 3D Echocardiographic Images: Deformable Modeling of a Branching Medial Structure
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Segmentation of the Aortic Valve Apparatus in 3D Echocardiographic Images: Deformable Modeling of a Branching Medial Structure

Pouch, Alison M. ; Tian, Sijie ; Takabe, Manabu ; Wang, Hongzhi ; Yuan, Jiefu ; Cheung, Albert T. ; Jackson, Benjamin M. ; Gorman, Joseph H. ; Gorman, Robert C. ; Yushkevich, Paul A.

Statistical Atlases and Computational Models of the Heart - Imaging and Modelling Challenges, p.196-203 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms
Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated formal analysis of networks: FDR models of arbitrary topologies and flow-control mechanisms

Reed, JN ; Jackson, DM ; Deianov, B ; Reed, GM

Fundamental Approaches to Software Engineering, 1998, p.239-254 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
The Role of Formalism in Method
The Role of Formalism in Method
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Role of Formalism in Method

Jackson, Michael

FM’99 — Formal Methods, 1999, p.56-56 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Constructive methods of program design
Constructive methods of program design
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Constructive methods of program design

Jackson, M. A.

ECI Conference 1976, 2005, p.236-262 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Description is our business
Description is our business
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Description is our business

Jackson, Michael

VDM'91 Formal Software Development Methods, 1991, p.1-8 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Determining the Specification of a Control System from That of Its Environment
Determining the Specification of a Control System from That of Its Environment
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Determining the Specification of a Control System from That of Its Environment

Hayes, Ian J. ; Jackson, Michael A. ; Jones, Cliff B.

FME 2003: Formal Methods, 2003, p.154-169 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Experiences in embedded scheduling
Experiences in embedded scheduling
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Experiences in embedded scheduling

Jackson, David M.

FME'96: Industrial Benefit and Advances in Formal Methods, 2005, p.445-464 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Timed CSP: Theory and practice
Timed CSP: Theory and practice
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Timed CSP: Theory and practice

Real-Time: Theory in Practice, 1992, p.640-675 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (29)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.