topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 29
 |
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,56 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:
197,68 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:
161,75 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:
197,68 zł |
 |
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:
384,63 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:
215,68 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:
197,68 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,30 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:
287,57 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:
161,75 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:
1153,96 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:
769,29 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:
769,29 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:
215,68 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:
576,96 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,30 zł |
 |
Einführung in Evolutionäre Algorithmen: Optimierung Nach Dem Vorbild Der Evolution
ISBN: 9783528054991 / Niemiecki / Miękka / 1997 / 345 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieses Lehrbuch aus dem KI-Themenfeld richtet sich an Wirtschaftsinformatiker und Informatiker, ferner an Ingenieure und OR-Spezialisten. Es bietet eine umfassende methodisch orientierte Einfuhrung in das Optimieren mit Evolutionaren Algorithmen. Dazu gehoren vor allem Genetische Algorithmen, Evolutionsstrategien, Genetische bzw. Evolutionare Programmierung. Wichtige Ergebnisse der Theorie werden in gut verstandlicher Form wiedergegeben. Zahlreiche Abbildungen und Beispiele sowie Hinweise auf Quellen im Internet und Testdaten erganzen den Text. Das Buch kann als Grundlage zur Entwicklung...
Dieses Lehrbuch aus dem KI-Themenfeld richtet sich an Wirtschaftsinformatiker und Informatiker, ferner an Ingenieure und OR-Spezialisten. Es bietet ei...
|
cena:
161,75 zł |
 |
Neuronale Netze: Grundlagen Und Anwendungen
ISBN: 9783528054656 / Niemiecki / Miękka / 1997 / 259 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Neuronale Netze sind in den letzten Jahren Gegenstand intensiver Forschungen gewesen. Dieses Buch verbindet die Darstellung neuester Ergebnisse aus dem Bereich der Lernverfahren mit anwendungsbezogenen Aspekten. Es werden methodische Prinzipien der Erstellung von Softwaresystemen, die auf konnektionistischen Verfahren basieren, herausgearbeitet. Fallbeispiele aus unterschiedlichen Anwendungsdomanen zeigen die vielfaltigen Einsatzmoglichkeiten fur Neuronale Netze."
Neuronale Netze sind in den letzten Jahren Gegenstand intensiver Forschungen gewesen. Dieses Buch verbindet die Darstellung neuester Ergebnisse aus de...
|
cena:
179,56 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,30 zł |
 |
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. 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:
769,29 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
