skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Java remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Smarthus

Brekke, Edvard Sigdestad ; Flaten, Jørn - Are Klubben ; Haukaas, Henrik Haug, Frode

2016-08-23

Texto completo disponível

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

Effectively Mapping Linguistic Abstractions for Message-passing Concurrency to Threads on the Java Virtual Machine

Upadhyaya, Ganesha ; Rajan, Hridesh

Digital Repository @ Iowa State University 2015

Texto completo disponível

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

A Large-scale Empirical Study of Java Language Feature Usage

Dyer, Robert ; Rajan, Hridesh ; Nguyen, Hoan Anh ; Nguyen, Tien N.

Digital Repository @ Iowa State University 2013

Texto completo disponível

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

Preliminary Design of JML: A Behavioral Interface Specification Language for Java

Leavens, Gary T. ; Baker, Albert L. ; Ruby, Clyde

Digital Repository @ Iowa State University 2000

Texto completo disponível

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

Preliminary Design of JML: A Behavioral Interface Specification

Leavens, Gary T. ; Baker, Albert L. ; Ruby, Clyde

Digital Repository @ Iowa State University 1998

Texto completo disponível

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

A Run-time Assertion Checker for Java using JML

Bhorkar, Abhay

Digital Repository @ Iowa State University 2000

Texto completo disponível

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

Reconstruction of a 4D Particle Distribution Using UnderdeterminedPhase-Space Data

Rostamizadeh, Afshin Usdoe Director. Office Of Science. Office Of Fusion Energysciences

Lawrence Berkeley National Laboratory 2005

Texto completo disponível

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

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine

Upadhyaya, Ganesha ; Rajan, Hridesh

Iowa State University Digital Repository 2015

Texto completo disponível

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

JML's Rich, Inherited Specifications for Behavioral Subtypes

Leavens, Gary T.

Digital Repository @ Iowa State University 2006

Texto completo disponível

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

Improving API Documentation for Java-like Languages

Dubochet, Gilles ; Malayeri, Donna

2010

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2003  (1)
  2. 2003Até2004  (1)
  3. 2005Até2005  (3)
  4. 2006Até2007  (2)
  5. Após 2007  (4)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Rajan, Hridesh
  2. Upadhyaya, Ganesha
  3. Leavens, Gary T.
  4. Dubochet, Gilles
  5. Guri, Yuval

Buscando em bases de dados remotas. Favor aguardar.