EDV und Informationstechnologie

Angebot aus dem Sortiment EDV und Informationstechnologie

Artikel der Kategorie EDV und Informationstechnologie

  • IPAD MINI 4 WI-FI 128GB

    IPAD MINI 4 WI-FI 128GB

    ab 404,00 €

    Apple. iPad mini 4, Wi-Fi, 20.066 cm (7.9 " ) , 2048 x 1536, A8 + M8, 128GB, 802.11a/b/g/n/ac, Bluetooth, Touch ID, 8MP + 1.2MP, iOS 9

  • WACOM MobileStudio Pro 16

    WACOM MobileStudio Pro 16

    ab 3.069,00 €

    WACOM. Intel Core i7, NVIDIA Quadro M1000M with 4GB GDDDR5 VRAM, 512 GB SSD, 16 GB RAM, 39.624 cm (15.6 " ) (39.6 cm), UHD (3840 x 2160), 2020 g

  • IPAD PRO 10.5-INCH WI-FI CELL

    IPAD PRO 10.5-INCH WI-FI CELL

    ab 769,00 €

    Apple. iPad Pro Wi-Fi + Cellular, 26.67 cm (10.5 " ) , 2224 x 1668, A10X + M10, 256GB, LTE, 802.11ac, Bluetooth 4.2, 12MP + 7MP, iOS 10

  • IPAD PRO 10.5-INCH WI-FI CELL

    IPAD PRO 10.5-INCH WI-FI CELL

    ab 969,00 €

    Apple. iPad Pro Wi-Fi + Cellular, 26.67 cm (10.5 " ) , 2224 x 1668, A10X + M10, 256GB, LTE, 802.11ac, Bluetooth 4.2, 12MP + 7MP, iOS 10

  • Finale in der Praxis

    Finale in der Praxis

    ab 25,00 €

    Wingerter, Harald. Martin Gieseking ist wissenschaftlicher Mitarbeiter an der Universität Osnabrück und Mitglied der Forschungsstelle Musik- und Medientechnologie. Er promovierte in Musikinformatik über die automatische Generierung von Notengrafiken. Harald Wingerter studierte Musikwissenschaft und Jazz-Arrangement und -Komposition. Er arbeitet seit über 10 Jahren mit Finale und setzt Noten für viele renommierte Musikverlage.

  • INTUOS PRO S

    INTUOS PRO S

    ab 220,07 €

    Wacom. Neuheit 2013. Professionelles Stifttablett, schlankes Design, aktiver Bereich ca. A6 wide-format, verbesserter Multi-Touch Sensor für intuitive Steuerung, deutsch, Mac- und PC-kompatibel, 2048 Druckstufen,

  • WACOM DTK-2200 Cintiq 22HD

    WACOM DTK-2200 Cintiq 22HD

    ab 1.645,99 €

    WACOM. Cintiq 22HD Full HD 1920 x 1080 interaktives Stift-Display mit 21,5 (54,6 cm) Zoll TFT-Aktiv-Matrix-LCD und ±180° Standfuß-Rotation, hochauflösendes Display, Wacom Grip Pen, frei programmierende ExpressKeys

  • ChessGenius Pro

    ChessGenius Pro

    ab 149,99 €

    High-End Schachcomputer mit Profi-Spielstärke, geeignet für Vereinspieler. Enthält die Weltmeister-Software Chess Genius. Mit 100 MHz Prozessor, 80 KB RAM, 2 verschiedenen Eröffnungsbiliotheken und Problemlösungslevel. Für 1-2 Spieler. Ab 6 Jahren.

  • ChessGenius exclusiv

    ChessGenius exclusiv

    ab 587,06 €

    Medium: StueckTitel: ChessGenius exclusivVerlag: Millenium 2000Sprache: Englisch // Franzoesisch // Deutsch // ItalienischSchlagworte: SchachRubrik: Sport // Sonstige SportartenHerkunft: China, Volksrepublik (CN)Gewicht: 4346 gr Verkaeufer: averdo

  • State of the Art in Computer Graphics

    State of the Art in Computer Graphics

    ab 119,99 €

    Earnshaw, Rae Rogers, David F.. Today one of the hardest parts of computer aided design or analysis is first modeling the design, then recording and verifying it. For example, a typical vehicle such as a tank, automobile, ship or aircraft might be composed of tens of thousands of individual parts. Many of these parts are composed of cylinders, flats, and simple conic curves and surfaces such as are amenable to modeling using a constructive solid geometry (CSG) approach. However, especially with the increasing use of composite materials, many parts are designed using sculp

  • Das Google-Kompendium Smith, J: Google-Kompendium

    Das Google-Kompendium Smith, J: Google-Kompendium

    ab 19,80 €

    Smith, Jon. Jon Smith war Mitglied des Gründerteams von amazon.co.uk und hat als Berater für grosse Venture Capital Firmen jahrelang Businesspläne durchleuchtet und optimiert. Mit seiner eigenen Firma berät er mittelständische Firmen in denBereichen Verkauf, Marketing und Internet-Support. Er ist Verfasser mehrerer sehr erfolgreicher Bücher zum Thema Startups und E-Commerce.

  • Messen, steuern und regeln mit dem Personal-Computer Zastrow, F: Messen, steuern /PC

    Messen, steuern und regeln mit dem Personal-Computer Zastrow, F: Messen, steuern /PC

    ab 38,00 €

    Das Buch vermittelt anwendungs- und praxisorientiert, wie analoge und digitale Messwerte mit Hilfe einer Messwerterfassungskarte von einem PC gelesen und ausgegeben werden können, gibt einen Überblick über die Ansteuerung der Ein-Ausgabekanäle (Ports) von Messwerterfassungskarten anhand von Base-Adressen, macht den Benutzer unabhängig von firmenspezifischer Anwendungssoftware und spart somit Lizenzgebühren, führt in die Assembler-Programmierung ein und erläutert jeden Befehl ausführlich.

  • Wissensbasierte Systeme

    Wissensbasierte Systeme

    ab 58,00 €

    Haun, Matthias. Wissensbasierte Systeme haben den Sprung von der Forschung in die DV-Abteilungen der Unternehmen vollzogen. Zahlreiche Unternehmen haben bereits eigene Entwicklungsabteilungen für wissensbasierte Systeme etabliert, Softwarehäuser haben sich auf die Entwicklung von Expertensystemen spezialisiert. Werkzeuge für die Erstellung von wissensbasierten Systemen, die noch vor Jahren nur auf Spezialrechnern eingesetzt werden konnten, sind heute für normale PC-Umgebungen verfügbar. Die Entwicklung von wissensbasierten Systemen ist jedoch immer noch aufwendig, kostspielig und mit Risiken behaftet. In diesem Buch werden die zentralen Methoden und Techniken zur Realisierung von wissensbasierten Systemen und von Expertensystemen verständlich dargestellt. Ausgehend von den Erwartungen an die künstliche Intelligenz aus heutiger Sicht, werden die Modellierungskonzepte für wissensbasierte Syst...

  • Modern Graph Theory

    Modern Graph Theory

    ab 59,99 €

    Bollobas, Bela. Graph theory should be part of the education of every serious student of mathematics and computer science, both for its own sake and to enhance the appreciation of mathematics as a whole. This book is an in -depth account of graph theory, written with such a student in mind; it reflects the current state of the subject and emphasizes connections with other branches of pure mathematics. The volume grew out of the author's earlier book, Graph Theory, but its length is well over twice that of its predecessor, allowing it to reveal many exciting new developments in the subject.

  • Sphere Packings, Lattices and Groups Conway, J: Sphere Packings

    Sphere Packings, Lattices and Groups Conway, J: Sphere Packings

    ab 85,59 €

    The third edition of this timely, definitive, and popular book continues to pursue the question: what is the most efficient way to pack a large number of equal spheres in n-dimensional Euclidean space? The authors also continue to examine related problems such as the kissing number problem, the covering problem, the quantizing problem, and the classification of lattices and quadratic forms.

  • Data Warehouse and Business Information Quality

    Data Warehouse and Business Information Quality

    ab 73,50 €

    LARRY P. ENGLISH is the leading international expert in the field of information and data warehouse quality. He has provided consulting and educational services in at least 20 countries and on 4 continents. DAMA awarded him the 1998 "Individual Achievement Award" for his contributions to the field of information and resource management. He writes the "Plain English on Data Quality" column for Data Management Review and is a featured speaker at numerous data warehousing conferences. Larry chairs information quality conferences held around the world.

  • Quantum Computing and Communications

    Quantum Computing and Communications

    ab 93,08 €

    Brooks, Michael. The first comprehensive overview of the state-of-the art Contains definitions of all terms used in teaching, researching and learning QCC Quantum computers are widely believed to be feasible within the next 20-30 years

  • C++ Kurs technisch orientiert Schmitt, G: C++ Kurs

    C++ Kurs technisch orientiert Schmitt, G: C++ Kurs

    ab 99,95 €

    Schmitt, Günter. Prof. Dipl.-Ing. Günter Schmitt studierte Elektrotechnik an der TU Berlin und arbeitete nach seinem Diplom bei Siemens auf dem Gebiet der Messtechnik. Er lehrte ab 1969 an der Hochschule Dieburg und später als Gast an der Hochschule Darmstadt. Im Oldenbourg Verlag veröffentlichte er Lehrbücher über die Programmiersprachen Fortran, Pascal und C, über die 8-bit-Prozessoren der ersten Generation sowie über die modernen Mikrocontroller. Auch nach seiner Pensionierung im Jahr 2002 kann er immer noch nicht die Finger von Tastatur, Maus, Lötkolben und dicken Controller-Handbüchern lassen.

  • Das Gehirn und seine Wirklichkeit Roth: Gehirn u. seine Wirklichkeit

    Das Gehirn und seine Wirklichkeit Roth: Gehirn u. seine Wirklichkeit

    ab 18,00 €

    Roth, Gerhard. Gerhard Roth, geboren 1942 in Marburg, ist Professor für Verhaltensphysiologie an der Universität Bremen und Rektor des Hanse-Wissenschaftskollegs in Delmenhorst. Er veröffentlichte rund 180 Publikationen auf dem Gebiet der experimentellen und theoretischen Neurobiologie und der Neurophilosophie, darunter vier Bücher (u.a. Das Gehirn und seine Wirklichkeit, Frankfurt/Main 1994). Sein besonderes Interesse gilt dem interdisziplinären Brückenschlag zwischen den Neurowissenschaften, der Psychologie und den Sozialwissenschaften.

  • Windows Software Training

    Windows Software Training

    ab 54,99 €

    Kolacki, Achim. . . . . . . . . . . . . . .. . . . 3 . . . . . 2.1 Installation auf einer Festplatte . . . . . . . . . . . . . . . . . . . .. . . 3 . . . . . 2.2 Installation auf Disketten . . . . . . . . . . . . . . . . . . . . . . .. . . 5 . . . . . .

  • Software-Wiederverwendung

    Software-Wiederverwendung

    ab 54,99 €

    Küffmann, Karin. auch die Erhöhung der Qualität und Produktivität der Entwicklung erreicht. Darüber hinaus fördert die domänenspezifische vertikale Wiederverwendung die Integration von Anwendungssystemen in dieser Domäne und auch zwischen ver

  • Verläßliche IT-Systeme

    Verläßliche IT-Systeme

    ab 54,99 €

    Informationstechnische Systeme sind heute aus dem Leben nicht mehr wegzudenken. In relativ kurzer Zeit und in unterschiedlichsten Lebensbereichen hat der Gebrauch von IT-Systemen zu Abhängigkeiten zwischen diesen Systemen und dem erwarteten Funktionieren der automatisierten Prozesse geführt. Diese Wechselwirkungen sind verschieden groß, abhängig von den Eigenschaften des betreffenden IT-Systems, der Umgebung des IT-Systems sowie der Art und Intensität seines Gebrauchs. Ein Bewertungsmaßstab, den insbesondere Benutzer und Betreiber eines IT

  • Maple griffbereit

    Maple griffbereit

    ab 54,99 €

    Nancy Blachman ist seit vielen Jahren an der Entwicklung und am Einsatz von Computeralgebrasystemen wie Maple und Mathematica beteiligt.

  • Datenverarbeitung im Marketing

    Datenverarbeitung im Marketing

    ab 54,99 €

    Thome, R.. Die Kenntnis der Wirkung hängt von der Kenntnis der Ursache ab und schließt diese in sich ein B. Spinoza Für Marketingmaßnahmen werden allein in der Bundesrepublik Deutschland jährlich etwa 25 Mrd. DM verausgabt. Darin sind noch nicht die mit dem Absatz verbundenen Aufgaben der Lager

  • Advances in Computer Graphics III Advances in Computer Graphics 3

    Advances in Computer Graphics III Advances in Computer Graphics 3

    ab 149,79 €

    The material in this book was presented in the tutorial programme of the Eurographics '87 Conference, held in Amsterdam, The Netherlands, 1987. The book contains eight contributions, from leading experts in each field. Major aspects of computer graphics fundamentals, interactive techniques and three-dimensional modelling techniques are discussed and a state-of-the-art survey on the increasingly important area of desktop publishing is given. The theory of fractals is covered by presenting a thorough treatment of their mathematics and programming. Furthermore, overviews of several topics, such as the theory and methods of modelling three-dimensional shapes and objects, the fundamental concepts and current advances in user interface management systems, and existing CAD-interface specifications, are included. The book will be of interest to systems designers, application programmers and researchers who wish to gain a deeper knowledge of the state-of-the-art in the areas covered.

  • Parallelrechner-Architekturen

    Parallelrechner-Architekturen

    ab 54,99 €

    Kober, Rudolf. Parallelrechner-Architekturen zeigen den Weg zu hochleistungsfähigen, kostengünstigen Rechnerstrukturen. Um ihr Leistungspotential für möglichst breite Anwendungsbereiche einfach und wirkungsvoll nutzbar zu machen, müssen Rechnerarchitektur und Softwarearchitektur einschließlich der Programmiersprachen gemeinsam betrachtet und im Einklang miteinander entwickelt werden. In diesem Buch werden Aspekte der Parallelverarbeitung bei modernen imperativen und deklarativen Sprachen dargestellt, daraus resultierende Anforderungen an parallele Systemarchitekturen abgeleitet sowie geeignete Architekturen vorgestellt und bewertet. Im einzelnen werden behandelt: imperative Sprachen (prozedurale und objekt-orientierte), deklarative Sprachen (funktionale und logische), Ebenen der Parallelität, Granularität der Verarbeitungspakete, explizite und implizite Parallelität, Anforderungen an Kommuni...

  • Specification for Exchange of Product Analysis Data

    Specification for Exchange of Product Analysis Data

    ab 89,99 €

    During the past 25 years computers have been introduced in industry to perform technical tasks such as drafting, design, process planning, data acquisition, process control, and quality assurance. Computerized solutions nevertheless have normally been single, isolated devices within a manufacturing plant. Computer technology is still evolving rapidly. The life cycle of todays' products and production methods is shortening, with continuously increasing requirements of customers, and a trend to market interrelations between companies at a national and international level. This urges a need for efficient storage retrieval and exchange of information. Integration of information flow is urgent inside companies to closely connect together departments, which used to work, more or less, on their own. On the other hand direct communication with outside customers, suppliers, and partner institutions will often determine the position of an enterprise among the competitors. In this sense, computer...

  • CAAP '90

    CAAP '90

    ab 109,99 €

    Arnold, Andre. Proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. Topics covered include logical, algebraic and combinatorial properties of discrete structures, and application of discrete structures in computer science.

  • SQL-Anfragen

    SQL-Anfragen

    ab 54,99 €

    Bültzingsloewen, Günter v.. Immer komplexere Anwendungen stellen steigende Leistungsanforderungen an relationale Datenbanksysteme. Um diese zu erf}llen, ist eine Parallelisierung der Anfragebearbeitung erforderlich. Als Beitrag hierzu wird ein Verfahren zur ]bersetzung von Anwenderanfragen, die in der Standard-Sprache SQL formuliert sind, in effiziente parallele Bearbeitungspl{ne vorgestellt. Dabei wird die Technik der regelbasierten Optimierung zugrundegelegt. Von generellem Nutzen f}r die korrekte und effiziente Bearbeitung von SQL-Anfragen ist die Integration bekannter Optimierungstechniken auf der Basis einer erweiterten relationalen Algebra. Mit einer systematischen und kompaktenBeschreibung paralleler Bearbeitungspl{ne wird dar}ber hinaus ein Beitrag zum Verst{ndnis der Parallelisierbarkeit komplexer relationaler Anfragen geleistet.

  • A Mathematical Theory of Hints Monney, P: Mathematical Theory of Hints

    A Mathematical Theory of Hints Monney, P: Mathematical Theory of Hints

    ab 96,29 €

    An approach to the modeling of and the reasoning under uncertainty. The book develops the Dempster-Shafer Theory with regard to the reliability of reasoning with uncertain arguments. Of particular interest here is the development of a new synthesis and the integration of logic and probability theory. The reader benefits from a new approach to uncertainty modeling which extends classical probability theory.

  • Computers and Exploratory Learning

    Computers and Exploratory Learning

    ab 213,99 €

    This volume in the NATO Special Programme on Advanced Educational Technology covers the state of the art in the design and use of computer systems for exploratory learning.

  • Business Engineering. Prozeß- und Systementwicklung I Oesterle, H: Business Engineering 1

    Business Engineering. Prozeß- und Systementwicklung I Oesterle, H: Business Engineering 1

    ab 69,99 €

    Österle, Hubert. Die Industriegesellschaft ist in der Transformation zur Informationsgesellschaft. Die Informatisierung verändert Märkte, Produkte, Prozesse, das Management und die Form der Zusammenarbeit zwischen Unternehmen. Das Erkennen der Chancen und die Umsetzung der Potentiale ist die große Herausforderung des Managements, der Organisation und der Systementwicklung in den nächsten zwanzig Jahren. Business Engineering liefert Modelle und Techniken zur Transformation der Unternehmen. Es zeigt, welche Chancen die Informationstechnik eröffnet und wie ein Unternehmen diese Chancen in effektive und effiziente Abläufe umsetzt. Der Prozeß als neues Modell der Organisation verbindet die Geschäftsstrategie mit dem Informationssystem und wird so zur Drehscheibe neuer unternehmerischer Lösungen.

  • Elektronische Schaltungen II Wupper: Elektronische Schaltungen 2

    Elektronische Schaltungen II Wupper: Elektronische Schaltungen 2

    ab 49,99 €

    Dieses zweibändige, grundlegende und tiefgehende Werk über analoge und digitale Schaltungstechnik bietet neben einer verständlichen Darstellung des Lehrstoffs viele umfangreiche Lernhilfen. Es ist daher besonders für Einsteiger und zum Selbst- und Fernstudium geeignet. Eine Vielzahl von detailliert durchgerechneten Beispielen, Aufgaben mit ausführlichen Lösungsvorschlägen, Merksätzen und Kapitelzusammenfassungen erleichtern das Lernen ebenso wie die zahlreichen Abbildungen und Tabellen. Das Werk entstand aus einer Vorlesung an der Fernuniversität Hagen.

  • STACS 96

    STACS 96

    ab 139,09 €

    This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996. The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.

  • Coloured Petri Nets 1

    Coloured Petri Nets 1

    ab 149,99 €

    Jensen, Kurt. The book gives a detailed and systematic introduction to high-level Petri nets that includes explanation, motivation, examples, and applications. The author is one of the leading authorities on Petri nets and a member of the steering committee for the International Conference on Application and Theory of Petri Nets.

  • Deductive Program Design

    Deductive Program Design

    ab 223,63 €

    Broy, Manfred. Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

  • The Chemist's Electronic Book of Orbitals Clark, T: Chemists Electronic Book

    The Chemist's Electronic Book of Orbitals Clark, T: Chemists Electronic Book

    ab 85,59 €

    This CD-ROM and textbook package introduces chemistry students to the world of molecular orbitals using 3D and VRML representations. An overview of the basic chemistry and physics needed enables readers to move quickly onto the CD. The CD-ROM itself contains an extended interactive textbook and a broad selection of classical organic compounds and inorganic complex ligands complete with their orbitals. Moreover, interactive demonstrations allow students to alter relevant parameters and watch the change in the orbitals'characteristics or take a walk through this fascinating 3D world.

  • Übersetzung objektorientierter Programmiersprachen Bauer: Objekt. Programmiersprachen

    Übersetzung objektorientierter Programmiersprachen Bauer: Objekt. Programmiersprachen

    ab 32,99 €

    Das Lehrbuch vermittelt die Grundlagen für die Entwicklung von Übersetzern für objektorientierte Programmiersprachen. In einem Theorieteil werden ausführlich und anschaulich die Konzepte dieser Sprachen und ihrer Übersetzung behandelt. Die Übersetzung von Smalltalk-80, Java und C++ wird über eine einfache abstrakte (virtuelle) Maschine vereinheitlicht. Im Praxisteil wird dann die Spezifikation eines Übersetzers für Java entwickelt. Sie kann als Eingabe für einen Übersetzergenerator verwendet werden, der daraus ein ablauffähiges C-Programm erzeugt. In einem abschließenden Praktikum mit Aufgaben und Lösungen (Gesamtlösung im WWW) wird der Stoff am Beispiel der Entwicklung eines Java-Compilers eingeübt.

  • Prozeßautomatisierung 2 Lauber, R: Prozessautomatisierung 2

    Prozeßautomatisierung 2 Lauber, R: Prozessautomatisierung 2

    ab 64,99 €

    Lauber, Rudolf Göhner, Peter. Der auf dem Fachgebiet der Anlagen- oder der Produktautomatisierung tätige Ingenieur benötigt Kenntnisse und Fähigkeiten nicht nur über die Automatisierungsverfahren, sondern auch über Computer-Hardware- und Softwaretechnik sowie über die Durchführung von Automatisierungs-Projekten. Dieses zweibändige Lehrwerk vermittelt solides Grundwissen in diesen Bereichen. Übungsaufgaben stehen hinter jedem Kapitel. Der zweite Band behandelt Automatisierungsverfahren und die Methoden und Vorgehensweisen bei der Durchführung von Automatisierungsprojekten.

  • Künstliche Intelligenz und Entscheidungstheorie

    Künstliche Intelligenz und Entscheidungstheorie

    ab 54,99 €

    Poddig, Thorsten. Informationen. Diagnoseprobleme sind eine in der Betriebswinschaft hliufig auftretende Problemklasse. Dabei ist eine bestimmte vorliegende Situation zu erkennen und zu klassifizieren, der eine bestimmte Handlung oder Folgerung zuzuordnen ist.

  • 13 Lectures on Fermat's Last Theorem

    13 Lectures on Fermat's Last Theorem

    ab 119,99 €

    Ribenboim, Paulo. Fermat's problem, also ealled Fermat's last theorem, has attraeted the attention of mathematieians far more than three eenturies. Many clever methods have been devised to attaek the problem, and many beautiful theories have been ereated with the aim of proving the theorem. Yet, despite all the attempts, the question remains unanswered. The topie is presented in the form of leetures, where I survey the main lines of work on the problem. In the first two leetures, there is a very brief deseription of the early history , as well as a seleetion of a few of the more representative reeent results. In the leetures whieh follow, I examine in sue

  • Komplexitätstheorie Band I: Grundlagen

    Komplexitätstheorie Band I: Grundlagen

    ab 49,95 €

    Die Komplexitätstheorie untersucht den algorithmischen Aufwand zur Lösung von Problemen mit Hilfe einer Maschine. Dabei werden Rechnermodelle wie Turing-Maschinen oder Registermaschinen verwendet, um von speziellen Architektur- und Implementationsdetails unabhängige Ergebnisse zu gewinnen. Neben den klassischen Komplexitätsmaßen Zeitaufwand und Speicherplatzbedarf werden eine Reihe weiterer Maße zur Strukturierung eingesetzt. Algorithmische Probleme werden diesbezüglich klassifiziert und in Beziehung zueinander gesetzt. Die Suche nach effizienten Lösungsstrategien wird komplementiert durch den (im allgemeinen sehr schwierigen) Nachweis unterer Schranken für den Lösungsaufwand.

  • Prozeßinformatik

    Prozeßinformatik

    ab 49,95 €

    Schnieder, Eckehard. Beherrschung informationstechnisch gesteuerter Systeme. Sie orientiert sich an den in der Informatik entwickelten Konzepten und ehemals in der Kybernetik verwendeten Methoden und bedient sich einer Beschreibung mit Petrinetzen.

  • Systems of Reductions

    Systems of Reductions

    ab 74,89 €

    Contents: General Concepts from Universal Algebra.- Finite Sets of Reductions.- Infinite Sets of Reductions.- Automata and Reductions.- Deciding Algebraic Properties of Finitely Presented Monoids by Friedrich Otto.- References.- Subject Index.- List of Symbols and Abbreviations.

  • Machines, Languages, and Complexity

    Machines, Languages, and Complexity

    ab 74,89 €

    The volume contains selected contributions from the scientific programme of the 5th International Meeting of Young Computer Scientists (IMYCS '88) held at Smolenice Castle (Czechoslovakia), November 14-18, 1988. It is divided into five chapters which approach the three crucial notions of contemporary theoretical computer science - machines, languages, and complexity - from different perspectives. The first chapter contains contributions dealing with problems of decidability, hierarchy, and complexity. Papers concerning different types and problems of automata theory form the second chapter. The contributions in the third chapter cover the large field of algorithmics from the study of program complexity to the domain of computational geometry. The two contributions of the fourth chapter are devoted to logic programming and inductive inference. The final chapter deals with problems of cryptography and contains the text of the IMYCS '88 tutorial on cryptography and data security delivered...

  • ESEC '89

    ESEC '89

    ab 106,99 €

    Ghezzi, Carlo. The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software configuration management, software development environments, and requirements engineering. The book is most likely to be of interest to researchers and professionals working in the field of software development. The primary value of the book is that it gives an up-to-date treatment of its subject mate...

  • Inkonsistenzen in deduktiven Datenbanken

    Inkonsistenzen in deduktiven Datenbanken

    ab 54,99 €

    Moerkotte, Guido. Eine Datenbasis wird konsistent genannt, wenn sie ein wahrheitsgemäßes Modell der gegebenen Miniwelt darstellt. Mit der Ausnahme von Prozeßdatenbanken, die ihre Eingabe über Sensoren erhalten, werden die Daten im Normalfall durch menschliche Benutzer eingegeben. Es ist daher notwendig, einen schwächeren Begriff der Konsistenz einzuführen. Die in der gegebenen Miniwelt beobachteten Gesetzmäßigkeiten werden mittels Konsistenzbedingungen - im allgemeinen geschlossene prädikatenlogische Formeln - modelliert. Eine Datenbasis wird dann als konsistent bezeichnet, wenn die Konsistenzbedingungen erfüllt sind. Die klassische Reaktion auf das Auftreten einer Inkonsistenz, das Rücksetzen der Transaktion, ist keine zufriedenstellende Lösung. Das Buch unterbreitet deshalb einen Vorschlag, wie der Benutzer mit detaillierter Information über die Konsistenzverletzung versorgt werd...

  • Logic Programming in Action

    Logic Programming in Action

    ab 74,89 €

    Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.

  • Extensions of Logic Programming

    Extensions of Logic Programming

    ab 93,08 €

    This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.

  • Evolutionary Computing

    Evolutionary Computing

    ab 74,89 €

    Fogarty, Terence C.. This volume is based on the Workshop on Evolutionary Computing held in Leeds, U.K. in April 1994 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Behaviour. In addition to the 22 best papers presented at the workshop, there are two invited contributions by Ray Paton and Colin Reever. The volume addresses several aspects of evolutionary computing, particularly genetic algorithms, and its applications, for example in search, robotics, signal processing, machine learning, and scheduling. The papers are organized in sections on theoretical and biological foundations, techniques, classifier systems, and applications.

  • Distributed Programming Paradigms with Cryptography Applications Greenfield, J: Distributed Programming Paradigms with Crypto

    Distributed Programming Paradigms with Cryptography Applications Greenfield, J: Distributed Programming Paradigms with Crypto

    ab 74,89 €

    Greenfield, Jonathan S.. This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures. The author introduces generic programs for two paradigms and shows how to derive new distributed programs for several applications related to the RSA cryptosystem, including RSA enciphering and deciphering, prime number generation, and factoring. The book is well-written and easily accessible to the non-expert. The work is an appealing combination of the theory and practice of parallel computing and provides a clear introduction to the theory and practice of RSA cryptography.

  • Advances in Artificial Life

    Advances in Artificial Life

    ab 160,49 €

    This volume contains 71 revised refereed papers, including seven invited surveys, presented during the Third European Conference on Artificial Life, ECAL '95, held in Granada, Spain in June 1995. Originally AL was concerned with applying biologically inspired solutions to technology and with examining computational expertise in order to reproduce and understand life processes. Despite its short history, AL now is becoming a mature scientific field. The volume reports the state of the art in this exciting area of research; there are sections on foundations and epistemology, origins of life and evolution, adaptive and cognitive systems, artificial worlds, robotics and emulation of animal behavior, societies and collective behavior, biocomputing, and applications and common tools.

  • Metaclasses and Their Application

    Metaclasses and Their Application

    ab 74,89 €

    Conventional object-oriented data models are closed: although they allow users to define application-specific classes, they usually come with a fixed set of modelling primitives. This constitutes a major problem, as different application domains, e.g. database integration or multimedia, need special support. Using an extended metaclass concept, this book provides for the solution of this problem a simple but extendible open object-oriented data model, a so-called RISC model. By introducing the basic concepts of the open object-oriented database management system VODAK, it demonstrates how the extended metaclass concept can be integrated homogeneously into object-oriented data models.

  • Architecture Design and Validation Methods

    Architecture Design and Validation Methods

    ab 90,90 €

    Börger, Egon. This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-level design of VLSI circuits and systems to layout and testable design, including modeling and synthesis of behavior, of control, and of dataflow, cell based logic optimization, machine assisted verification, and virtual machine design. The chapters presuppose only basic familiarity with computer architecture. They are self-contained and lead the reader gently and informatively to the forefront of current research. A special feature of the book is the comprehensive range of architecture design and validation topics covered, giving the reader a clear view of the problems and of advanced techniqu...

  • The B Language and Method Lano, K: B Language and Method

    The B Language and Method Lano, K: B Language and Method

    ab 85,55 €

    Lano, Kevin. B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wid...