Výsledky vyhledávání - theory of computation/computation by abstract devices/models of computation/automat*

Learning Communicating Automata from MSCs.

Autoři: Bollig, Benedikt Katoen, Joost-Pieter Kern, Carsten a další

Zdroj: IEEE Transactions on Software Engineering. May/Jun2010, Vol. 36 Issue 3, p390-408. 19p. 9 Diagrams, 5 Charts.

Témata: *MACHINE theory, *SOFTWARE engineering, *ALGORITHMS, *ARTIFICIAL intelligence, *PROGRAMMING languages

Computer Science Handbook

Autoři: Allen B. Tucker

Resource Type: eBook.

Témata: Computer science--Handbooks, manuals, etc, Engineering--Handbooks, manuals, etc

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Computer Engineering, MATHEMATICS / General

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoři: Gale Research Inc

Resource Type: eBook.

Categories: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoři: Tracie Moy

Resource Type: eBook.

Témata: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Categories: SCIENCE / History

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autoři: Kalte, Pamela M. Nemeh, Katherine H. Schusterbauer, Noah

Resource Type: eBook.

Témata: Scientists--United States--Biography, Scientists--Canada--Biography, Scientists--United States--Directories, Scientists--Canada--Directories, Science