Batzoglou, Serafim.
概要
| 作品: | 4 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Research in computational molecular biology13th annual international conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009 ; proceedings /
by:
(1998 :); Batzoglou, Serafim.; SpringerLink (Online service)
(書目-電子資源)
Introduction to incompletenessfrom Gödel's theorems to forcing and the continuum hypothesis /
by:
Batzoglou, Serafim.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Foundations.
Molecular biology
Data Storage Representation.
Algorithm Analysis and Problem Complexity.
Database Management.
Artificial Intelligence (incl. Robotics)
Data Structures.
Set Theory.
Computer Science.
Gödel's theorem.
Computational biology
Computational Biology/Bioinformatics.