skip to main content
Resultados 1 2 3 4 next page
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

INVERSE SAMPLING PROCEDURES TO TEST FOR HOMOGENEITY IN A MULTIVARIATE HYPERGEOMETRIC DISTRIBUTION

Liu, Jun

2012

Texto completo disponível

2
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols

Hanna, Youssef Wasfy ; Rajan, Hridesh ; Wensheng, Zhang

Digital Repository @ Iowa State University 2006

Texto completo disponível

3
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

A Type Notation for Scheme

Leavens, Gary T. ; Clifton, Curtis

Digital Repository @ Iowa State University 2005

Texto completo disponível

4
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

A Type Notation for Scheme

Leavens, Gary T. ; Clifton, Curtis ; Dorn, Brian

Digital Repository @ Iowa State University 2005

Texto completo disponível

5
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Auction implementations using LaGrangian Relaxation, Interior-Point Linear Programming, and Upper-Bound Linear Programming

Dekrajangpetch, Somgiat

Digital Repository @ Iowa State University 1997

Texto completo disponível

6
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Reconciling Trust and Modularity Goals in Web Services

Rajan, Hridesh ; Tao, Jia ; Shaner, Steve M. ; Leavens, Gary T.

Digital Repository @ Iowa State University 2009

Texto completo disponível

7
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Equational Reasoning with Subtypes

Leavens, Gary T. ; Pigozzi, Don

Digital Repository @ Iowa State University 2002

Texto completo disponível

8
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

SAVCBS 2003: Specification and Verification of Component-Based Systems

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T.

Digital Repository @ Iowa State University 2003

Texto completo disponível

9
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001

Giannakopoulou, Dimitra ; Leavens, Gary T. ; Sitaraman, Murali

Digital Repository @ Iowa State University 2001

Texto completo disponível

10
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

Barnett, Mike ; Edwards, Stephen H. ; Giannakopoulou, Dimitra ; Leavens, Gary T. ; Sharygina, Natasha

Digital Repository @ Iowa State University 2004

Texto completo disponível

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.