Languages
Dershowitz, Nachum.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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 materials, printed)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
Blass, Andreas.; Dershowitz, Nachum.; Reisig, Wolfgang.; SpringerLink (Online service)
(Language materials, printed)
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 materials, printed)
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)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
Subjects
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.