Wilfried Brauer – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
28 produkter
28 produkter
E-bok
PDF, Tyska, 2013519 kr
Läs direkt efter köp
Häftad, Tyska, 1984
511 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1985
530 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1987
563 kr
Skickas inom 10-15 vardagar
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.
Häftad, Engelska, 1987
563 kr
Skickas inom 10-15 vardagar
The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
Häftad, Tyska, 1987
579 kr
Skickas inom 10-15 vardagar
Wissensbasierte Systeme wurden in den letzten Jahren uber die Stadien des Experimentierens, der Forschung und der Entwicklung hinaus zu interessanten Produkten der Informationsindustrie und werden immer mehr zu wichtigen Arbeitsmitteln fur Fachleute und Mitarbeiter in der Wirtschaft, in der Verwaltung und im Bildungsbereich. Die GI-Kongresse uber wissensbasierte Systeme sollen eine grossere Offentlichkeit uber den Stand der Entwicklung unterrichten, sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung. Ein wesentliches Ziel dabei ist es, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperationen zwischen verschiedenen Gebieten anzuregen. Im vorliegenden Tagungsband des 2. Internationalen GI-Kongresses "Wissensbasierte Systeme", der 1987 wieder im Rahmen der Fachmesse SYSTEMS in Munchen stattfand, werden neben den Expertensystemen im engeren Sinne auch graphische Systeme, Techniken der Computeranimation, kooperative Hilfssysteme, intelligente tutorielle Systeme und entscheidungsunterstutzende Systeme behandelt.Grossen Raum nimmt die Prasentation von Gemeinschaftsprojekten ein; insbesondere werden die KI-Verbundprojekte des BMFT und eine Reihe von ESPRIT-Projekten vorgestellt. Dieses Buch wendet sich an alle, die Interesse an Informatik und ihren Anwendungen haben; es soll nicht nur Wissenschaftler, sondern insbesondere auch Praktiker und mogliche Anwender informieren und zu neuen Ideen anregen. Und es soll Wissenschaft und Praxis zu fruchtbarer Diskussion und Zusammenarbeit stimulieren. Neben vielen deutschen Autoren aus Forschung und Praxis kommen Wissenschaftler aus mehreren europaischen Landern und aus den USA zu Wort.
Häftad, Engelska, 2003
547 kr
Skickas inom 10-15 vardagar
Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may fit together to form integrated systems of specialized cognitive components. The research triggers new quests for basic issues of cognition and sparks ideas for the development of technological applications that make use of spatial structures and spatial computation. Potential applications can be found in such diverse areas as autonomous robotics, geographic information systems, locati- based services, spatial task assistance, multi-agent communication, to name but a few. This third volume on Spatial Cognition marks the final phase of the German Spatial Cognition Priority Program. It augments the results presented in the two precursor volumes published in 1998 and 2000, respectively. The interdisciplinary 1 research program was established by the Deutsche Forschungsgemeinschaft (DFG) in 1996 and terminated after six years, the maximum duration of DFG priority programs. The Spatial Cognition Priority Program consists of 17 research projects at 13 research institutions throughout Germany. Besides carrying out research in individual projects and joint research between projects, the program organized ‘topical colloquia’ and annual plenary colloquia, largely with internationalparticipation.
Häftad, Engelska, 2002
563 kr
Skickas inom 10-15 vardagar
This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and self-assembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students.
E-bok
PDF, Engelska, 2003712 kr
Läs direkt efter köp
Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may fit together to form integrated systems of specialized cognitive components. The research triggers new quests for basic issues of cognition and sparks ideas for the development of technological applications that make use of spatial structures and spatial computation. Potential applications can be found in such diverse areas as autonomous robotics, geographic information systems, locati- based services, spatial task assistance, multi-agent communication, to name but a few. This third volume on Spatial Cognition marks the final phase of the German Spatial Cognition Priority Program. It augments the results presented in the two precursor volumes published in 1998 and 2000, respectively. The interdisciplinary 1 research program was established by the Deutsche Forschungsgemeinschaft (DFG) in 1996 and terminated after six years, the maximum duration of DFG priority programs. The Spatial Cognition Priority Program consists of 17 research projects at 13 research institutions throughout Germany. Besides carrying out research in individual projects and joint research between projects, the program organized ‘topical colloquia’ and annual plenary colloquia, largely with internationalparticipation.
E-bok
PDF, Engelska, 2003687 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2003734 kr
Läs direkt efter köp
This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and self-assembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students.
E-bok
PDF, Engelska, 2006708 kr
Läs direkt efter köp
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.
Häftad, Tyska, 1989
579 kr
Skickas inom 10-15 vardagar
Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft für Informatik und dem Institut für Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare technische Weiterentwicklung des Computers in der Hardware und der Software öffnet der Ausbildung viele Wege in die Zukunft. Dies belegt eindrucksvoll der Themenkatalog der Tagung: Ausbildung an allgemeinen und berufsbildenden Schulen, betriebliche Ausbildung, Netze und Telekommunikation, Computer-unterstütztes Lernen und Anwenden im Schulunterricht.
Del 227 - Informatik-Fachberichte
Wissensbasierte Systeme
3. Internationaler GI-Kongreß München, 16.–17. Oktober 1989 Proceedings
Häftad, Tyska, 1989
562 kr
Skickas inom 10-15 vardagar
Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das große Potential an Anwendungsmöglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, natürlichsprachliche Systeme und Konnektionismus. Einen großen Raum nimmt die Präsentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europäische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und mögliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.
Inbunden, Engelska, 1993
1 627 kr
Skickas inom 10-15 vardagar
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. The new techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods.
Häftad, Engelska, 1995
563 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 19th Annual German Conference on Artificial Intelligence, KI-95, held in Bielefeld in September 1995.The volume opens with full versions of four invited papers devoted to the topic "From Intelligence Models to Intelligent Systems". The main part of the book consists of 17 refereed full papers carefully relected by the program committee; these papers are organized in sections on knowledge organization and optimization, logic and reasoning, nonmonotonicity, action and change, and spatial reasoning.
Häftad, Tyska, 1996
497 kr
Skickas inom 10-15 vardagar
Diese dritte, vollständig aktualisierte Auflage des bewährten Studien- und Forschungsführers, der in Zusammenarbeit mit der Gesellschaft für Informatik, dem Fakultätentag Informatik und der Hochschulrektorenkonferenz herausgegeben wird, informiert erstmals auch über das Informatik-Studium in den neuen Bundesländer. Das Buch stellt das Hauptfachstudium Informatik an Universitäten dar und gibt eine detaillierte Übersicht über die Studienpläne der einzelnen Hochschulen. Darüber hinaus beschreibt es universitäre und außeruniversitäre Forschungsprojekte, die Studienmöglichkeiten für Informatik als Nebenfach sowie u.a. für Wirtschaftsinformatik, Verwaltungsinformatik und Medizininformatik.
Häftad, Engelska, 2000
547 kr
Skickas inom 10-15 vardagar
Spatialcognitionisconcernedwiththewayshumans,animals,ormachinesthink about real or abstract space and also with the ways spatial structures can be used for reasoning. Thus, space is considered both, as an object of cognition and as ameans of cognition. Spatial cognition is an interdisciplinary research areainvolvingapproachesfromarti?cialintelligence,cognitivepsychology,ge- raphy, mathematics, biology, design, theoretical computer science, architecture, andphilosophy.Researchonspatialcognitionhasprogressedrapidlyduringthe past few years. The disciplines contributing to the ?eld have moved closer - getherandbegintospeakacommonlanguage.Theyhavefoundwaysofmerging theresearchresultsobtainedthroughdi?erentapproaches.Thisallowsfordev- oping more sophisticated hybrid approaches that overcome intrinsic limitations of the individual disciplines. Research on spatial cognition has drawn increased attention in recent years foratleastthreedi?erentreasons:(1)basicresearchdimension:thereisagr- ing awareness of the importance of spatial cognitive abilities in biological s- tems, speci?cally with respect to perception and action, to the organization of memory, and to understanding and producing natural language; (2) compu- tionaldimension:spatialrepresentationsandspatialinferencemayprovidesu- ablelimitationsto enhancethe computationale?ciencyforalargeandrelevant class of problems; (3) application dimension: a good understanding of spatial processes is essential for a wide variety of challenging application areas incl- ing Geographic Information Systems (GIS), pedestrian and vehicle navigation aids,autonomousrobots,smartgraphics,medicalsurgery,informationretrieval, virtual reality, Internet navigation, and human-computer interfaces. This is the second volume published in the framework of the Spatial Cog- tion Priority Program. It augments the results presented in Freksa et al. 1998.
E-bok
PDF, Engelska, 20121 977 kr
Läs direkt efter köp
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. The new techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods.
Del 94 - NATO ASI Subseries F:
Logic and Algebra of Specification
Häftad, Engelska, 2014
1 627 kr
Skickas inom 10-15 vardagar
For some years, specification of software and hardwaresystems has been influenced not only by algebraic methodsbut also by new developments in logic. These newdevelopments in logic are partly based on the use ofalgorithmic techniques in deduction and proving methods, butare alsodue to new theoretical advances, to a great extentstimulated by computer science, which have led to new typesof logic and new logical calculi. The new techniques,methods and tools from logic, combined with algebra-basedones, offer very powerful and useful tools for the computerscientist, which may soon become practical for commercialuse, where, in particular, more powerful specification toolsare needed for concurrent and distributed systems.This volume contains papers based on lectures by leadingresearchers which were originally given at an internationalsummer school held in Marktoberdorf in 1991. The papers aimto give a foundation for combining logic and algebra for thepurposes of specification under the aspects of automateddeduction, proving techniques, concurrency and logic,abstract data types and operational semantics, andconstructive methods.
E-bok
PDF, Tyska, 2013603 kr
Läs direkt efter köp
Dieses Buch enthält die Beiträge einer Tagung, die gemeinsam vom Fachbereich "Ausbildung und Beruf" der Gesellschaft für Informatik und dem Institut für Film und Bild in Wissenschaft und Unterricht FWU veranstaltet wurde. Die absehbare technische Weiterentwicklung des Computers in der Hardware und der Software öffnet der Ausbildung viele Wege in die Zukunft. Dies belegt eindrucksvoll der Themenkatalog der Tagung: Ausbildung an allgemeinen und berufsbildenden Schulen, betriebliche Ausbildung, Netze und Telekommunikation, Computer-unterstütztes Lernen und Anwenden im Schulunterricht.
E-bok
PDF, Tyska, 2013587 kr
Läs direkt efter köp
Durch die Reihe der GI-Kongresse über wissensbasierte Systeme wird eine größere Öffentlichkeit über den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das große Potential an Anwendungsmöglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, natürlichsprachliche Systeme und Konnektionismus. Einen großen Raum nimmt die Präsentation von Gemeinschaftsprojekten ein; insbesondere werden deutsche KI-Zentren, alle BMFT-Verbundprojekte im Bereich wissensbasierter Systeme und zahlreiche europäische Gemeinschaftsprojekte (EUREKA- und ESPRIT-Projekte) dargestellt. Dieses Buch wendet sich an alle, die Interesse an der Informatik und ihren Anwendungen haben. Es soll sowohl Wissenschaftler als auch Praktiker und mögliche Anwender informieren und zu fruchtbarer Diskussion und Zusammenarbeit stimulieren.
E-bok
PDF, Tyska, 2013523 kr
Läs direkt efter köp
E-bok
PDF, Tyska, 2013582 kr
Läs direkt efter köp
E-bok
PDF, Tyska, 2013554 kr
Läs direkt efter köp
E-bok
PDF, Tyska, 2013554 kr
Läs direkt efter köp
Der Studien- und Forschungsführer Informatik, der in Zusammenarbeit mit der Gesellschaft für Informatik herausgegeben wird, liegt jetzt in der zweiten neubearbeiteten Auflage vor. Er gibt zunächst eine Einführung in das Fachgebiet Informatik und in die Gestaltung des Informatikstudiums an den deutschen Universitäten und Fachhochschulen. Sowohl die detaillierte Übersicht über die Studienpläne an den einzelnen Hochschulen als auch die Hinweise auf Informatik-Forschungsprojekte an Universitäten und Fachhochschulen wurden aktualisiert und erweitert. Auch Forschungsprojekte an außer-universitären Forschungszentren werden beschrieben. Neu aufgenommen wurden die Studienmöglichkeiten für Informatik als Nebenfach an weiteren deutschen Universitäten. Ein zusätzliches Kapitel ist den Ausbildungsmöglichkeiten in Wirtschaftsinformatik, Rechts- und Verwaltungsinformatik, Medizininformatik und der Technischen Informatik gewidmet sowie der Informatikausbildung für das Lehramt. Der Studien- und Forschungsführer gibt hilfreiche Orientierungen und Hinweise für die Studienfachwahl, wobei auch auf die Besonderheiten des Ausländerstudiums eingegangen wird, und vermittelt einen Überblick über die Forschung auf dem Gebiet der Informatik.
527 kr
Skickas inom 10-15 vardagar
E-bok
PDF, Tyska, 2013503 kr
Läs direkt efter köp