Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Calendrical Tabulations, 1900-2200
ISBN: 9780521782531 / Angielski / Twarda / 2002 / 636 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This comprehensive collection of calendars could only have been assembled by the authors of the definitive text on calendar algorithms, Calendrical Calculations. Using the algorithms outlined in their earlier book, Reingold and Dershowitz have achieved the near impossible task of simultaneously displaying the date on thirteen different calendars over a three-hundred year period. Represented here are the Gregorian, ISO, Hebrew, Chinese, Coptic, Ethiopic, Persian, Hindu lunar, Hindu solar, and Islamic calendars; another three are easily obtained from the tables with minimal arithmetic (JD,...
This comprehensive collection of calendars could only have been assembled by the authors of the definitive text on calendar algorithms, Calendrical Ca...
|
cena:
935,47 zł |
 |
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
ISBN: 9783540510819 / Angielski / Miękka / 1989 / 589 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class...
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Com...
|
cena:
194,08 zł |
 |
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
ISBN: 9783540210023 / Angielski / Miękka / 2004 / 788 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering,... This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, ... |
cena:
388,20 zł |
 |
Calendrical Calculations: The Ultimate Edition
ISBN: 9781107683167 / Angielski / Miękka / 2018 / 662 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These algorithmic tools for programmers, astronomers, and calendar enthusiasts include more than forty calendars and astronomical functions.
These algorithmic tools for programmers, astronomers, and calendar enthusiasts include more than forty calendars and astronomical functions.
|
cena:
194,06 zł |
 |
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II
ISBN: 9783642453236 / Angielski / Miękka / 2014 / 752 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early...
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, sever...
|
cena:
194,08 zł |
 |
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
ISBN: 9783540603818 / Angielski / Miękka / 1995 / 384 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting. This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewritin...
|
cena:
194,08 zł |
 |
Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
ISBN: 9783642453205 / Angielski / Miękka / 2014 / 604 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early...
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, sever...
|
cena:
194,08 zł |
 |
Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III
ISBN: 9783642453267 / Angielski / Miękka / 2014 / 868 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early...
This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, sever...
|
cena:
194,08 zł |
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
ISBN: 9783540755586 / Angielski / Miękka / 2007 / 564 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasonin... |
cena:
194,08 zł |
 |
The Evolution of Programs
ISBN: 9780817631710 / Angielski / Miękka / 1983 / 359 str. Termin realizacji zamówienia: ok. 20 dni roboczych. -Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution ary aspects of programming are the topic of this monograph. We present rormal methods for manipulating programs and illustrate their applica tion with numerous examples. Such methods could be incorporated in semi-automated...
-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and dev...
|
cena:
194,08 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
