topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 39
 |
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:
389,09 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:
163,63 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:
199,97 zł |
 |
Zurcher Bibel
ISBN: 9783859952461 / Niemiecki / Twarda / 2008 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
192,28 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:
192,28 zł |
 |
Die Offenbarung : Der Zukunft entgegensehen
ISBN: 9783765508240 / Niemiecki / Broszura / 2017 / 128 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
50,36 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:
181,65 zł |
 |
Zurcher Bibel: Mit Einleitungen, Glossar Und Deuterokanonischen Schriften
ISBN: 9783859952560 / Niemiecki / Twarda / 2019 / 2224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
105,27 zł |
 |
Begegnung mit Jesus : Stationen seines Wirkens
ISBN: 9783765508219 / Niemiecki / Broszura / 2017 / 96 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
50,36 zł |
 |
Zurcher Bibel
ISBN: 9783859952485 / Niemiecki / Twarda / 2009 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
95,66 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ł |
 |
Das Markusevangelium : Begegnungen mit dem Mann aus Nazareth
ISBN: 9783765508295 / Niemiecki / Miękka / 2017 / 156 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
50,36 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:
199,97 zł |
 |
Train Wreck: The Forensics of Rail Disasters
ISBN: 9781421427072 / Angielski / Miękka / 2018 / 368 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) 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:
156,10 zł |
 |
Information Mining: Methoden, Algorithmen Und Anwendungen Intelligenter Datenanalyse
ISBN: 9783528057411 / Niemiecki / Miękka / 2000 / 179 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Das Buch behandelt die wichtigsten Methoden zur Erkennung und Extraktion von "Wissen" aus numerischen und nichtnumerischen Datenbanken in Technik und Wirtschaft. Hierzu gehoren Algorithmen zur Vorverarbeitung, Aufbereitung, Visualisierung und Analyse von Daten. Neben linearen statistischen Methoden werden moderne Verfahren aus den Gebieten Clusteranalyse, Fuzzy-Logik, Neuroinformatik, maschinelles Lernen, Entscheidungsbaume und Agentensysteme vorgestellt."
Das Buch behandelt die wichtigsten Methoden zur Erkennung und Extraktion von "Wissen" aus numerischen und nichtnumerischen Datenbanken in Technik und ...
|
cena:
199,97 zł |
 |
Wissensrepräsentation Und Inferenz: Eine Grundlegende Einführung
ISBN: 9783528053741 / Niemiecki / Miękka / 1993 / 387 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Das Gebiet der Wissensprasentation und Inferenz umfasst einen zentralen Bereich der Intellektik, d.h. des Gebietes der Kunstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von Wissen jeglicher Art, besonders unter dem Aspekt einer maschinellen Verarbeitung in modernen Computern. Andererseits versucht es, das Alltagsschliessen des Menschen so zu formalisieren, dass logische Schlusse auch von Maschinen ausgefuhrt werden konnten. Das Buch gibt eine ausfuhrliche Einfuhrung in dieses umfangreiche Gebiet. Dem Studenten dient es...
Das Gebiet der Wissensprasentation und Inferenz umfasst einen zentralen Bereich der Intellektik, d.h. des Gebietes der Kunstlichen Intelligenz und der...
|
cena:
218,19 zł |
 |
Studien- Und Forschungsführer Künstliche Intelligenz
ISBN: 9783540183099 / Niemiecki / Miękka / 1987 / 288 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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:
199,97 zł |
 |
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. 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... The nationwide research project Deduktion', funded by the Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost al...
|
cena:
778,22 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:
778,22 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:
194,52 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
