語系
Dershowitz, Nachum.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
Avron, Arnon.; Dershowitz, Nachum.; Rabinovich, Alexander.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; SpringerLink (Online service); Reisig, Wolfgang.
(書目-語言資料,印刷品)
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Dershowitz, Nachum.; Manna, Zohar.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Language, culture, computation. = essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /. Part I,. Computing - theory and technology
by:
Dershowitz, Nachum.; Nissan, Ephraim.; SpringerLink (Online service)
(書目-電子資源)
Language, culture, computation. = essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /. Part III,. Computational linguistics and linguistics
by:
Nissan, Ephraim.; Dershowitz, Nachum.; SpringerLink (Online service)
(書目-電子資源)
Language, culture, computation. = essays dedicated to Yaacov Choueka on the occasion of his 75th birthday /. Part II,. Computing of the humanities, law, and narratives
by:
SpringerLink (Online service); Dershowitz, Nachum.; Nissan, Ephraim.
(書目-電子資源)
主題
Computing Methodologies.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software Engineering.
Mathematics of Computing.
Logics and Meanings of Programs.
Language Translation and Linguistics.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Algorithms.
Computer software- Verification.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Computer science- Mathematics.
Computer science.
Computer Science.
Computer Communication Networks.
Information theory.