Thesaurus Computer Science (alphabetisch)

Dieser Thesaurus ist im Rahmen einer Diplomarbeit im Fachgebiet WBS entstanden. Die Schlagwörter wurden aus den Beschreibungen der einzelnen Fachgebiete selektiert und mit Hilfe der Relationsarten NT (narrower term), BT (broader term), UF (used for) und USE (use synonym) in Beziehung gesetzt. Für die Pflege des Bestandes wurde das Computerprogramm PfleSaurus eingesetzt.
Copyright Hartwig Baumgaertel 1994
3D-Bildanalyse BT: Bildanalyse 3D-Gestaltserkennung BT: Gestaltserkennung abstrakte Datentypen UF: Datentypen, abstrakte Algebra BT: Mathematik NT: Algebra, boolesche Algebra, boolesche USE: boolesche Algebra USE: Schaltalgebra BT: Algebra algebraische Implementierung UF: Implementierung, algebraische algebraische Spezifikation UF: Spezifikation, algebraische Algorithmen USE: Algorithmus NT: Algorithmen, effiziente NT: Algorithmen, genetische NT: Algorithmen, graphentheoretische NT: Algorithmen, parallele NT: Hardware-Algorithmen Algorithmen, effiziente USE: Algorithmus, effizienter USE: effiziente Algorithmen USE: effizienter Algorithmus BT: Algorithmen Algorithmen, genetische USE: genetische Algorithmen BT: Algorithmen Algorithmen, graphentheoretische USE: Algorithmus, graphentheoretischer USE: graphentheoretische Algorithmen USE: graphentheoretischer Algorithmus BT: Algorithmen Algorithmen, Hardware- UF: Hardware-Algorithmen Algorithmen, parallele USE: Algorithmus, paralleler USE: parallele Algorithmen USE: paralleler Algorithmus BT: Algorithmen Algorithmentheorie BT: Mathematik BT: Theorie NT: Automatentheorie NT: Komplexitaetstheorie NT: Rekursionstheorie algorithmische Programmiersprache UF: Programmiersprachen, algorithmische algorithmische Programmiersprachen UF: Programmiersprachen, algorithmische algorithmische Programmierung UF: Programmierung, algorithmische algorithmisches Programmieren UF: Programmierung, algorithmische Algorithmus UF: Algorithmen Algorithmus, effizienter UF: Algorithmen, effiziente Algorithmus, graphentheoretischer UF: Algorithmen, graphentheoretische Algorithmus, paralleler UF: Algorithmen, parallele Analyse NT: Analyse, graphische NT: Analysewerkzeuge Analyse, graphische USE: graphische Analyse BT: Analyse Analyseinstrumente UF: Analysewerkzeuge Analysewerkzeuge USE: Analyseinstrumente BT: Analyse Anforderungsermittlung NT: Anforderungsermittlung, aufgabenbezogene Anforderungsermittlung, aufgabenbezogene USE: aufgabenbezogene Anforderungsermittlung BT: Anforderungsermittlung Anforderungsspezifikation BT: Spezifikation Anfragesprache UF: Anfragesprachen Anfragesprachen USE: Anfragesprache Animation NT: Animation grafischer Strukturen Animation grafischer Strukturen BT: Animation Anwendungen, verteilte USE: verteilte Anwendungen applikative Programmiersprache UF: Programmiersprachen, applikative applikative Programmiersprachen UF: Programmiersprachen, applikative applikative Sprachen UF: Programmiersprachen, applikative Arbeit NT: Arbeit, EDV-gestuetzte Arbeit, EDV-gestuetzte USE: Arbeiten, EDV-gestuetzte USE: EDV-gestuetze Arbeit USE: EDV-gestuetzte Arbeiten BT: Arbeit Arbeit, menschengerechte USE: menschengerechte Arbeit Arbeiten, EDV-gestuetzte UF: Arbeit, EDV-gestuetzte arbeitende Menschen UF: Menschen, arbeitende arbeitender Mensch UF: Menschen, arbeitende Arbeitsbedingungen Arbeitsgestaltung Arbeitsinformatik BT: Humanwissenschaft Arbeitsplatz UF: Arbeitsplaetze Arbeitsplatz, medizinischer UF: Arbeitsplaetze, medizinische Arbeitsplatzkonferenz UF: Arbeitsplatzkonferenzen Arbeitsplatzkonferenzen USE: Arbeitsplatzkonferenz BT: Kommunikation Arbeitsplaetze USE: Arbeitsplatz NT: Arbeitsplaetze, medizinische NT: Bildschirmarbeitsplaetze NT: Buero NT: Management-Arbeitsplaetze Arbeitsplaetze, medizinische USE: Arbeitsplatz, medizinischer USE: medizinische Arbeitsplaetze USE: medizinischer Arbeitsplatz BT: Arbeitsplaetze Arbeitsprozess Architektur UF: Architekturen Architektur, VLSI- UF: VLSI-Architekturen Architekturen USE: Architektur NT: Architekturen, parallele NT: Informationsarchitekturen NT: Kommunikationsarchitekturen NT: Microkernel-Architekturen NT: Rechnerarchitekturen NT: Sicherheitsarchitekturen NT: Softwarearchitekturen NT: Systemarchitekturen NT: VLSI-Architekturen Architekturen, parallele USE: parallele Architekturen BT: Architekturen Assembler BT: Programmiersprachen, algorithmische aufgabenbezogene Anforderungsermittlung UF: Anforderungsermittlung, aufgabenbezogene Aufwandsuntersuchung UF: Komplexitaetsuntersuchung Ausgabe, grafische USE: grafische Ausgabe BT: Ein- und Ausgabe Ausgabegeraete BT: Ein- und Ausgabe NT: Ausgabegeraete, grafische Ausgabegeraete, grafische USE: grafische Ausgabegeraete BT: Ausgabegeraete Auslaenderdaten BT: Daten, personenbezogene Aussagenlogik BT: Logik Automat UF: Automaten Automat, endlicher UF: Automaten, endliche Automaten USE: Automat NT: Automaten, endliche NT: Turingmaschinen Automaten, endliche USE: Automat, endlicher USE: endliche Automaten USE: endlicher Automat BT: Automaten Automatentheorie BT: Algorithmentheorie automatisches Beweisen UF: Beweisen, automatisches AX BT: Betriebssysteme Basis-Software fuer Rechnerbetrieb UF: Betriebssysteme Bausteine Benutzerschnittstelle, grafische UF: Benutzerschnittstellen, grafische Benutzerschnittstellen NT: Benutzerschnittstellen, grafische Benutzerschnittstellen, grafische USE: Benutzerschnittstelle, grafische USE: grafische Benutzerschnittstelle USE: grafische Benutzerschnittstellen BT: Benutzerschnittstellen Berechenbarkeit UF: Rekursionstheorie Berechenbarkeitstheorie UF: Rekursionstheorie Berechnungsmodelle Beschreiben, formal UF: Beschreibungen, formale Beschreiben, formales UF: Beschreibungen, formale Beschreibung, formale UF: Beschreibungen, formale Beschreibungen, formale USE: Beschreiben, formal USE: Beschreiben, formales USE: Beschreibung, formale USE: formal Beschreiben USE: formale Beschreibung USE: formale Beschreibungen USE: formales Beschreiben Beschreibungsmittel, grafische USE: grafische Beschreibungsmittel Beschreibungsmittel, sprachliche USE: sprachliche Beschreibungsmittel Betrieb UF: Firmen Betriebe UF: Firmen betriebliche Informationssysteme UF: Informationssysteme, betriebliche betriebliche Kommunikationssysteme UF: Kommunikationssysteme, betriebliche betriebliche Management-Arbeitsplaetze UF: Management-Arbeitsplaetze, betriebliche betriebliche Systeme UF: Systeme, betriebliche betriebliches Informationssystem UF: Informationssysteme, betriebliche betriebliches Kommunikationssystem UF: Kommunikationssysteme, betriebliche betriebliches System UF: Systeme, betriebliche Betriebssystem UF: Betriebssysteme Betriebssysteme USE: Basis-Software fuer Rechnerbetrieb USE: Betriebssystem BT: Systeme NT: AX NT: Echtzeitbetriebssysteme NT: LINUX NT: MS-DOS NT: OS/2 NT: SINIX NT: SunOS NT: UNIX Betriebssystememulation USE: Emulation von Betriebssystemen BT: Emulation Betriebswirtschaft UF: Betriebswirtschaftlehre Betriebswirtschaftlehre USE: Betriebswirtschaft BT: Wirtschaftswissenschaften betriebswirtschaftliche Modelle UF: Modelle, betriebswirtschaftliche betriebswirtschaftliches Modell UF: Modelle, betriebswirtschaftliche beweisbar korrekte Programme UF: Programme, beweisbar korrekte Beweisen NT: Beweisen, automatisches NT: Korrektheitsbeweise NT: Theorembeweisen Beweisen, automatisches USE: automatisches Beweisen BT: Beweisen Bildanalyse BT: Bildverarbeitung NT: 3D-Bildanalyse Bildausgabe BT: Bildverarbeitung BT: Ein- und Ausgabe NT: Bildausgabe, grafische Bildausgabe, grafische USE: grafische Bildausgabe BT: Bildausgabe Bildauswertung BT: Bildverarbeitung Bildbearbeitung BT: Bildverarbeitung Bilddaten BT: Bildverarbeitung BT: Daten NT: Bilddaten, medizinische Bilddaten, medizinische USE: Bildmaterial, medizinisches USE: medizinische Bilddaten USE: medizinisches Bildmaterial BT: Bilddaten BT: Informatik, medizinische Bilddigitalisierung BT: Bildverarbeitung NT: Konturcodierung Bilderkennen UF: Bilderkennung Bilderkennung USE: Bilderkennen BT: Bildverarbeitung BT: Mustererkennung Bildinterpretation BT: Bildverarbeitung Bildkommunikation BT: Bildverarbeitung BT: Kommunikation NT: Bildkommunikation, medizinische Bildkommunikation, medizinische USE: medizinische Bildkommunikation BT: Bildkommunikation BT: Informatik, medizinische Bildmaterial, medizinisches UF: Bilddaten, medizinische Bildoperatoren BT: Bildverarbeitung Bildschirmarbeitsplatz UF: Bildschirmarbeitsplaetze Bildschirmarbeitsplaetze USE: Bildschirmarbeitsplatz BT: Arbeitsplaetze Bildverarbeitung NT: Bildanalyse NT: Bildausgabe NT: Bildauswertung NT: Bildbearbeitung NT: Bilddaten NT: Bilddigitalisierung NT: Bilderkennung NT: Bildinterpretation NT: Bildkommunikation NT: Bildoperatoren NT: Bildverarbeitung, digitale NT: Bildverarbeitung, medizinische NT: Bildverstehen NT: Gestaltserkennung Bildverarbeitung, digitale USE: digitale Bildverarbeitung BT: Bildverarbeitung Bildverarbeitung, medizinische USE: medizinische Bildverarbeitung BT: Bildverarbeitung BT: Informatik, medizinische Bildverstehen BT: Bildverarbeitung Biologie BT: Naturwissenschaften boolesche Algebra UF: Algebra, boolesche Breitband-Kommunikation USE: Breitbandkommunikation BT: Kommunikation Breitband-Netztechnologien Breitbandkommunikation UF: Breitband-Kommunikation Busoperationen Buero BT: Arbeitsplaetze NT: Buerobereich Buerobereich BT: Buero C BT: Programmiersprachen, algorithmische CAD CAD-Werkzeug UF: CAD-Werkzeuge CAD-Werkzeuge USE: CAD-Werkzeug CASE-Tool UF: CASE-Werkzeuge CASE-Tools UF: CASE-Werkzeuge CASE-Werkzeug UF: CASE-Werkzeuge CASE-Werkzeuge USE: CASE-Tool USE: CASE-Tools USE: CASE-Werkzeug Chip UF: Chips Chips USE: Chip USE: Mikrochip USE: Mikrochips CISC Codierschaltnetze Codierung UF: Kodierung Compiler BT: Uebersetzer Compiler, Hardware- UF: Hardware-Compiler Compiler-Beschreibungs-Sprachen UF: Compilerbeschreibungssprachen Compilerbeschreibungssprachen USE: Compiler-Beschreibungs-Sprachen Compilerformalisierung Compilergeneratoren Compilergenerierung Computerarchitektur UF: Rechnerarchitekturen Computeraufbau UF: Rechneraufbau Computerethik BT: Ethik Computergrafik Computermodelle Computernetz UF: Computernetze Computernetze USE: Computernetz USE: Rechnernetz USE: Rechnernetze BT: Netze NT: Netze, globale NT: Netze, lokale Computerschach BT: Schach computerunterstuetztes Lernen UF: Lernen, computerunterstuetztes Datalog BT: Programmiersprachen, logische Daten NT: Bilddaten NT: Daten, empirische NT: Daten, graphische NT: Daten, personenbezogene Daten, empirische USE: empirische Daten BT: Daten Daten, graphische USE: graphische Daten BT: Daten Daten, personenbezogene USE: personenbezogene Daten BT: Daten NT: Auslaenderdaten NT: Patientendaten Datenarchivierung Datenaufbereitung Datenausgabe, grafische USE: grafische Datenausgabe Datenauswertung Datenbank UF: Datenbanken Datenbank, objektorientierte UF: Datenbanken, objektorientierte Datenbankanfragesprache Datenbankanfragesprachen Datenbankarchitekturen Datenbanken USE: Datenbank NT: Datenbanken, objektorientierte Datenbanken, objektorientierte USE: Datenbank, objektorientierte USE: objektorientierte Datenbank USE: objektorientierte Datenbanken BT: Datenbanken Datenbankintegritaet USE: Integritaet von Datenbanken Datenbanksysteme BT: Systeme Datenbeschreibungen Dateneingabe, grafische USE: grafische Dateneingabe Dateneingabe, natuerliche USE: natuerliche Dateneingabe BT: Eingabe, natuerliche Datenerhebung Datenflussrechner Datenhaltung NT: Datenhaltung, effektive NT: Datenhaltung, verteilte Datenhaltung, effektive USE: effektive Datenhaltung BT: Datenhaltung Datenhaltung, verteilte USE: verteilte Datenhaltung BT: Datenhaltung Datenmodell, grafisches UF: Datenmodelle, grafische Datenmodelle NT: Datenmodelle, grafische NT: Datenmodellintegration Datenmodelle, grafische USE: Datenmodell, grafisches USE: grafische Datenmodelle USE: grafisches Datenmodell BT: Datenmodelle Datenmodellintegration USE: Integration von Datenmodellen BT: Datenmodelle Datenschutz Datensicherheit Datentransformation NT: Datentransformation, grafische Datentransformation, grafische USE: grafische Datentransformation BT: Datentransformation Datentypen NT: Datentypen, abstrakte Datentypen, abstrakte USE: abstrakte Datentypen BT: Datentypen deduktive Spezifikationsentwicklung UF: Spezifikationsentwicklung, deduktive deklarative Programmiersprache UF: Programmiersprachen, deklarative deklarative Programmiersprachen UF: Programmiersprachen, deklarative Diagnose Diagnostizieren Digitalbausteine digitale Bildverarbeitung UF: Bildverarbeitung, digitale digitale Geometrie UF: Geometrie, digitale digitale Topologie UF: Topologie, digitale Digitaltechnik diskrete Simulation UF: Simulation, diskrete DOS UF: MS-DOS dreidimensionale Grafik UF: Grafik, dreidimensionale Druckzeichenerkennung BT: Mustererkennung Echtzeit Echtzeitanforderungen Echtzeitbetriebssystem UF: Echtzeitbetriebssysteme Echtzeitbetriebssysteme USE: Echtzeitbetriebssystem BT: Betriebssysteme EDV-gestuetze Arbeit UF: Arbeit, EDV-gestuetzte EDV-gestuetzte Arbeiten UF: Arbeit, EDV-gestuetzte effektive Datenhaltung UF: Datenhaltung, effektive effiziente Algorithmen UF: Algorithmen, effiziente effizienter Algorithmus UF: Algorithmen, effiziente Ein- und Ausgabe USE: Ein-/Ausgabe USE: Eingabe/Ausgabe NT: Ausgabe, grafische NT: Ausgabegeraete NT: Bildausgabe NT: Ein-/Ausgabeorganisation NT: Eingabe, grafische NT: Eingabe, natuerliche Ein-/Ausgabe UF: Ein- und Ausgabe Ein-/Ausgabeorganisation BT: Ein- und Ausgabe Einbettung in Arbeitsumgebung UF: Softwarebenutzungsprozesse Eingabe, grafische USE: grafische Eingabe BT: Ein- und Ausgabe NT: Eingabe, interaktive grafische Eingabe, interaktive grafische USE: interaktive grafische Eingabe BT: Eingabe, grafische Eingabe, natuerliche USE: natuerliche Eingabe BT: Ein- und Ausgabe NT: Dateneingabe, natuerliche Eingabe/Ausgabe UF: Ein- und Ausgabe Einsatz von Informationstechnik UF: Informationstechnikeinsatz Einwohnermeldewesen Elektronik BT: Elektrotechnik elektronisches Publizieren UF: Publizieren, elektronisches Elektrotechnik BT: Naturwissenschaften NT: Elektronik NT: Mikroelektronik empirische Daten UF: Daten, empirische Emulation BT: Simulation NT: Betriebssystememulation NT: Prozessoremulation NT: Rechnerstrukturenemulation Emulation von Betriebssystemen UF: Betriebssystememulation Emulation von Prozessoren UF: Prozessoremulation Emulation von Rechnerstrukturen UF: Rechnerstrukturenemulation endliche Automaten UF: Automaten, endliche endlicher Automat UF: Automaten, endliche Entscheidungsprobleme Entscheidungsprobleme, lineare USE: lineare Entscheidungsprobleme entscheidungsunterstuetzende Systeme UF: Systeme, entscheidungsunterstuetzende Entscheidungsunterstuetzung Entwicklung UF: Programmerstellung Entwicklungsbeschreibung Entwicklungsmethodiken Entwicklungsprozesse NT: Entwicklungsprozesse, technologische Entwicklungsprozesse, technologische USE: technologische Entwicklungsprozesse BT: Entwicklungsprozesse Entwicklungsumgebungen Entwicklungswerkzeuge Entwurf NT: Entwurfsautomatisierung NT: Entwurfsmethoden NT: Entwurfsmethodik NT: Entwurfsspezifikation NT: Entwurfstechniken NT: Programmentwurf Entwurfsautomatisierung BT: Entwurf Entwurfsmethoden BT: Entwurf Entwurfsmethodik BT: Entwurf Entwurfsspezifikation BT: Entwurf BT: Spezifikation Entwurfstechniken BT: Entwurf Ergonomie BT: Humanwissenschaft Erhebungstechnik Erkenntnistheorie Ersetzungssysteme BT: Systeme NT: Termersetzungssysteme Ethik NT: Computerethik europaeische Vereinigung UF: Vereinigung, europaeische Expertensysteme BT: Systeme NT: Expertensysteme, medizinische Expertensysteme, medizinische USE: medizinische Expertensysteme BT: Expertensysteme BT: Informatik, medizinische Fachsprachen BT: Programmiersprachen, applikative Fachsprachenuebersetzer Farbmodelle Fehlerkorrektur USE: Fehlerkorrigieren Fehlerkorrigieren UF: Fehlerkorrektur Fehlerlokalisierung fehlertolerante Systeme UF: Systeme, fehlertolerante Fehlertoleranz Firma UF: Firmen Firmen USE: Betrieb USE: Betriebe USE: Firma USE: Unternehmen USE: Wirtschaftsunternehmen Firmware Folgen, gesellschaftliche USE: gesellschaftliche Folgen BT: Umfeld, gesellschaftliches formal Beschreiben UF: Beschreibungen, formale formal fundierte Methoden UF: Methoden, formal fundierte formale Beschreibung UF: Beschreibungen, formale formale Beschreibungen UF: Beschreibungen, formale formale Methoden UF: Methoden, formal fundierte formale Modularisierungssprache UF: Modularisierungssprache, formale formale Programmsynthese UF: Programmsynthese, formale formale Spezifikation UF: Spezifikation, formale formale Sprache UF: Sprachen, formale formale Sprachen UF: Sprachen, formale formales Beschreiben UF: Beschreibungen, formale Formalisierbarkeit Formalisieren UF: Formalisierung Formalisierung USE: Formalisieren Fundierung, semantische USE: semantische Fundierung funktionale Programiersprache UF: Programmiersprachen, funktionale funktionale Programmiersprachen UF: Programmiersprachen, funktionale funktionale Programmierung UF: Programmierung, funktionale funktionales Programmieren UF: Programmierung, funktionale Fuehren technischer Prozesse UF: Prozessfuehrung, technische ganzzahlige Programmierung UF: Programmierung, ganzzahlige GAUSS BT: Statistiksoftware genetische Algorithmen UF: Algorithmen, genetische genetische Informationsprozesse UF: Informationsprozesse, genetische Geometrie BT: Mathematik NT: Geometrie, digitale Geometrie, digitale USE: digitale Geometrie BT: Geometrie Geschichte BT: Gesellschaftswissenschaften NT: Sozialgeschichte Geschlecht Geschlecht, soziales USE: soziales Geschlecht Gesellschaft gesellschaftliche Folgen UF: Folgen, gesellschaftliche gesellschaftliche Prozesse UF: Prozesse, gesellschaftliche gesellschaftliche Voraussetzungen UF: Voraussetzungen, gesellschaftliche gesellschaftliches Umfeld UF: Umfeld, gesellschaftliches Gesellschaftsmodell Gesellschaftstheorie Gesellschaftswissenschaft UF: Gesellschaftswissenschaften Gesellschaftswissenschaften USE: Gesellschaftswissenschaft NT: Geschichte NT: Humanwissenschaft NT: Jura NT: Kognitionswissenschaften NT: Linguistik NT: Politologie NT: Psychologie NT: Sozialwissenschaften Gestaltserkennung BT: Bildverarbeitung BT: Mustererkennung NT: 3D-Gestaltserkennung NT: Konturannaeherung NT: Konturapproximation globale Netze UF: Netze, globale Grafik Grafik, dreidimensionale USE: dreidimensionale Grafik grafische Ausgabe UF: Ausgabe, grafische grafische Ausgabegeraete UF: Ausgabegeraete, grafische grafische Benutzerschnittstelle UF: Benutzerschnittstellen, grafische grafische Benutzerschnittstellen UF: Benutzerschnittstellen, grafische grafische Beschreibungsmittel UF: Beschreibungsmittel, grafische grafische Bildausgabe UF: Bildausgabe, grafische grafische Datenausgabe UF: Datenausgabe, grafische grafische Dateneingabe UF: Dateneingabe, grafische grafische Datenmodelle UF: Datenmodelle, grafische grafische Datentransformation UF: Datentransformation, grafische grafische Eingabe UF: Eingabe, grafische grafische Transformation UF: Transformation, grafische grafische Transformationen UF: Transformation, grafische grafisches Datenmodell UF: Datenmodelle, grafische Graphalgorithmen USE: Graphalgorithmus Graphalgorithmus UF: Graphalgorithmen Graphen graphentheoretische Algorithmen UF: Algorithmen, graphentheoretische graphentheoretische Modelle UF: Modelle, graphentheoretische graphentheoretischer Algorithmus UF: Algorithmen, graphentheoretische graphentheoretisches Modell UF: Modelle, graphentheoretische Graphgrammatik UF: Graphgrammatiken Graphgrammatiken USE: Graphgrammatik graphische Analyse UF: Analyse, graphische graphische Daten UF: Daten, graphische Graphrepraesentation UF: Graphrepraesentationen Graphrepraesentationen USE: Graphrepraesentation Graphtransformation UF: Graphtransformationen Graphtransformationen USE: Graphtransformation Grenzen Halbleiterspeicher Handschriftenerkennung USE: Handschrifterkennung BT: Mustererkennung Handschrifterkennung UF: Handschriftenerkennung Hardware Hardware-Algorithmen USE: Algorithmen, Hardware- BT: Algorithmen Hardware-Compiler USE: Compiler, Hardware- Hardware-Implementierung USE: Implementierung, Hardware- Hardwareakzeleratoren Hardwareprogrammieren UF: Programmierung, Hardware- Hardwareprogrammierung UF: Programmierung, Hardware- Hardwarerealisierung Hardwaretechnologie Heuristik UF: Heuristiken Heuristiken USE: Heuristik BT: Problemloesung Humanwissenschaft BT: Gesellschaftswissenschaften NT: Arbeitsinformatik NT: Ergonomie Hypermedia Hypertext Hypertextsysteme BT: Systeme Hoechstintegration Implementieren UF: Implementierung Implementierung USE: Implementieren BT: Programmerstellung NT: Implementierung, algebraische Implementierung, algebraische USE: algebraische Implementierung BT: Implementierung Implementierung, Hardware- UF: Hardware-Implementierung Industrialisierung technologischen Wissens UF: Technologietransfer Industrieproduktion Industrieroboter BT: Roboter Informatik, medizinische USE: medizinische Informatik NT: Bilddaten, medizinische NT: Bildkommunikation, medizinische NT: Bildverarbeitung, medizinische NT: Expertensysteme, medizinische NT: Patientendaten NT: Telemedizin Informatikprodukte Information Retrieval Informationsarchitekturen BT: Architekturen Informationsgesellschaft Informationshandel Informationsmanagement Informationsmodellierung Informationspolitik Informationsprozesse, genetische USE: genetische Informationsprozesse Informationsprozesse, neuronale USE: neuronale Informationsprozesse Informationsrecht Informationssystem, betriebliches UF: Informationssysteme, betriebliche Informationssysteme BT: Systeme NT: Informationssysteme, betriebliche NT: Informationssysteme, kommerzielle NT: Informationssysteme, technische NT: Informationssysteme, unternehmensweite Informationssysteme, betriebliche USE: betriebliche Informationssysteme USE: betriebliches Informationssystem USE: Informationssystem, betriebliches BT: Informationssysteme Informationssysteme, kommerzielle USE: kommerzielle Informationssysteme BT: Informationssysteme Informationssysteme, technische USE: technische Informationssysteme BT: Informationssysteme Informationssysteme, unternehmensweite USE: unternehmensweite Informationssysteme BT: Informationssysteme Informationstechnik Informationstechnikeinsatz USE: Einsatz von Informationstechnik informelle Methoden UF: Methoden, informelle Integration Integration von Datenmodellen UF: Datenmodellintegration Integration von Prozessmodellen UF: Prozessmodellintegration integrierte Programmierumgebung UF: Programmierumgebungen, integrierte integrierte Programmierumgebungen UF: Programmierumgebungen, integrierte Integritaet von Datenbanken UF: Datenbankintegritaet intelligente Netze UF: Netze, intelligente Intelligenz NT: Intelligenz, kuenstliche NT: Intelligenz, menschliche Intelligenz, kuenstliche USE: KI USE: kuenstliche Intelligenz BT: Intelligenz Intelligenz, menschliche USE: menschliche Intelligenz BT: Intelligenz interaktive grafische Eingabe UF: Eingabe, interaktive grafische INTERNET BT: Netze, globale Interoperabilitaet Interpretersemantik USE: Semantik, Interpreter- BT: Semantik ISDN Jura BT: Gesellschaftswissenschaften KI UF: Intelligenz, kuenstliche Kinematik BT: Physik BT: Robotik Klassifizierung kleine Systeme UF: Systeme, kleine Kodierung USE: Codierung Kodierungsverfahren Kognition Kognitionswissenschaften BT: Gesellschaftswissenschaften kommerzielle Informationssysteme UF: Informationssysteme, kommerzielle Kommunikation NT: Arbeitsplatzkonferenzen NT: Bildkommunikation NT: Breitband-Kommunikation NT: Mensch-Rechner-Interaktion NT: Rechnerkommunikation Kommunikation von Rechnern UF: Rechnerkommunikation Kommunikationsarchitektur UF: Kommunikationsarchitekturen Kommunikationsarchitekturen USE: Kommunikationsarchitektur BT: Architekturen Kommunikationssystem UF: Kommunikationssysteme Kommunikationssystem, betriebliches UF: Kommunikationssysteme, betriebliche Kommunikationssystem, unternehmensweites UF: Kommunikationssysteme, betriebliche Kommunikationssysteme USE: Kommunikationssystem BT: Systeme Kommunikationssysteme, betriebliche USE: betriebliche Kommunikationssysteme USE: betriebliches Kommunikationssystem USE: Kommunikationssystem, betriebliches USE: Kommunikationssystem, unternehmensweites USE: Kommunikationssysteme, unternehmensweite USE: unternehmensweite Kommunikationssysteme USE: unternehmensweites Kommunikationssystem Kommunikationssysteme, unternehmensweite UF: Kommunikationssysteme, betriebliche Komplexitaet USE: Rechenaufwand Komplexitaetstheorie BT: Algorithmentheorie Komplexitaetsuntersuchung USE: Aufwandsuntersuchung USE: Rechenaufwandsuntersuchung Komponentenmodelle kontinuierliche Simulation UF: Simulation, kontinuierliche Konturannaeherung BT: Gestaltserkennung Konturapproximation BT: Gestaltserkennung Konturcodierung BT: Bilddigitalisierung kooperierende Netze UF: Netze, kooperierende Kopplung korrekte Programme UF: Software, korrekte korrekte Software UF: Software, korrekte Korrektheit Korrektheitsbeweis UF: Korrektheitsbeweise Korrektheitsbeweise USE: Korrektheitsbeweis BT: Beweisen BT: Verifizierung Korrektheitsnachweis BT: Verifizierung Korrektur kuenstliche Intelligenz UF: Intelligenz, kuenstliche LAN BT: Netze, lokale Lehren Leistungsanalyse Lernen NT: Lernen, computerunterstuetztes NT: Lernen, maschinelles Lernen, computerunterstuetztes USE: computerunterstuetztes Lernen BT: Lernen Lernen, maschinelles USE: maschinelles Lernen BT: Lernen lineare Entscheidungsprobleme UF: Entscheidungsprobleme, lineare lineare Programmierung UF: Programmierung, lineare lineares Programmieren UF: Programmierung, lineare Linguistik BT: Gesellschaftswissenschaften LINUX BT: Betriebssysteme LISP BT: Programmiersprachen, funktionale Logik BT: Mathematik NT: Aussagenlogik NT: Logik, mehrwertige NT: Logik, zweiwertige NT: Praedikatenlogik NT: Sortentheorie NT: Typtheorie Logik, mehrwertige USE: mehrwertige Logik BT: Logik Logik, zweiwertige USE: zweiwertige Logik BT: Logik logikbasierte Wissensrepraesentation UF: Wissensrepraesentation, logikbasierte logische Programmiersprache UF: Programmiersprachen, logische logische Programmiersprachen UF: Programmiersprachen, logische logische Programmierung UF: Programmierung, logische logisches Programmieren UF: Programmierung, logische logisches Schliessen UF: Schliessen, logisches Logistik lokale Netze UF: Netze, lokale Management Management-Arbeitsplatz UF: Management-Arbeitsplaetze Management-Arbeitsplaetze USE: Management-Arbeitsplatz BT: Arbeitsplaetze NT: Management-Arbeitsplaetze, betriebliche Management-Arbeitsplaetze, betriebliche USE: betriebliche Management-Arbeitsplaetze BT: Management-Arbeitsplaetze maschinelle Problemloesung UF: Problemloesung, maschinelle maschinelle Sprachuebersetzung UF: Sprachuebersetzung, maschinelle maschinelles Lernen UF: Lernen, maschinelles maschinelles Problemloesen UF: Problemloesung, maschinelle maschinelles Sprachuebersetzen UF: Sprachuebersetzung, maschinelle Maschinenbau Materialflusssysteme BT: Systeme MathCad BT: Mathematiksoftware Mathematica BT: Mathematiksoftware Mathematik BT: Naturwissenschaften NT: Algebra NT: Algorithmentheorie NT: Geometrie NT: Logik NT: Mengenlehre NT: Statistik NT: Topologie NT: Wahrscheinlichkeitstheorie Mathematiksoftware USE: Software, mathematische NT: MathCad NT: Mathematica NT: Statistiksoftware mathematische Methoden UF: Methoden, mathematische Medizin NT: Radiologie NT: Telemedizin medizinische Arbeitsplaetze UF: Arbeitsplaetze, medizinische medizinische Bilddaten UF: Bilddaten, medizinische medizinische Bildkommunikation UF: Bildkommunikation, medizinische medizinische Bildverarbeitung UF: Bildverarbeitung, medizinische medizinische Expertensysteme UF: Expertensysteme, medizinische medizinische Informatik UF: Informatik, medizinische medizinischer Arbeitsplatz UF: Arbeitsplaetze, medizinische medizinisches Bildmaterial UF: Bilddaten, medizinische mehrwertige Logik UF: Logik, mehrwertige Mengenlehre BT: Mathematik Mensch, arbeitender UF: Menschen, arbeitende Mensch-Maschine-Interaktion UF: Mensch-Rechner-Interaktion Mensch-Maschine-Kommunikation UF: Mensch-Rechner-Interaktion Mensch-Recher-Kommunikation UF: Mensch-Rechner-Interaktion Mensch-Rechner-Interaktion USE: Mensch-Maschine-Interaktion USE: Mensch-Maschine-Kommunikation USE: Mensch-Recher-Kommunikation BT: Kommunikation Menschen, arbeitende USE: arbeitende Menschen USE: arbeitender Mensch USE: Mensch, arbeitender menschengerechte Arbeit UF: Arbeit, menschengerechte menschliche Intelligenz UF: Intelligenz, menschliche menschliche Problemloesung UF: Problemloesung, menschliche menschliche Sprache UF: Sprache, natuerliche menschliches Problemloesen UF: Problemloesung, menschliche menschliches Wahrnehmungsvermoegen UF: Wahrnehmungsvermoegen, menschliches Metasprache Methoden, formal fundierte USE: formal fundierte Methoden USE: formale Methoden USE: Methoden, formale Methoden, formale UF: Methoden, formal fundierte Methoden, informelle USE: informelle Methoden Methoden, mathematische USE: mathematische Methoden Methodologie Microkernel-Architekturen BT: Architekturen Mikrochip UF: Chips Mikrochips UF: Chips Mikroelektronik BT: Elektrotechnik Mikroprogrammieren UF: Mikroprogrammierung Mikroprogrammierung USE: Mikroprogrammieren BT: Programmierung Mikroprozessor UF: Mikroprozessoren Mikroprozessoren USE: Mikroprozessor Modell, betriebswirtschaftliches UF: Modelle, betriebswirtschaftliche Modell, graphentheoretisches UF: Modelle, graphentheoretische Modelle, betriebswirtschaftliche USE: betriebswirtschaftliche Modelle USE: betriebswirtschaftliches Modell USE: Modell, betriebswirtschaftliches Modelle, graphentheoretische USE: graphentheoretische Modelle USE: graphentheoretisches Modell USE: Modell, graphentheoretisches Modelle, oekonometrische USE: oekonometrische Modelle Modellierung Modellierungskonzepte Modula USE: Modula-2 BT: Programmiersprachen, algorithmische Modula-2 UF: Modula Modularisierung Modularisierungssprache NT: Modularisierungssprache, formale Modularisierungssprache, formale USE: formale Modularisierungssprache BT: Modularisierungssprache Modularisierungstheorie Moral MS-DOS USE: DOS BT: Betriebssysteme Multimedia NT: Multimedia-Anwendungen NT: Multimedia-Dokumentrepraesentation NT: Multimediasysteme Multimedia-Anwendungen BT: Multimedia Multimedia-Dokumentrepraesentation BT: Multimedia Multimediasysteme BT: Multimedia BT: Systeme Musteranalyse Mustererkennung NT: Bilderkennung NT: Druckzeichenerkennung NT: Gestaltserkennung NT: Handschriftenerkennung NT: Spracherkennung NT: Textverstehen Naturwissenschaft UF: Naturwissenschaften Naturwissenschaften USE: Naturwissenschaft NT: Biologie NT: Elektrotechnik NT: Mathematik NT: Physik natuerliche Dateneingabe UF: Dateneingabe, natuerliche natuerliche Eingabe UF: Eingabe, natuerliche natuerliche Sprache UF: Sprache, natuerliche natuerliche Umgebungen UF: Umgebungen, natuerliche nebenlaeufige Systeme UF: Systeme, nebenlaeufige Netze NT: Computernetze NT: Netze, intelligente NT: Netze, kooperierende NT: Netze, neuronale NT: Netzwerke Netze, globale USE: globale Netze BT: Computernetze NT: INTERNET Netze, intelligente USE: intelligente Netze BT: Netze Netze, kooperierende USE: kooperierende Netze BT: Netze Netze, lokale USE: lokale Netze BT: Computernetze NT: LAN Netze, neuronale USE: neuronale Netze BT: Netze Netzmanagement Netzstrukturen Netztransformationen Netzwerke BT: Netze neuronale Informationsprozesse UF: Informationsprozesse, neuronale neuronale Netze UF: Netze, neuronale nichtlineare Programmierung UF: Programmierung, nichtlineare Oberflaechengestaltung objektorientierte Datenbank UF: Datenbanken, objektorientierte objektorientierte Datenbanken UF: Datenbanken, objektorientierte objektorientierte Systeme UF: Systeme, objektorientierte objektorientierte Systementwicklung UF: Systementwicklung, objektorientierte offene Systemarchitekturen UF: Systemarchitekturen, offene OPAL BT: Programmiersprachen, funktionale operationelle Semantik UF: Semantik, operationelle Operations Research USE: Unternehmensforschung BT: Wirtschaftswissenschaften Organisationsmodell Organisationsmodellierung OS/2 BT: Betriebssysteme parallele Algorithmen UF: Algorithmen, parallele parallele Architekturen UF: Architekturen, parallele paralleler Algorithmus UF: Algorithmen, parallele Parallelrechner BT: Rechnerarchitekturen Parallelverarbeitung parametrische Programmierung UF: Programmierung, parametrische PASCAL USE: Pascal BT: Programmiersprachen, algorithmische Pascal UF: PASCAL Patientendaten BT: Daten, personenbezogene BT: Informatik, medizinische PC-Programmierung BT: Programmierung personenbezogene Daten UF: Daten, personenbezogene Petri-Netze USE: Petrinetze Petrinetze UF: Petri-Netze Phasenkonzepte Philosophie Physik BT: Naturwissenschaften NT: Kinematik NT: Radiologie Planen UF: Planung Planung USE: Planen NT: Produktionsplanung NT: Projektplanung NT: Versuchsplanung Planungsunterstuetzung Poker BT: Spiele, strategische Politik Politologie BT: Gesellschaftswissenschaften Problemloesen UF: Problemloesung Problemloesen, maschinelles UF: Problemloesung, maschinelle Problemloesen, menschliches UF: Problemloesung, menschliche Problemloesung USE: Problemloesen NT: Heuristiken NT: Problemloesung, maschinelle NT: Problemloesung, menschliche NT: Suchen Problemloesung, maschinelle USE: maschinelle Problemloesung USE: maschinelles Problemloesen USE: Problemloesen, maschinelles BT: Problemloesung Problemloesung, menschliche USE: menschliche Problemloesung USE: menschliches Problemloesen USE: Problemloesen, menschliches BT: Problemloesung Produktion Produktionsbereich Produktionsplanung BT: Planung Produktionssteuerung Produktionstechnik Produktverwaltung Prognosetechniken Programmdesign UF: Programmentwurf Programme, beweisbar korrekte USE: beweisbar korrekte Programme Programme, korrekte UF: Software, korrekte Programmentwicklung UF: Programmerstellung Programmentwurf USE: Programmdesign USE: Softwaredesign USE: Softwareentwurf BT: Entwurf BT: Programmerstellung Programmerstellung USE: Entwicklung USE: Programmentwicklung USE: Softwareentwicklung USE: Softwareerstellung NT: Implementierung NT: Programmentwurf NT: Programmverifizierung Programmieren, algorithmisches UF: Programmierung, algorithmische Programmieren, funktionales UF: Programmierung, funktionale Programmieren, lineares UF: Programmierung, lineare Programmieren, logisches UF: Programmierung, logische Programmieren, wissensbasiertes UF: Programmierung, wissensbasierte Programmieren, wissensgestuetztes UF: Programmierung, wissensbasierte Programmiersprache UF: Programmiersprachen Programmiersprache, algorithmische UF: Programmiersprachen, algorithmische Programmiersprache, applikative UF: Programmiersprachen, applikative Programmiersprache, deklarative UF: Programmiersprachen, deklarative Programmiersprache, funktionale UF: Programmiersprachen, funktionale Programmiersprache, logische UF: Programmiersprachen, logische Programmiersprachen USE: Programmiersprache NT: Programmiersprachen, algorithmische NT: Programmiersprachen, applikative NT: Programmiersprachen, deklarative Programmiersprachen, algorithmische USE: algorithmische Programmiersprache USE: algorithmische Programmiersprachen USE: Programmiersprache, algorithmische BT: Programmiersprachen NT: Assembler NT: C NT: Modula NT: PASCAL Programmiersprachen, applikative USE: applikative Programmiersprache USE: applikative Programmiersprachen USE: applikative Sprachen USE: Programmiersprache, applikative BT: Programmiersprachen NT: Fachsprachen Programmiersprachen, deklarative USE: deklarative Programmiersprache USE: deklarative Programmiersprachen USE: Programmiersprache, deklarative BT: Programmiersprachen NT: Programmiersprachen, funktionale NT: Programmiersprachen, logische Programmiersprachen, funktionale USE: funktionale Programiersprache USE: funktionale Programmiersprachen USE: Programmiersprache, funktionale BT: Programmiersprachen, deklarative NT: LISP NT: OPAL Programmiersprachen, logische USE: logische Programmiersprache USE: logische Programmiersprachen USE: Programmiersprache, logische BT: Programmiersprachen, deklarative NT: Datalog NT: PROLOG Programmiersprachensemantik USE: Semantik von Programmiersprachen BT: Semantik Programmiersysteme BT: Systeme Programmierumgebung UF: Programmierumgebungen Programmierumgebung, integrierte UF: Programmierumgebungen, integrierte Programmierumgebungen USE: Programmierumgebung NT: Programmierumgebungen, integrierte Programmierumgebungen, integrierte USE: integrierte Programmierumgebung USE: integrierte Programmierumgebungen USE: Programmierumgebung, integrierte BT: Programmierumgebungen Programmierung NT: Mikroprogrammierung NT: PC-Programmierung NT: Programmierung, algorithmische NT: Programmierung, funktionale NT: Programmierung, ganzzahlige NT: Programmierung, Hardware- NT: Programmierung, lineare NT: Programmierung, logische NT: Programmierung, nichtlineare NT: Programmierung, parametrische NT: Programmierung, stochastische NT: Programmierung, wissensbasierte Programmierung, algorithmische USE: algorithmische Programmierung USE: algorithmisches Programmieren USE: Programmieren, algorithmisches BT: Programmierung Programmierung, funktionale USE: funktionale Programmierung USE: funktionales Programmieren USE: Programmieren, funktionales BT: Programmierung Programmierung, ganzzahlige USE: ganzzahlige Programmierung BT: Programmierung Programmierung, Hardware- USE: Hardwareprogrammieren USE: Hardwareprogrammierung BT: Programmierung Programmierung, lineare USE: lineare Programmierung USE: lineares Programmieren USE: Programmieren, lineares BT: Programmierung Programmierung, logische USE: logische Programmierung USE: logisches Programmieren USE: Programmieren, logisches BT: Programmierung Programmierung, nichtlineare USE: nichtlineare Programmierung BT: Programmierung Programmierung, parametrische USE: parametrische Programmierung BT: Programmierung Programmierung, stochastische USE: stochastische Programmierung BT: Programmierung Programmierung, wissensbasierte USE: Programmieren, wissensbasiertes USE: Programmieren, wissensgestuetztes USE: Programmierung, wissensgestuetzte USE: wissensbasierte Programmierung USE: wissensbasiertes Programmieren USE: wissensgestuetzte Programmierung USE: wissensgestuetztes Programmieren BT: Programmierung Programmierung, wissensgestuetzte UF: Programmierung, wissensbasierte Programmsynthese, formale USE: formale Programmsynthese Programmtransformation Programmverifikation UF: Programmverifizierung Programmverifizierung USE: Programmverifikation BT: Programmerstellung BT: Verifizierung Projektkontrolle Projektmanagement Projektmodell UF: Projektmodelle Projektmodelle USE: Projektmodell Projektplanung BT: Planung PROLOG BT: Programmiersprachen, logische Prozesse, gesellschaftliche USE: gesellschaftliche Prozesse BT: Umfeld, gesellschaftliches Prozesse, technische USE: technische Prozesse Prozessoremulation USE: Emulation von Prozessoren BT: Emulation Prozessorkomponenten BT: Rechneraufbau Prozessadministration UF: Scheduling Prozessbeschreibung UF: Prozessbeschreibungen Prozessbeschreibungen USE: Prozessbeschreibung Prozessdaten Prozessdatenverarbeitung Prozessfuehrung Prozessfuehrung, technische USE: Fuehren technischer Prozesse Prozessmodell UF: Prozessmodelle Prozessmodelle USE: Prozessmodell Prozessmodellintegration USE: Integration von Prozessmodellen Prozesssteuerung Praedikatenlogik BT: Logik Psychologie BT: Gesellschaftswissenschaften Publizieren, elektronisches USE: elektronisches Publizieren Radiologie BT: Medizin BT: Physik Rechenaufwand UF: Komplexitaet Rechenaufwandsuntersuchung UF: Komplexitaetsuntersuchung Rechnerarchitektur UF: Rechnerarchitekturen Rechnerarchitekturen USE: Computerarchitektur USE: Rechnerarchitektur BT: Architekturen NT: Parallelrechner Rechneraufbau USE: Computeraufbau NT: Prozessorkomponenten Rechnerentwurf rechnergestuetzte Systemanalyse UF: Systemanalyse, rechnergestuetzte Rechnerkommunikation USE: Kommunikation von Rechnern BT: Kommunikation Rechnernetz UF: Computernetze Rechnernetze UF: Computernetze Rechnerstrukturenemulation USE: Emulation von Rechnerstrukturen BT: Emulation Rechnersysteme Rechnersystementwurf Recht Regeln UF: Regelung Regelung USE: Regeln Registerstrukturen Rekursionstheorie USE: Berechenbarkeit USE: Berechenbarkeitstheorie BT: Algorithmentheorie RISC RISC-Prozessoren Risiken USE: Risiko Risiko UF: Risiken Roboter NT: Industrieroboter Roboterkonstruktion Robotersensoren Robotersensoren, visuelle USE: visuelle Robotersensoren Robotersteuerung Robotersysteme BT: Systeme Robotik NT: Kinematik Schach BT: Spiele, strategische NT: Computerschach Schaltalgebra UF: Algebra, boolesche Schaltkreis UF: Schaltkreise Schaltkreise USE: Schaltkreis Schaltkreisentwurf Scheduling USE: Prozessadministration Scheduling Theorie Schliessen, logisches USE: logisches Schliessen Schaetztheorie selbstdiagnostizierende Systeme UF: Systeme, selbstdiagnostizierende selbstkorrigierende Systeme UF: Systeme, selbstkorrigierende Semantik NT: Interpretersemantik NT: Programmiersprachensemantik NT: Semantik, operationelle Semantik von Programmiersprachen UF: Programmiersprachensemantik Semantik, Interpreter- UF: Interpretersemantik Semantik, operationelle USE: operationelle Semantik BT: Semantik semantische Fundierung UF: Fundierung, semantische Sensorik Sicherheit Sicherheit fuer ODP Sicherheit fuer OSI Sicherheitsarchitektur UF: Sicherheitsarchitekturen Sicherheitsarchitekturen USE: Sicherheitsarchitektur BT: Architekturen Sichtweisen Signalverarbeitung Simulation NT: Emulation NT: Simulation, diskrete NT: Simulation, kontinuierliche NT: Simulation, zeitdiskrete NT: Systemsimulation Simulation, diskrete USE: diskrete Simulation BT: Simulation Simulation, kontinuierliche USE: kontinuierliche Simulation BT: Simulation Simulation, zeitdiskrete USE: zeitdiskrete Simulation BT: Simulation SINIX BT: Betriebssysteme Software, korrekte USE: korrekte Programme USE: korrekte Software USE: Programme, korrekte Software, mathematische UF: Mathematiksoftware Software, statistische UF: Statistiksoftware Software, oekonometrische USE: oekonometrische Software Software-Engineering UF: Software-Technologie Software-Technologie USE: Software-Engineering USE: Softwareengineering USE: Softwaretechnologie Softwareanwendungsprozesse UF: Softwarebenutzungsprozesse Softwareanwendungsprozess UF: Softwarebenutzungsprozesse Softwarearchitekturen BT: Architekturen Softwarebenutzungsprozesse USE: Einbettung in Arbeitsumgebung USE: Softwareanwendungsprozesse USE: Softwareanwendungsprozess USE: Softwarebenutzungsprozess Softwarebenutzungsprozess UF: Softwarebenutzungsprozesse Softwaredesign UF: Programmentwurf Softwareengineering UF: Software-Technologie Softwareentwicklung UF: Programmerstellung Softwareentwurf UF: Programmentwurf Softwareerstellung UF: Programmerstellung Softwareerstellungsprozesse USE: Softwareerstellungsprozess Softwareerstellungsprozess UF: Softwareerstellungsprozesse Softwarespezifikation BT: Spezifikation Softwaresysteme BT: Systeme Softwaresystemzerlegung USE: Zerlegung grosser Softwaresysteme Softwaretechnik Softwaretechnologie UF: Software-Technologie Softwaretransformation Softwarezuverlaessigkeit Sortentheorie BT: Logik soziales Geschlecht UF: Geschlecht, soziales Sozialgeschichte BT: Geschichte BT: Sozialwissenschaften Sozialwissenschaften BT: Gesellschaftswissenschaften NT: Sozialgeschichte NT: Soziologie Soziologie BT: Sozialwissenschaften Speicherverwaltung Spezialrechner Spezialrechnerelemente Spezifikation USE: Spezifizieren USE: Spezifizierung NT: Anforderungsspezifikation NT: Entwurfsspezifikation NT: Softwarespezifikation Spezifikation, algebraische USE: algebraische Spezifikation Spezifikation, formale USE: formale Spezifikation Spezifikationsentwicklung, deduktive USE: deduktive Spezifikationsentwicklung Spezifikationskalkuele Spezifikationslogik Spezifikationsmodelle Spezifikationssprachen Spezifikationstechniken Spezifikationstheorie Spezifikationswerkzeuge Spezifizieren UF: Spezifikation Spezifizierung UF: Spezifikation Spiele, strategische USE: strategische Spiele NT: Poker NT: Schach Spieltheorie Sprachdesign UF: Sprachentwurf Sprache UF: Sprachen Sprache, formale UF: Sprachen, formale Sprache, menschliche UF: Sprache, natuerliche Sprache, natuerliche USE: menschliche Sprache USE: natuerliche Sprache USE: Sprache, menschliche BT: Sprachen NT: Umgangssprache Sprachen USE: Sprache NT: Sprache, natuerliche NT: Sprachen, formale Sprachen, formale USE: formale Sprache USE: formale Sprachen USE: Sprache, formale BT: Sprachen Sprachentwurf USE: Sprachdesign Spracherkennen UF: Spracherkennung Spracherkennung USE: Spracherkennen BT: Mustererkennung BT: Sprachverarbeitung sprachliche Beschreibungsmittel UF: Beschreibungsmittel, sprachliche Sprachverarbeitung NT: Spracherkennung NT: Sprachverstehen NT: Sprachuebersetzung Sprachverstehen BT: Sprachverarbeitung Sprachuebersetzen UF: Sprachuebersetzung Sprachuebersetzen, maschinelles UF: Sprachuebersetzung, maschinelle Sprachuebersetzer Sprachuebersetzung USE: Sprachuebersetzen BT: Sprachverarbeitung NT: Sprachuebersetzung, maschinelle Sprachuebersetzung, maschinelle USE: maschinelle Sprachuebersetzung USE: maschinelles Sprachuebersetzen USE: Sprachuebersetzen, maschinelles BT: Sprachuebersetzung Standardisierung Statistik BT: Mathematik Statistikprogramme UF: Statistiksoftware Statistiksoftware USE: Software, statistische USE: Statistikprogramme BT: Mathematiksoftware NT: GAUSS Steuerung Steuerwerke Stichproben Stochastik UF: Wahrscheinlichkeitstheorie stochastische Programmierung UF: Programmierung, stochastische strategische Spiele UF: Spiele, strategische Strukturierung Strukturkategorien Suche UF: Suchen Suchen USE: Suche BT: Problemloesung SunOS BT: Betriebssysteme Synchronisation Syntaxanalyse System, betriebliches UF: Systeme, betriebliche Systemanalyse NT: Systemanalyse, rechnergestuetzte Systemanalyse, rechnergestuetzte USE: rechnergestuetzte Systemanalyse BT: Systemanalyse Systemarchitektur UF: Systemarchitekturen Systemarchitekturen USE: Systemarchitektur BT: Architekturen NT: Systemarchitekturen, offene Systemarchitekturen, offene USE: offene Systemarchitekturen BT: Systemarchitekturen Systeme NT: Betriebssysteme NT: Datenbanksysteme NT: Ersetzungssysteme NT: Expertensysteme NT: Hypertextsysteme NT: Informationssysteme NT: Kommunikationssysteme NT: Materialflusssysteme NT: Multimediasysteme NT: Programmiersysteme NT: Robotersysteme NT: Softwaresysteme NT: Systeme, betriebliche NT: Systeme, entscheidungsunterstuetzende NT: Systeme, fehlertolerante NT: Systeme, kleine NT: Systeme, nebenlaeufige NT: Systeme, objektorientierte NT: Systeme, selbstdiagnostizierende NT: Systeme, selbstkorrigierende NT: Systeme, verteilte NT: Systeme, wissensbasierte NT: Transportssysteme Systeme, betriebliche USE: betriebliche Systeme USE: betriebliches System USE: System, betriebliches BT: Systeme Systeme, entscheidungsunterstuetzende USE: entscheidungsunterstuetzende Systeme BT: Systeme Systeme, fehlertolerante USE: fehlertolerante Systeme BT: Systeme Systeme, kleine USE: kleine Systeme BT: Systeme Systeme, nebenlaeufige USE: nebenlaeufige Systeme BT: Systeme Systeme, objektorientierte USE: objektorientierte Systeme BT: Systeme Systeme, selbstdiagnostizierende USE: selbstdiagnostizierende Systeme BT: Systeme Systeme, selbstkorrigierende USE: selbstkorrigierende Systeme BT: Systeme Systeme, verteilte USE: verteilte Systeme BT: Systeme Systeme, wissensbasierte USE: wissensbasierte Systeme BT: Systeme Systementwicklung NT: Systementwicklung, objektorientierte Systementwicklung, objektorientierte USE: objektorientierte Systementwicklung BT: Systementwicklung Systemsimulation BT: Simulation Szenenanalyse technische Informationssysteme UF: Informationssysteme, technische technische Prozesse UF: Prozesse, technische technische Umgebungen UF: Umgebungen, technische Technologietransfer USE: Industrialisierung technologischen Wissens technologische Entwicklungsprozesse UF: Entwicklungsprozesse, technologische Telemedizin BT: Informatik, medizinische BT: Medizin Termersetzung Termersetzungssysteme BT: Ersetzungssysteme Testen Testmethoden Testtheorie Textinterpretation Textverstehen BT: Mustererkennung Theorembeweisen BT: Beweisen Theorie NT: Algorithmentheorie Theorie der Formalisierung Theorie formaler Beschreibungen Theoriebildung Topologie BT: Mathematik Topologie, digitale USE: digitale Topologie Transaktion UF: Transaktionen Transaktionen USE: Transaktion Transformation, grafische USE: grafische Transformation USE: grafische Transformationen USE: Transformationen, grafische Transformationen, grafische UF: Transformation, grafische Transportprotokolle Transportssysteme BT: Systeme Transputer Turing-Maschine UF: Turingmaschinen Turing-Maschinen UF: Turingmaschinen Turingmaschine UF: Turingmaschinen Turingmaschinen USE: Turing-Maschine USE: Turing-Maschinen USE: Turingmaschine BT: Automaten Typtheorie BT: Logik Umfeld NT: Umfeld, gesellschaftliches Umfeld, gesellschaftliches USE: gesellschaftliches Umfeld BT: Umfeld NT: Folgen, gesellschaftliche NT: Prozesse, gesellschaftliche NT: Voraussetzungen, gesellschaftliche Umgangssprache BT: Sprache, natuerliche Umgebungen NT: Umgebungen, natuerliche NT: Umgebungen, technische Umgebungen, natuerliche USE: natuerliche Umgebungen USE: Umwelt BT: Umgebungen Umgebungen, technische USE: technische Umgebungen BT: Umgebungen Umwelt UF: Umgebungen, natuerliche Umweltdaten Umweltdatenerhebung Umweltinformatik Umwelttechnik UNIX BT: Betriebssysteme Unternehmen UF: Firmen Unternehmensforschung UF: Operations Research Unternehmensmodell Unternehmensmodellierung unternehmensweite Informationssysteme UF: Informationssysteme, unternehmensweite unternehmensweite Kommunikationssysteme UF: Kommunikationssysteme, betriebliche unternehmensweites Kommunikationssystem UF: Kommunikationssysteme, betriebliche Verantwortung Vereinigung, europaeische USE: europaeische Vereinigung Verifikation UF: Verifizierung Verifizieren UF: Verifizierung Verifizierung USE: Verifikation USE: Verifizieren NT: Korrektheitsbeweise NT: Korrektheitsnachweis NT: Programmverifizierung Versuchsplanung BT: Planung verteilte Anwendungen UF: Anwendungen, verteilte verteilte Datenhaltung UF: Datenhaltung, verteilte verteilte Systeme UF: Systeme, verteilte Verwaltung Verwaltungsanwendungen Verwaltungsinformatik Visualisieren UF: Visualisierung Visualisierung USE: Visualisieren visuelle Robotersensoren UF: Robotersensoren, visuelle VLSI VLSI-Architektur UF: VLSI-Architekturen VLSI-Architekturen USE: Architektur, VLSI- USE: VLSI-Architektur BT: Architekturen Volkswirtschaftslehre BT: Wirtschaftswissenschaften Voraussetzungen, gesellschaftliche USE: gesellschaftliche Voraussetzungen BT: Umfeld, gesellschaftliches Vorgehensmodelle Wahrnehmungsvermoegen, menschliches USE: menschliches Wahrnehmungsvermoegen Wahrscheinlichkeitsrechnung UF: Wahrscheinlichkeitstheorie Wahrscheinlichkeitstheorie USE: Stochastik USE: Wahrscheinlichkeitsrechnung BT: Mathematik Wirtschaft Wirtschaftlichkeitsanalyse Wirtschaftsanwendungen Wirtschaftsinformatik Wirtschaftsmathematik Wirtschaftsunternehmen UF: Firmen Wirtschaftswissenschaft UF: Wirtschaftswissenschaften Wirtschaftswissenschaften USE: Wirtschaftswissenschaft NT: Betriebswirtschaftlehre NT: Operations Research NT: Volkswirtschaftslehre Wissen wissensbasierte Programmierung UF: Programmierung, wissensbasierte wissensbasierte Systeme UF: Systeme, wissensbasierte wissensbasiertes Programmieren UF: Programmierung, wissensbasierte Wissenschaftstheorie wissensgestuetzte Programmierung UF: Programmierung, wissensbasierte wissensgestuetztes Programmieren UF: Programmierung, wissensbasierte Wissensrepraesentation Wissensrepraesentation, logikbasierte USE: logikbasierte Wissensrepraesentation zeitdiskrete Simulation UF: Simulation, zeitdiskrete Zeitmanagement Zeitreihenanalyse Zeitverwaltung Zerlegung grosser Softwaresysteme UF: Softwaresystemzerlegung Zufallszahlen Zuverlaessigkeit zweiwertige Logik UF: Logik, zweiwertige oekonometrische Modelle UF: Modelle, oekonometrische oekonometrische Software UF: Software, oekonometrische Uebersetzer NT: Compiler Uebersetzung Uebersetzungstechnik UF: Uebersetzungstechniken Uebersetzungstechniken USE: Uebersetzungstechnik