Kirjojen hintavertailu. Mukana 11 342 296 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

469 tulosta hakusanalla Mordechai Ben-Ari

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Springer London Ltd
2012
nidottu
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
Vertaile hintoja
Principles of the Spin Model Checker

Principles of the Spin Model Checker

Mordechai Ben-Ari

Springer London Ltd
2008
nidottu
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism. Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.
Vertaile hintoja
Ada for Software Engineers

Ada for Software Engineers

Mordechai Ben-Ari

Springer London Ltd
2009
nidottu
Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.
Vertaile hintoja
Mathematical Surprises

Mathematical Surprises

Mordechai Ben-Ari

Springer International Publishing AG
2022
nidottu
This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and other instruments), the five- and six-color theorems, a taste of Ramsey theory and little-known theorems proved by induction. Among the most surprising theorems are the Mohr-Mascheroni theorem that a compass alone can perform all the classical constructions with straightedge and compass, and Steiner's theorem that a straightedge alone is sufficient provided that a single circle is given. The highlight of the book is a detailed presentation of Gauss'spurely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass. Although the mathematics used in the book is elementary (Euclidean and analytic geometry, algebra, trigonometry), students in secondary schools and colleges, teachers, and other interested readers will relish the opportunity to confront the challenge of understanding these surprising theorems. Supplementary material to the book can be found at https://github.com/motib/surprises.
Vertaile hintoja
Mathematische Überraschungen

Mathematische Überraschungen

Mordechai Ben-Ari

Springer International Publishing AG
2025
nidottu
Dieses Buch ist Open-Access und bietet viele mathematische Überraschungen. Es gibt viele faszinierende Ergebnisse, die nicht in Lehrbüchern erscheinen, obwohl sie mit guten Kenntnissen der Sekundarschulmathematik zugänglich sind. Dieses Buch stellt eine Auswahl dieser Ergebnisse vor, darunter die mathematische Formalisierung von Origami, Konstruktionen mit Lineal und Zirkel (und anderen Instrumenten), die Fünf- und Sechs-Farben-Theoreme, eine Kostprobe der Ramsey-Theorie und wenig bekannte Theoreme, die durch mathematische Induktion bewiesen werden. Zu den überraschendsten Theoremen gehören das Mohr-Mascheroni-Theorem, das besagt, dass alle klassischen Konstruktionen die mit Lineal und Zirkel ausgeführt werden können, tatsächlich sogar nur mit einem Zirkel ausgeführt werden können, und das Steinersche Theorem, das besagt, dass ein Lineal allein ausreicht, wenn ein einziger Kreis gegeben ist. Der Höhepunkt des Buches ist eine detaillierte Darstellung des rein algebraischen Beweises von Gauß, dass ein regelmäßiges Heptadekagon (ein regelmäßiges Polygon mit siebzehn Seiten) mit Lineal und Zirkel konstruiert werden kann. Obwohl die in diesem Buch verwendete Mathematik elementar ist (euklidische und analytische Geometrie, Algebra, Trigonometrie), werden Schüler und Studenten an weiterführenden Schulen und Hochschulen, Lehrer und andere interessierte Leser gerne die Gelegenheit nutzen, sich der Herausforderung zu stellen, diese überraschenden Theoreme zu verstehen.
Vertaile hintoja
Elements of Robotics

Elements of Robotics

Mordechai Ben-Ari; Francesco Mondada

Springer International Publishing AG
2017
nidottu
This open access book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year college students, such as calculus, matrices and probability. Concepts and algorithms are explained through detailed diagrams and calculations.Elements of Robotics presents an overview of different types of robots and the components used to build robots, but focuses on robotic algorithms: simple algorithms like odometry and feedback control, as well as algorithms for advanced topics like localization, mapping, image processing, machine learning and swarm robotics. These algorithms are demonstrated in simplified contexts that enable detailed computations to be performed and feasible activities to be posed. Students who study these simplified demonstrations will be well prepared for advanced study of robotics.The algorithms are presented at a relatively abstract level, not tied to any specific robot. Instead a generic robot is defined that uses elements common to most educational robots: differential drive with two motors, proximity sensors and some method of displaying output to the user.The theory is supplemented with over 100 activities, most of which can be successfully implemented using inexpensive educational robots. Activities that require more computation can be programmed on a computer. Archives are available with suggested implementations for the Thymio robot and standalone programs in Python.
Vertaile hintoja
Verteilte Stromversorgungssysteme aus Biomasse

Verteilte Stromversorgungssysteme aus Biomasse

Mordechai Ben-Menachem

Verlag Unser Wissen
2024
pokkari
Die milit rischen Aktivit ten in Afghanistan und anderen Gebieten des Nahen Ostens haben gezeigt, dass die Zahl der Opfer unter denjenigen, die am Transport von G tern zu den St tzpunkten beteiligt sind, sehr hoch ist, wobei der Transport von Kraftstoffen am schlimmsten ist. Der direkteste Weg, diese Situation deutlich zu entsch rfen, besteht darin, den Transport gro er Mengen von G tern zu vermeiden. Diejenigen G ter, die transportiert werden k nnen, werden in Zukunft an Ort und Stelle hergestellt - insbesondere f r gro e, aber auch f r kleinere St tzpunkte. Dies kann auch f r Kriegsschiffe gelten, wiederum insbesondere f r gro e, aber auch f r kleine. Wenn der Transport von Treibstoff die gef hrlichste aller logistischen Aufgaben ist, liegt es auf der Hand, dass dieses neue Denken hier ansetzen sollte. Gl cklicherweise ist dies auch der einfachste Ort, um damit zu beginnen. Energie kann praktisch auf Milit rst tzpunkten und unter milit rischen Bedingungen produziert werden Dieses Buch zeigt, dass ein gro er Teil der Energie und des Treibstoffs vor Ort produziert werden kann, selbst in sehr kleinen und abgelegenen St tzpunkten.
Vertaile hintoja
Systèmes de production d'électricité distribuée à partir de la biomasse

Systèmes de production d'électricité distribuée à partir de la biomasse

Mordechai Ben-Menachem

Editions Notre Savoir
2024
pokkari
L'activit militaire en Afghanistan et dans d'autres r gions du Moyen-Orient a r v l un taux tr s lev de pertes parmi les personnes impliqu es dans le transport de marchandises vers les bases, le transport de carburant tant le pire des pires. Le moyen le plus direct de rem dier cette situation est d' viter le transport de quantit s massives de marchandises. Les marchandises qui peuvent l' tre seront l'avenir produites sur place - en particulier pour les grandes bases, mais aussi pour les plus petites. Il peut en tre de m me pour les navires de guerre; l encore, en particulier pour les grandes bases, mais aussi pour les petites. Si le transport de carburant est la t che logistique la plus dangereuse, il est vident que c'est par l que cette nouvelle r flexion doit commencer. Heureusement, c'est aussi l'endroit le plus facile pour commencer. L' nergie peut tre pratiquement produite sur des bases militaires, dans des conditions militaires Ce livre montre qu'une grande partie de l' nergie et des carburants peut tre produite localement, m me dans des bases tr s petites et loign es.
Vertaile hintoja
Sistemas de energia distribuída a partir de biomassa

Sistemas de energia distribuída a partir de biomassa

Mordechai Ben-Menachem

Edicoes Nosso Conhecimento
2024
pokkari
A atividade militar no Afeganist o e noutras reas do M dio Oriente revelou uma taxa muito elevada de baixas entre os envolvidos no transporte de mercadorias para as bases, sendo o transporte de combust vel o pior dos piores. A forma mais direta de aliviar significativamente esta situa o evitar o transporte de grandes quantidades de mercadorias. As mercadorias que puderem ser produzidas ser o, no futuro, produzidas no local - particularmente para as grandes bases, mas mesmo para as mais pequenas. O mesmo pode acontecer com os navios de guerra; mais uma vez, particularmente para os grandes, mas tamb m para os pequenos. Se o transporte de combust vel a mais perigosa das tarefas log sticas, bvio que por aqui que esta nova reflex o deve come ar. "Felizmente", tamb m o s tio mais f cil de come ar. A energia pode ser praticamente produzida em bases militares, em condi es militares Este livro mostra que grandes por es de energia e combust vel podem ser produzidas localmente, mesmo em bases muito pequenas e remotas.
Vertaile hintoja
Sistemi di alimentazione distribuita a biomassa

Sistemi di alimentazione distribuita a biomassa

Mordechai Ben-Menachem

Edizioni Sapienza
2024
pokkari
L'attivit militare in Afghanistan e in altre aree del Medio Oriente ha mostrato un tasso molto alto di vittime tra coloro che sono coinvolti nel trasporto di merci alle basi, con il trasporto di carburante che il peggiore dei casi. Il modo pi diretto per alleviare significativamente questa situazione evitare il trasporto di quantit massicce di merci. Le merci che possono essere prodotte in futuro saranno prodotte in loco - in particolare per le grandi basi, ma anche per quelle pi piccole. Questo pu valere anche per le navi da guerra; anche in questo caso, soprattutto per quelle grandi, ma anche per quelle piccole. Se il trasporto di carburante il pi pericoloso dei lavori logistici, ovvio che da qui che dovrebbe partire questa nuova riflessione. Per "fortuna" anche il punto di partenza pi facile. L'energia pu essere praticamente prodotta nelle basi militari, in condizioni militari Questo libro dimostra che grandi porzioni di energia e di carburante possono essere prodotte localmente, anche in basi molto piccole e remote.
Vertaile hintoja
The Doctrine of the Athanasian Creed Analyzed and Refuted; by a Member of the Church of England. To Which are Added, Benjamin Ben Mordecai's Queries Respecting That Doctrine

The Doctrine of the Athanasian Creed Analyzed and Refuted; by a Member of the Church of England. To Which are Added, Benjamin Ben Mordecai's Queries Respecting That Doctrine

Gale Ecco, Print Editions
2018
sidottu
The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve the century of revolution, Gale initiated a revolution of its own: digitization of epic proportions to preserve these invaluable works in the largest archive of its kind. Now for the first time these high-quality digital copies of original 18th century manuscripts are available in print, making them highly accessible to libraries, undergraduate students, and independent scholars.The Age of Enlightenment profoundly enriched religious and philosophical understanding and continues to influence present-day thinking. Works collected here include masterpieces by David Hume, Immanuel Kant, and Jean-Jacques Rousseau, as well as religious sermons and moral debates on the issues of the day, such as the slave trade. The Age of Reason saw conflict between Protestantism and Catholicism transformed into one between faith and logic -- a debate that continues in the twenty-first century.++++The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to insure edition identification: ++++British LibraryT084991Newry: printed in the year of our Lord, 1786. viii,136p.; 12
Vertaile hintoja
Mordechai Gebirtig

Mordechai Gebirtig

Praeger Publishers Inc
2000
sidottu
Mordechai Gebirtig was one of the most influential and popular writers of Yiddish songs and poems. Born in 1877, he became a prolific poet and song writer, using everything he saw, heard and knew about people. His legacy, therefore, is not only one of melodies and lyrics, but also a treatise on Jewish life in Poland under the benign neglect of the Austrians, the ever growing hostility of the Poles, and finally, the terror of the Germans, who destroyed the people, their culture, and, to a great measure, their memory. Schneider's book for the first time brings his work to an English-speaking audience, offering a collection of all of his major works, complete with the scores, transliterated Yiddish text, and English translation. Her book offers a rare insight into the world of Eastern European Jews, their culture, and their music.Gebirtig's most famous song Es Brent—It's Burning—was written in response to a 1936 pogrom. It became a stirring hymn for the survivors of the Holocaust, who felt that the words suited their own situation very well. Gebirtig himself was shot in the Cracow Ghetto in June 1942. Neither he nor any of his close family survived the war. However, as this volume shows, his songs and poems remain an enduring voice for a Jewish community nearly lost to the Nazis. They constitute a precious legacy for anyone interested in the world of Eastern Europe Jews, their culture, and their music.
Vertaile hintoja
Mordechai's Moustache & His Wife's Cat

Mordechai's Moustache & His Wife's Cat

Mahmoud Shukair

Banipal Books
2007
nidottu
Mahmoud Shukair's first major publication in English translation enthralls, surprises and shocks as one of the world's most original of storytellers excels in exposing the surreal moments in the ordinary and the mundane, the limits of human frustration and patience, and the intricacies of tiny daily obsessive practices. Brimming with humour that ranges from the funny and the farcical, to satire and black comedy, with a painter's eye for colour and detail, Shukair's stories present a unique commentary on the power of the human spirit to see beyond the particular.The collection includes the author's two fascinating autobiographical commentaries "Hemingway in Jerusalem" and "My Journey in Writing".Here is the brilliantly observed clutter and comedy of everyday lives, the lives of ordinary people pushed up against an iron occupation and fighting for survival with all the comic and moving strategems of the human imagination. Shukair's gift for absurdist satire is never more telling than in the hilarious title story which turns and pulls the leg (or the moustache) of the occupation, in the classic tradition of Palestinian satire. — Judith KazantzisTranslated from the Arabic by Issa J. Boullata, Elizabeth Whitehouse, Liz Winslow and Mahmoud Shukair. Mahmoud Shukair was born in 1941 in Jerusalem, and grew up there. With a Masters degree in Philosophy and Sociology he worked for many years as a teacher, journalist and editor-in-chief of cultural magazines. He was jailed twice by the Israeli authorities, lasting nearly two years, and in 1975 was deported to Lebanon. He returned to Jerusalem in 1993 after living in Beirut, Amman and Prague. He is the author of 25 books, nine short story collections, 13 works for children, a biography and a travelogue. He has written six drama series for TV, three plays and countless newspaper and magazine articles.Some of his short stories have been published in French, Spanish, Korean and Chinese, as well as English.
Vertaile hintoja
Mordechai Schamz

Mordechai Schamz

Marc Cholodenko

Dalkey Archive Press
2000
nidottu
In a series of comic vignettes and letters, Mordechai Schamz sets out to investigate himself, his world, and the language which makes them both intelligible. Dumbfounded at every turn and undiscouraged by -- perhaps even unaware of -- his failures, he confidently gets lost in the labyrinth of his investigations. Reminiscent of Flaubert's Bouvard and Pecuchet, Calvino's Palomar, and Beckett's Watt, Mordechai Schamz ponders the mysteries of life through cliches and solipsisms, making himself the master of the illogical and the clown of the absurd.
Vertaile hintoja
123...24