Informatik von Fundus-Online GbR Borkert, Schwarz, Zerfaß
Echtzeitfähige Multisensorintegration für autonome mobile Roboter. - Reihe Informatik ; Bd. 91.
von Klaus-Werner Jörg Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1994. kart. 232 S. : Ill., graph. Darst. ; 24 cm, Gutes Ex. - Vron einem autonomen mobilen Roboter wird gefordert, daß er selbständig in Echtzeit Informationen über seine Umwelt akquiriert und diese sukzessive zu Umweltwissen verdichtet. Dieses Umweltwissen wird in internen Repräsentationsstruktu…
Wissensbasierte Qualitätsassistenz zur Konstruktion von Prüfstrategien für Softwarekomponenten. -…
von Peter Liggesmeyer Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1993. kart. 343 S. : Ill., graph. Darst. ; 21 cm, Gutes Ex. - Das Prüfen von Software besteht in der industriellen Praxis heute oft nur in der Durchführung einiger unsystematischer und nicht reproduzierbarer Tests. In der Forschung existieren sehr viele Prüfverfahren. Da ihre Einsatzbereiche und…
Deduktionssysteme.
von Rolf Socher-Ambrosius Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1994. kart. 186 S. ; 21 cm, Gutes Ex. - Dieses Buch bietet eine theoretische Darstellung der grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit. Die Darstellung orientiert sich dabei an constraint-basierten Inferenzsystemen. Neben…
Objektorientierte Analyse für nebenläufige Systeme : die Methode MORE. - Forschung in der Softwar…
von Wolfgang Stein Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1995. 314 S. : graph. Darst. ; 21 cm; fadengeh. Orig.-Pappband. Gutes Ex. - In den letzten drei Jahren wurden zahlreiche objektorientierte Analysemethoden entwickelt. Dennoch wurden sowohl bei der praktischen Anwendung der Methoden als auch im Rahmen eines systematischen Methodenvergleichs hinsi…
Begriffliche Wissensverarbeitung : Grundfragen und Aufgaben. - hrsg. von: Rudolf Wille und Monika…
von Rudolf Wille Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1994. kart. 324 S. : graph. Darst. ; 24 cm, Gutes Ex. - Anliegen dieses Bandes ist, den weiteren Diskurs über Grundfragen und Aufgaben der Begrifflichen Wissensverarbeitung anzuregen und damit zu einem bewußteren Umgang mit Instrumenten und Systemen der Wissensverarbeitung in der Praxis beizutrag…
Computerorientierte Geometrie. - Reihe Informatik ; Bd. 89.
von Günter Aumann Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1993. XI, 545 S. ; 25 cm, fadengeh. Orig.-Pappband. Gutes Ex. - In vielen Bereichen der Datenverarbeitung werden verstärkt geometrische Methoden zur Problemlösung und zur Veranschaulichung der Resultate eingesetzt. Dieses Lehrbuch und Nachschlagewerk vermittelt die dazu benötigten geometrischen…
Optimierung - Theorie und Algorithmen : eine Einführung in Operations-Research für Wirtschaftsinfor…
von Immanuel M. Bomze Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1993. XIII, 610 S. : graph. Darst. ; 25 cm, fadengeh. Orig.-Pappband. Gutes Ex. - Dieses Buch vermittelt Studenten und Praktikern (der Wirtschaftsinformatik, Ökonometrie, Statistik und auch der Naturwissenschaften) die Fähigkeiten, Optimierungsmethoden zur Lösung praktischer Probleme einzusetzen…
Algorithms and computations with Turbo C. - In collab. with Michael Antonie van Wyk.
von Willi-Hans Steeb Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1992. kart. 161 S. : graph. Darst. ; 21 cm, Gutes Ex. - Englisch. - Numerical solutions of mathematical problems are important for scientists, engineers and many others. This book gives a collection of most standard methods in numerical analysis together with programs in TURBO C. The book concent…
Objektorientierte Schemaentwicklung : ein kategorialer Ansatz für Datenbanken und Programmierung.…
von Hartmut Wedekind Verlag: Mannheim ; Wien ; Zürich : BI-Wiss.-Verl.,
1992. kart. VI, 169 S. : graph. Darst. ; 21 cm, Gutes Ex. - In der Lehre über konventionelle Datenbanksysteme wird gezeigt, wie auf systema-tische Weise Dingschemata (Datenschemata) entwickelt werden. Eine "Objektorien-tierte Schemaentwicklung" ist eine Verallgemeinerung dieser Lehre. Ding- und H…
Micro sisters : Digitalisierung des Alltags ; Frauen und Computer. - Ingrid Schöll ; Ina Küller (…
von Ingrid Schöll Verlag: Berlin (West) : Elefanten Press,
1988. kart. 80 S. : zahlr. Ill. ; 28 cm; Gutes Ex. - INHALT : Barbara Methfessel / Barbara Orland Home-Tech-Panoptikum --- Mikroelektronik im Haushalt --- Ina Kuller --- Wie der Computer in unsere Familie kam --- Hannelore Faulstich-Wieland Computer-Odyssee --- Hannelore Faulstich-Wieland Compute…