1
di Sharan, Kishori., Sharan, Kishori.
Pubblicazione 2014
Soggetti: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Testo
Elettronico eBook
3
Pubblicazione 2006
Sommario: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Testo
Elettronico eBook