Results 311 to 320 of about 420,009 (339)

K-Java: A Complete Semantics of Java

ACM-SIGACT Symposium on Principles of Programming Languages, 2015
Denis Bogdanas, Grigore Roşu
semanticscholar   +1 more source

Preliminary design of JML: a behavioral interface specification language for java

SOEN, 2006
G. Leavens, A. L. Baker, C. Ruby
semanticscholar   +1 more source

jPBC: Java pairing based cryptography

International Symposium on Computers and Communications, 2011
Angelo De Caro, Vincenzo Iovino
semanticscholar   +1 more source

PeakML/mzMatch: A File Format, Java Library, R Library, and Tool-Chain for Mass Spectrometry Data Analysis

Analytical Chemistry, 2011
Richard Scheltema, Andris Jankevics, Ritsert C Jansen   +2 more
exaly  

Java

2020
openaire   +1 more source

Java

2016
Ray Toal, Rachel Rivera, Alexander Schneider, Choe Eileen   +3 more
openaire   +1 more source

Java

2003
openaire   +2 more sources

Genevar: a database and Java application for the analysis and visualization of SNP-gene associations in eQTL studies

Bioinformatics, 2010
Tsun-Po Yang, Barbara E Stranger, Panagiotis Deloukas   +2 more
exaly  

Soil microbial communities and activities under intensive organic and conventional vegetable farming in West Java, Indonesia

Applied Soil Ecology, 2010
Steven Sleutel, Edi Husen, Stefaan De Neve   +2 more
exaly  

Java

Itinerario, 1977
openaire   +1 more source