topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 38
 |
Automated Theorem Proving
ISBN: 9783528185206 / Angielski / Miękka / 1987 / 289 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
401,58 |
 |
Zurcher Bibel
ISBN: 9783859952461 / Niemiecki / Twarda / 2008 Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) |
cena:
187,43 |
 |
Train Wreck: The Forensics of Rail Disasters
ISBN: 9781421427072 / Angielski / Miękka / 2018 / 368 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) 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:
109,71 |
 |
Sehen Und Die Verarbeitung Visueller Information: Eine Einführung
ISBN: 9783528156596 / Niemiecki / Miękka / 2000 / 286 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
168,88 |
 |
Zurcher Bibel
ISBN: 9783859952454 / Niemiecki / Twarda / 2008 Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) |
cena:
140,10 |
 |
Deduktive Datenbanken: Eine Einführung Aus Der Sicht Der Logischen Programmierung
ISBN: 9783528047009 / Niemiecki / Miękka / 1993 / 464 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
206,40 |
 |
Die Offenbarung : Der Zukunft entgegensehen
ISBN: 9783765508240 / Niemiecki / Broszura / 2017 / 128 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) |
cena:
49,09 |
 |
Fuzzy-Systems in Computer Science
ISBN: 9783322868268 / Niemiecki / Miękka / 2012 / 356 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
206,40 |
 |
Beyond the Black Box: The Forensics of Airplane Crashes
ISBN: 9780801886317 / Angielski / Twarda / 2007 / 408 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) The black box is orange--and there are actually two of them. They house the cockpit voice recorder and the flight data recorder, instruments vital to airplane crash analyses. But accident investigators cannot rely on the black boxes alone. Beginning with the 1931 Fokker F-10A crash that killed legendary football coach Knute Rockne, this fascinating book provides a behind-the-scenes look at plane wreck investigations. Professor George Bibel shows how forensic experts, scientists, and engineers analyze factors like impact, debris, loading, fire patterns, metallurgy, fracture, crash... The black box is orange--and there are actually two of them. They house the cockpit voice recorder and the flight data recorder, instruments vital ... |
cena:
187,05 |
 |
Szebreszin
ISBN: 9788378664727 / Polski / broszurowa / 2021 Termin realizacji zamówienia: ok. 6-8 dni roboczych (Dostawa w 2026 r.) 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...
|
cena:
44,00 |
 |
Ausgezeichnete Informatikdissertationen 1996: Im Auftrag Der Gl Herausgegeben Durch Den Nominierungsausschuß
ISBN: 9783519026464 / Niemiecki / Miękka / 1998 / 193 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
187,48 |
 |
Zurcher Bibel
ISBN: 9783859952485 / Niemiecki / Twarda / 2009 Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) |
cena:
103,09 |
 |
Zurcher Bibel: Mit Einleitungen, Glossar Und Deuterokanonischen Schriften
ISBN: 9783859952560 / Niemiecki / Twarda / 2019 / 2224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Dostawa w 2026 r.) |
cena:
107,30 |
 |
Fundamentals of Artificial Intelligence: An Advanced Course
ISBN: 9783662391570 / Angielski / Miękka / 1987 / 313 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
803,21 |
 |
Fuzzy-Clusteranalyse: Verfahren Für Die Bilderkennung, Klassifizierung Und Datenanalyse
ISBN: 9783528055431 / Niemiecki / Miękka / 1997 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
168,88 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
200,77 |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9789048150502 / Angielski / Miękka / 2010 / 481 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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... The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
803,21 |
 |
Studien- Und Forschungsführer Künstliche Intelligenz
ISBN: 9783540183099 / Niemiecki / Miękka / 1987 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Der vorliegende Studien- und Forschungsfuhrer Kunstliche Intelligenz gibt einen aktuellen Uberblick uber die in der Bundesrepublik Deutschland und in Osterreich bestehenden Ausbildungsmoglichkeiten im Hochschulbereich und die Forschungsaktivitaten und -forderungsprogramme im offentlichen und industriellen Bereich. Das Gebiet der Kunstlichen Intelligenz (engl. Artificial Intelligence) hat in den USA, England und anderen Landern bereits einen festen Platz in den Lehrplanen und in der Forschung gefunden und erlebt derzeit auch hierzulande einen enormen akademischen Aufschwung. Nicht zuletzt...
Der vorliegende Studien- und Forschungsfuhrer Kunstliche Intelligenz gibt einen aktuellen Uberblick uber die in der Bundesrepublik Deutschland und in ...
|
cena:
206,40 |
 |
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
ISBN: 9780792351290 / Angielski / Twarda / 1998 / 481 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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... The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
803,21 |
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
