Dershowitz, Nachum.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
Manna, Zohar.; Dershowitz, Nachum.; SpringerLink (Online service)
(Language materials, printed)
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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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