1
Published 2005
Table of Contents: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
View full text
Electronic eBook
2
Table of Contents: ...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
View full text
Electronic eBook