Nachum Dershowitz – författare
Visar alla böcker från författaren Nachum Dershowitz. Handla med fri frakt och snabb leverans.
27 produkter
Calendrical Tabulations, 1900-2200
Av Edward M. Reingold, Nachum Dershowitz
Inbunden, 2002
3078 kr
Lägg i varukorg
The momentous task of assembling such a comprehensive and accurate collection of calendars could only have been achieved by the authors of the definitive text on calendar algorithms, Calendrical Calculations. Using the algorithms outlined in their earlier book, Professors Reingold and Dershowitz …
Calendrical Calculations
The Ultimate Edition
Av Edward M. Reingold, Nachum Dershowitz
Inbunden, 2018
1840 kr
Lägg i varukorg
An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The …
Calendrical Calculations
Av Edward M. Reingold, Nachum Dershowitz
E-bok, 2007
638 kr
Lägg i varukorg
A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as …
Calendrical Calculations
The Ultimate Edition
Av Edward M. Reingold, Nachum Dershowitz
Häftad, 2018
684 kr
Lägg i varukorg
An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The …
Calendrical Calculations
Av Edward M. Reingold, Nachum Dershowitz
E-bok, 2007
624 kr
Lägg i varukorg
A valuable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, this new edition of the popular calendars book expands the treatment of the previous edition to new calendar variants: generic cyclical calendars and astronomical lunar calendars as …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Andreas Blass, Patrick Cégielski m. fl.
Häftad, 2020
569 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation III
Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Av Bernd Finkbeiner, Manfred Droste m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Lev D. Beklemishev, Andreas Blass m. fl.
Häftad, 2015
551 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer …
Fields of Logic and Computation II
Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Av Wolfram Schulte, Bernd Finkbeiner m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This Festschrift is published in honor of Yuri Gurevich''s 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of …
Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Häftad, 2004
1128 kr
Lägg i varukorg
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The …
Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
E-bok, 2004
1502 kr
Lägg i varukorg
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. …
Rewriting Techniques and Applications
3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Häftad, 1989
551 kr
Lägg i varukorg
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and …
Conditional and Typed Rewriting Systems
4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Av Nachum Dershowitz, Naomi Lindenstrauss
Häftad, 1995
569 kr
Lägg i varukorg
This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994.The volume reports the research advances in the area of …
Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Av Nachum Dershowitz, Andrei Voronkov
Häftad, 2007
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 …
Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Av Andrei Voronkov, Nachum Dershowitz
E-bok, 2007
755 kr
Lägg i varukorg
Pillars of Computer Science
Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Av Arnon Avron, Nachum Dershowitz m. fl.
Häftad, 2008
1128 kr
Lägg i varukorg
The Person 1 Boris Abramovich Trakhtenbrot (????? ????????? ???????????) - his Hebrew given name is Boaz ( ) - is universally admired as a founding - ther and long-standing pillar of the discipline of computer science. He is the ?eld's preeminent distinguished researcher and a most illustrious …
Pillars of Computer Science
Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Av Alexander Rabinovich, Nachum Dershowitz m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
Unconventional Computation
8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings
Av Christian S. Calude, Jose Felix Gomes da Costa m. fl.
Häftad, 2009
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and …
Unconventional Computation
8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings
Av Grzegorz Rozenberg, Elisabete Freire m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and …
Fields of Logic and Computation
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Av Andreas Blass, Nachum Dershowitz m. fl.
Häftad, 2010
1098 kr
Lägg i varukorg
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, …
Fields of Logic and Computation
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Av Wolfgang Reisig, Nachum Dershowitz m. fl.
E-bok, 2010
1455 kr
Lägg i varukorg
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, …
Language, Culture, Computation: Computing - Theory and Technology
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
Av Nachum Dershowitz, Ephraim Nissan
Häftad, 2014
569 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's …
Language, Culture, Computation: Computing - Theory and Technology
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
Av Ephraim Nissan, Nachum Dershowitz
E-bok, 2014
739 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov''s …
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II
Av Nachum Dershowitz, Ephraim Nissan
Häftad, 2014
569 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's …
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II
Av Ephraim Nissan, Nachum Dershowitz
E-bok, 2014
755 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov''s …
Language, Culture, Computation: Computational Linguistics and Linguistics
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III
Av Nachum Dershowitz, Ephraim Nissan
Häftad, 2014
569 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's …
Language, Culture, Computation: Computational Linguistics and Linguistics
Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III
Av Ephraim Nissan, Nachum Dershowitz
E-bok, 2014
739 kr
Lägg i varukorg
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov''s …
