Risultati della ricerca - international comparison object abstraction ((methods linear) or (methods beyond))

Cerca anche:
international comparison » international cooperation , international congress , international computer
object abstraction » objects abstraction , object extraction , concept abstraction
comparison object » comparison subject , comparison effect , computation object
methods beyond » methods second , ethics beyond , methods blind

1

Copertina

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... -- Beyond the First Main Theorem – When Is the Solution of a Linear Cauchy Problem Computable?....”
Testo

Elettronico eBook

2

Copertina

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... -- State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method...”
Testo

Elettronico eBook