Dershowitz, Nachum.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Manna, Zohar.; Dershowitz, Nachum.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
Cégielski, Patrick.; Finkbeiner, Bernd.; Droste, Manfred.; Blass, Andreas.; SpringerLink (Online service); Dershowitz, Nachum.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
SpringerLink (Online service); Beklemishev, Lev D.; Blass, Andreas.; Dershowitz, Nachum.; Finkbeiner, Bernd.; Schulte, Wolfram.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
SpringerLink (Online service); Avron, Arnon.; Rabinovich, Alexander.; Dershowitz, Nachum.
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Logic in AI.
Data Structures.
Mathematics of Computing.
Data structures (Computer science).
Computer Science.
Computer programming.
Programming Techniques.
Algorithms.
Mathematical Logic and Formal Languages.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer science.
Computing Methodologies.
Computer software