Angebote zu "Procedures" (21 Treffer)

Kategorien

Shops

Strichman, Ofer: Efficient Decision Procedures ...
49,00 € *
ggf. zzgl. Versand

Erscheinungsdatum: 02.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Efficient Decision Procedures for Validation, Titelzusatz: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking, Autor: Strichman, Ofer, Verlag: LAP Lambert Academic Publishing, Sprache: Deutsch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 116, Informationen: Paperback, Gewicht: 188 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 02.07.2020
Zum Angebot
Procedures in Gastrointestinal Radiology
103,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 26.09.2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Procedures in Gastrointestinal Radiology, Auflage: Softcover reprint of the original 1st ed. 1990, Autor: Dobranowski, Julian // Somers, Sat // Stevenson, Giles W. // Stringer, David A., Verlag: Springer New York // Springer US, Sprache: Englisch, Schlagworte: Gastroenterologie // Hepatologie // Bildgebende Verfahren, Rubrik: Medizin // Andere Fachgebiete, Seiten: 248, Informationen: Paperback, Gewicht: 617 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 02.07.2020
Zum Angebot
Sat & Act Mathematical Tool Sheets
13,49 € *
ggf. zzgl. Versand

Sat & Act Mathematical Tool Sheets ab 13.49 € als Taschenbuch: A Collection of Mathematical Formulas and Procedures for the Sat and Act Examinations. Aus dem Bereich: Bücher, Taschenbücher, Ratgeber,

Anbieter: hugendubel
Stand: 02.07.2020
Zum Angebot
Efficient Decision Procedures for Validation
48,99 € *
ggf. zzgl. Versand

Efficient Decision Procedures for Validation ab 48.99 € als Taschenbuch: Translation Validation decision procedures for equality logic and SAT tuning for Bounded Model Checking. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

Anbieter: hugendubel
Stand: 02.07.2020
Zum Angebot
Automated Reasoning
61,56 € *
ggf. zzgl. Versand

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020. In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools The conference was held virtually due to the COVID-19 pandemic. Chapter 'Constructive Hybrid Games' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anbieter: buecher
Stand: 02.07.2020
Zum Angebot
Automated Reasoning
61,56 € *
ggf. zzgl. Versand

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020. In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools The conference was held virtually due to the COVID-19 pandemic. Chapter 'Constructive Hybrid Games' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Anbieter: buecher
Stand: 02.07.2020
Zum Angebot
Letters from the Land of Cancer , Hörbuch, Digi...
9,95 € *
ggf. zzgl. Versand

In Letters from the Land of Cancer, award-winning writer Walter Wangerin Jr. offers his profound insights into the greatest challenge we face: confronting our own mortality. “Shortly after the cancer had been diagnosed, I began writing letters to the members of my immediate family, to relatives and to lifelong friends. The following book will consist mostly of those letters. They will invite you into my most intimate dancing with the cancer, even as that partner and I have over the last two years swung each other around the tiled floors of ballrooms and bathrooms. Dizzy still, and day by day, I sat and wrote: This is what I’m feeling right now. This is what I think.…”From afternoon to afternoon of radiation, Wangerin wrote about confronting his mortality, about living with the messiness of undone tasks and bodily weakness. He wrote about the medical procedures he endured, the wild mood swings that unbalanced his days, and the fragilities and strengths of the relationships that surrounded him. Letters from the Land of Cancer is made up of these writings. Cadenced within the letters are Wangerin’s eloquent meditations derived from his pastoral experiences with the faithful passage of death to life. Seldom has the great adventure of life and death been as beautifully presented as it is in this testimony to faith, love, and the shocking reality of hope. 1. Language: English. Narrator: Walter Wangerin, Jr.. Audio sample: http://samples.audible.de/bk/zond/000533/bk_zond_000533_sample.mp3. Digital audiobook in aax.

Anbieter: Audible
Stand: 02.07.2020
Zum Angebot
Slow Foreplay on a Fast Bus: What Your Pre-teen...
9,95 € *
ggf. zzgl. Versand

This short article that you are about to read has become, without my intending it to be, the most controversial thing I have ever written. It is about a bus trip I took to the Gulf of Mexico, sponsored by my kid's school - with about fifty pre-teens and first-year teenagers on board - as well as three or four parents and teachers... who all made the mistake of sitting in the front of the bus, where they were blind to what was going on behind them. I was the only one who sat in the back, and who had a clear view ahead of everything that was happening. I did not go on this trip looking for trouble. Nor was I asked to be a chaperone. I went for one reason only: Because my daughter asked me to go. I had never been on such a long trip with a bunch of kids who were almost teenagers before, and some of what I saw shocked me. I wrote about it.Some of what I wrote was funny, or so people have told me. One even said it was hilarious. But some of what I saw and wrote about was definitely not funny. Some of it scared me to death. If you are the parent of a pre-teen or early teenager, prepare to have your eyes opened. When we returned home, I wrote this story about what I had seen, heard, and witnessed. When one of the teachers read it, the school changed its policy about the seating procedures for middle school kids on buses - and also as to where chaperons were to sit on future trips. After reading this story you may want to see what your school's policy is about such matters. And if it is not to your liking, you may want to get it changed. Kids need to learn about sexuality. But that should not include what I saw and where I saw it. There is a time and a place for everything: on a bus in front of other kids, is not the right time nor place for sex education. Especially if the "instructors" are some of the kids themselves. Basically, this story is about what some very young kids - not all by any means 1. Language: English. Narrator: Lynn Benson. Audio sample: http://samples.audible.de/bk/acx0/001493/bk_acx0_001493_sample.mp3. Digital audiobook in aax.

Anbieter: Audible
Stand: 02.07.2020
Zum Angebot
Academic Procrastination
49,00 € *
ggf. zzgl. Versand

References to procrastination have been dated back to as long as 3,000 years ago. However, research on procrastination is ironically enormously behind the curve in active research on its effects. Academic procrastination occurs when students needlessly delay completing projects, activities or assignments and has been linked to lower academic grades, poorer well-being, and more stress. Academic procrastination is a vital predictor of success in college and the development of a scale upon which to measure it could be quite profitable to colleges and universities. Using 681 college students, the current study examined the new Academic Procrastination Scale (APS) and its ability to predict academic success above and beyond other psychological scales and even the widely-used Scholastic Aptitude Test (SAT). The APS could even add significant validity to collegiate selection procedures. Based on results from the current study, the APS could be used as a valid, reliable, and instrumental tool within the educational community.

Anbieter: Dodax
Stand: 02.07.2020
Zum Angebot