topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 36
 |
Automated Theorem Proving
ISBN: 9783528185206 / Angielski / Miękka / 1987 / 289 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have...
Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP h...
|
cena:
385,52 zł |
 |
Zurcher Bibel: Mit Einleitungen, Glossar, Deuterokanonischen Schriften Und Eingelegter Trauurkunde
ISBN: 9783859952577 / Niemiecki / Twarda / 2019 / 2224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
190,51 zł |
 |
Die Offenbarung : Der Zukunft entgegensehen
ISBN: 9783765508240 / Niemiecki / Broszura / 2017 / 128 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
49,90 zł |
 |
Zurcher Bibel
ISBN: 9783859952485 / Niemiecki / Twarda / 2009 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
94,78 zł |
 |
Train Wreck: The Forensics of Rail Disasters
ISBN: 9781421427072 / Angielski / Miękka / 2018 / 368 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Using a mix of eyewitness accounts and scientific explanations, Bibel draws us into a world of forensics and human drama.Train Wreck is a fascinating exploration of; runaway trains; bearing failures; metal fatigue; crash testing ; collision dynamics; bad rails
Using a mix of eyewitness accounts and scientific explanations, Bibel draws us into a world of forensics and human drama.Train Wreck is a fascinating ...
|
cena:
123,09 zł |
 |
Deduktive Datenbanken: Eine Einführung Aus Der Sicht Der Logischen Programmierung
ISBN: 9783528047009 / Niemiecki / Miękka / 1993 / 464 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunachst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell deduktiver Datenbanken definiert. Es folgt die schrittweise Erweiterung dieses Grundmodells um Datenbankkonzepte wie Anfrageauswertung, Integritatsprufung und Anderungsbearbeitung. Anschliessend werden Typ- und Modussysteme diskutiert. Das Buch schliesst mit einem praktischen Teil, in dem die prototypische Realisierung des vorgestellten deduktiven Datenbanksystems in Prolog erortert wird."
Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunachst werden die Grundlagen der logischen Programmierung erarbeitet ...
|
cena:
198,14 zł |
 |
Szebreszin
ISBN: 9788378664727 / Polski / broszurowa / 2021 Termin realizacji zamówienia: ok. 1-3 dni roboczych. Trudno powiedzieć, od jak dawna moje miejsce urodzenia funkcjonowało zarówno jako polskie miasteczko Szczebrzeszyn, jak i żydowski sztetl Szebreszin ani też, co było pierwsze. Najwcześniejsze dokumenty wymieniające Szczebrzeszyn pochodzą z XIV wieku. Właśnie na początku tego stulecia król Kazimierz Wielki, którego ukochaną była podobno Żydówka, zaprosił Żydów do osiedlenia się w Polsce, po tym, gdy wygnano ich z Europy Zachodniej. W 1352 roku nadał wielu społecznościom żydowskim polskich miast przywilej budowy synagog. W tym też czasie przebywał w Szczebrzeszynie.
Trudno powiedzieć, od jak dawna moje miejsce urodzenia funkcjonowało zarówno jako polskie miasteczko Szczebrzeszyn, jak i żydowski sztetl Szebresz...
|
35,72 zł |
 |
Sehen Und Die Verarbeitung Visueller Information: Eine Einführung
ISBN: 9783528156596 / Niemiecki / Miękka / 2000 / 286 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt werden und wie die Auswertung im Einzelnen vorgenommen werden kann, ist Gegenstand dieses einfuhrenden Lehrbuches. Es behandelt die sogenannte Kompetenztheorie des Sehens fur die elementaren Wahrnehmungen, wie Kontrast, Farbe, Tiefe und Bewegung. Als visuell gesteuerte Verhaltensleistungen werden Augenbewegungen und die Navigation behandelt. Technisches Sehen (Computer vision) und die Wahrnehmungsmechanismen des Menschen werden wo immer moglich gemeinsam und vergleichend dargestellt. Die...
Sehen ist die Ermittlung von Informationen aus Bildern. Welche Informationsquellen dabei genutzt werden und wie die Auswertung im Einzelnen vorgenomme...
|
cena:
162,13 zł |
 |
Fuzzy-Systems in Computer Science
ISBN: 9783322868268 / Niemiecki / Miękka / 2012 / 356 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book contains a selection of revised papers and state-of-the-art overviews on current trends and future perspectives of fuzzy systems. A major aim is to address theoretical as well as application-oriented issues and to contribute to the foundation of concepts, methods, and tools in this field. The book is written by researchers who attended the workshop "Fuzzy Systems '93 - Management of Uncertain Information" (Braunschweig, Germany, October 21-22, 1993), organized by the German Society of Computer Science (GI), the German Computer Science Academy (DIA), and the University of...
This book contains a selection of revised papers and state-of-the-art overviews on current trends and future perspectives of fuzzy systems. A major ai...
|
cena:
198,14 zł |
 |
Zurcher Bibel
ISBN: 9783859952492 / Niemiecki / Twarda / 2009 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
132,88 zł |
 |
Ausgezeichnete Informatikdissertationen 1996: Im Auftrag Der Gl Herausgegeben Durch Den Nominierungsausschuß
ISBN: 9783519026464 / Niemiecki / Miękka / 1998 / 193 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die Gesellschaft fur Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation stutzt sich auf die von den Universitaten und Hochschulen fur diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preistrager" ihrer Hochschule ausgezeichnet. Der Ausschuss der GI, der den Preistrager aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in Raumen der Akademie der Wissen schaften und Literatur Mainzein Kolloquium, das den Kandidaten Gelegenheit bot, ihre...
Die Gesellschaft fur Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation stutzt si...
|
cena:
179,98 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351306 / Angielski / Twarda / 1998 / 434 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi- cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec- ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of...
1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ...
|
cena:
771,08 zł |
 |
Fundamentals of Artificial Intelligence: An Advanced Course
ISBN: 9783662391570 / Angielski / Miękka / 1987 / 313 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon....
This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in V...
|
cena:
192,74 zł |
 |
Fuzzy Theorie Und Stochastik: Modelle Und Anwendungen in Der Diskussion
ISBN: 9783528056827 / Niemiecki / Miękka / 1999 / 420 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Alle Prozesse in der Natur enthalten eine oder mehrere ungewisse Komponenten, zeigen Ungewissheiten oder haben einen mehr oder weniger ungewissen Ausgang. Dabei kann man unterscheiden, ob man einen Vorgang -oder einen Teil davon -als ungewiss ansieht, weil man ihn nicht exakt deterministisch erfassen kann (z. B. die Kursentwicklung an einer Wertpapierborse), ob man ihn als genuin zufallig ansieht (z. B. den radioaktiven Zerfall eines Stoffes) oder ob die Ungewissheit des Vorgangs von seiner Beschreibung mit vagen Begriffen herruhrt. Unsere heutigen sehr kom plexen sozialen und technischen...
Alle Prozesse in der Natur enthalten eine oder mehrere ungewisse Komponenten, zeigen Ungewissheiten oder haben einen mehr oder weniger ungewissen Ausg...
|
cena:
288,25 zł |
 |
Fuzzy-Clusteranalyse: Verfahren Für Die Bilderkennung, Klassifizierung Und Datenanalyse
ISBN: 9783528055431 / Niemiecki / Miękka / 1997 / 288 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Buch ist das Standardwerk zu einem neuen Bereich der angewandten Fuzzy-Technologie, der Fuzzy-Clusteranalyse. Diese beinhaltet Verfahren der Mustererkennung zur Gruppierung und Strukturierung von Daten. Dabei werden im Gegensatz zu klassischen Clustering-Techniken die Daten nicht eindeutig zu Klassen zugeordnet, sondern Zugehorigkeitsgrade bestimmt, so dass die Fuzzy-Verfahren robust gegenuber gestorten oder verrauschten Daten sind und fliessende Klassenubergange handhaben konnen.
Dieses Werk gibt eine methodische Einfuhrung in die zahlreichen Fuzzy-Clustering-Algorithmen mit ihren... Dieses Buch ist das Standardwerk zu einem neuen Bereich der angewandten Fuzzy-Technologie, der Fuzzy-Clusteranalyse. Diese beinhaltet Verfahren der Mu...
|
cena:
162,13 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351320 / Angielski / Twarda / 1998 / 1294 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation and exchange of ideas led to considerable progress both in the theoretical foundations and in the application of deductive knowledge. This three-volume book covers these original contributions moulded into the state of the art of automated deduction. The three volumes are intended to document and advance a development in the field of automated...
The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
1156,64 zł |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150526 / Angielski / Miękka / 2010 / 335 str. Termin realizacji zamówienia: ok. 20 dni roboczych. We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy- chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the- orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction...
We are invited to deal with mathematical activity in a sys- tematic way ... ] one does expect and look for pleasant surprises in this requirement of...
|
cena:
578,30 zł |
 |
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
ISBN: 9783540100096 / Angielski / Miękka / 1980 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
192,74 zł |
 |
Lehren Vom Leben: Essays Über Mensch Und Gesellschaft
ISBN: 9783824445196 / Niemiecki / Miękka / 2003 / 339 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Korper, Geist, Seele, zwischenmenschliche Beziehungen,
gesellschaftliche, wirtschaftliche und politische Strukturen sowie Wissenschaft, Religion und Kunst. " Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Korper, Geist, Seele, zwischenmenschliche Bez...
|
cena:
216,18 zł |
 |
Fundamentals of Artificial Intelligence: An Advanced Course
ISBN: 9783540167822 / Angielski / Miękka / 1986 / 314 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985.
Contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, Fran...
|
cena:
192,74 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
