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
Published 2006
Table of Contents: ...Keynote and Invited Talks -- The Age of Content and Knowledge Processing -- Cyber Science...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Improvement Process with the Product Development Program -- Reliability Engineering: A Perspective -- Tampered...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space -- Three Paths...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Design -- A Data Warehouse Engineering Process -- Aggregation and Analysis of Spatial Data by Means...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Routing Problem -- Implementation of Fractional Order PID Controller for Three Interacting Tank Process...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... System -- Phyysiological Targets of Artificial Gravity: Adaptive Processes in Bone -- Interactions Among...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Identification Through Image Evaluation Using Secret Predicates -- Hash Functions -- Cryptanalysis of Reduced...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...-Type Lossy Trapdoor Functions -- Digital Signature -- Trapdoor Sanitizable Signatures Made Easy...
View full text
Electronic eBook