Informatik von Fundus-Online GbR Borkert, Schwarz, Zerfaß
Korrekte Software : Semantik, Spezifikation, Verifikation und Testen von Programmen.
von Wolfgang Kowalk Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1993. kart. 312 S. ; 24 cm, Gutes Ex. - Das Buch stellt neue effiziente und praktisch einsetzbare Techniken zur Spezifikation und Implementierung korrekter Software vor. Neben einer kritischen Analyse verbreiteter mathematischer Methoden zur Verifikation von Software werden neue alternative Verif…
Automatisches Verstehen gesprochener Sprache. - Reihe Informatik ; Bd. 74.
von Gerhard Sagerer Verlag: Mannheim ; Wien ; Zürich : BI-Wiss.-Verl.,
1990. kart. 321 S. : graph. Darst. ; 21 cm; Gutes Ex. - Automatisches Verstehen gesprochener Sprache wird allgemein als ein mehrstufiger Prozeß betrachtet, der von der Parametrisierung eines Sprachsignals über die Detektion potentiell gesprochener Wörter bis zur linguistischen Interpretation reic…
Compilerbau; 1. Analyse. - Reihe Informatik ; Bd. 36.
von Hans Zima Verlag: Mannheim ; Wien ; Zürich : BI-Wiss.-Verl.,
2., korrigierte Aufl. 1988. kart. 405 S. : graph. Darst.; 21 cm; Gutes Ex. - In diesem Werk wird die Theorie des Übersetzerbaus für höhere Programmiersprachen systematisch entwickelt. Dabei werden einerseits die benötigten Verfahren theoretisch präzise beschrieben, andererseits deren unmittelbare…
Diskrete Strukturen : eine angewandte Algebra für Informatiker. - Reihe Informatik ; Bd. 49.
von Robert Zobel Verlag: Mannheim ; Wien ; Zürich : Bibliograph. Inst.,
1987. kart. 194 S. ; 21 cm, Gutes Ex. - Dieses Buch wendet sich an den Anwender der Algebra im Bereich der Informatik. Es unterstützt den Studenten bei der Vertiefung des Lehrstoffes und hilft dem Praktiker, sein Wissen aufzufrischen. Die Konstruktion minimaler Maschinen mit Hilfe verträglicher R…
Wissensdarstellung für Expertensysteme. - Reihe Informatik ; Bd. 57.
von Doris Altenkrüger Verlag: Mannheim ; Wien ; Zürich : BI-Wiss.-Verl.,
1987. kart. 314 S. : graph. Darst. ; 21 cm, Gutes Ex. - Programmiersprachen, Entwicklungswerkzeuge und Maschinenarchitekturen werden im Hinblick auf Expertensysteme analysiert. Die Programmiersprachtypen (funktionales, logisches, objektorientiertes und prozedurales Programmierparadigma) werden ch…
Programmierung skalierbarer Multiprozessoren. - Reihe Informatik ; Bd. 84.
von Thomas Bemmerl Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1992. kart. 316 S. : graph. Darst. ; 24 cm; Gutes Ex. - Parallelrechner, insbesondere skalierbare Multiprozessoren, lassen eine potentiell unbegrenzte Leistungssteigerung erwarten. Entwicklungen der letzten Jahre haben gezeigt, daß diese Art von Rechnerstrukturen für viele Anwendungen ein bessere…
Sicherheit für offene Kommunikation : verbindliche Telekooperation. - Sicherheit in der Informati…
von Rüdiger Grimm Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1994. kart. IX, 274 S. : graph. Darst. ; 25 cm, Gutes Ex. - In einem offenen Kommunikationssystem gibt es keine zentrale Kontrolle mehr, die für alles verantwortlich wäre und auf die sich alle verlassen könnten. Es gibt mehrere Systembetreiber und einen offenen Kreis von Teilnehmern, die sich nic…
Sicherheitsmanagement : Risikobewältigung in informationstechnologischen Systemen. - Sicherheit i…
von Ingrid Schaumüller-Bichl Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1992. kart. 334 S. : Ill., graph. Darst. ; 24 cm, Gutes Ex. - Sicherheit ist ein Thema, das alle angeht, die -direkt oder indirekt - mit Informationstechnologie zu tun haben. Dieses Buch wendet sich gleichermaßen an Wissenschaftler und Praktiker. Seine Zielsetzungen sind - einen umfassenden Überb…
Logik für Informatiker. - Reihe Informatik ; Bd. 56.
von Uwe Schöning Verlag: Mannheim ; Wien ; Zürich : BI-Wiss.-Verl.,
2., überarb. Aufl. 1989. kart. 172 S. : graph. Darst. ; 21 cm, Gutes Ex. - Dieser Band führt in Begriffe und Methoden der formalen Logik ein, wobei die Auswahl des Materials an Informatik-Anwendungen orientiert ist. Die Behandlung der Aussagenlogik und darauf auf bauend der Prädikatenlogik erfolgt…
Anonyme Kommunikation in Netzen. - Sicherheit in der Informations- und Kommunikationstechnik ; Bd…
von Angelika Steinacker Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1992. kart. 214 S. : graph. Darst. ; 24 cm Gutes Ex. - Viele Vorgänge in unserem Alltag laufen anonym ab, ohne daß wir uns dessen bewußt sind. Beispiele dafür sind die Abgabe einer Stimme bei einer geheimen Wahl, das Bezahlen mit Bargeld oder auch der Empfang eines Radio- oder Fernsehprogramms. B…