1
Published 2015
Table of Contents: ...-Induced Cognitive Impairment: Today and Tomorrow.- 11. Circadian Synchronization of Cognitive Functions...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Reciprocal determinism in PISA: Trevor Williams & Kitty Williams -- 5. The Measurement of Translation Error...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... -- Monadic, Prompt Lazy Assertions in Haskell -- Translation Correctness for First-Order Object-Oriented...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- An Operational Model for Mutual Awareness -- Chomsky: A Content Language Translation Agent -- Roles and Hierarchy...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Perspectives in Certificate Translation -- Uniform Labeled Transition Systems for Nondeterministic...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... to Regulate Project-Based Learning --  Lost in Translation from Abstract Learning Design to ICT Implementation...
View full text
Electronic eBook
10
Subjects: ...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...
View full text
Electronic eBook