語系
Dershowitz, Nachum.
概要
作品: | 2 作品在 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)
(書目-電子資源)
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:
Dershowitz, Nachum.; Nissan, Ephraim.; 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)
(書目-電子資源)
Verification: theory and practiceessays 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 III,Computational linguistics and linguistics
by:
Dershowitz, Nachum.; Nissan, Ephraim.; SpringerLink (Online service)
(書目-電子資源)
Fields of logic and computationessays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(書目-電子資源)
主題
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.
Computer software
Artificial Intelligence (incl. Robotics)
Algorithms.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Computer science
Computer science.
Computer Science.
Computer Communication Networks.
Information theory.