Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einführung abdecken, werden vertiefende und weiterführende Aufgaben angeboten. Darüber hinaus umfaßt das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, ergänzt durch kurze Einführungen in diese modernen Programmiersprachen.
Aktualisiert: 2023-07-02
> findR *
Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einführung abdecken, werden vertiefende und weiterführende Aufgaben angeboten. Darüber hinaus umfaßt das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, ergänzt durch kurze Einführungen in diese modernen Programmiersprachen.
Aktualisiert: 2023-07-02
> findR *
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.
Aktualisiert: 2023-07-02
> findR *
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.
Aktualisiert: 2023-07-02
> findR *
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.
Aktualisiert: 2023-07-02
> findR *
Aktualisiert: 2023-06-16
> findR *
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.
Aktualisiert: 2023-04-30
> findR *
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und objektorientierter Programme. Der zweite Band dieses umfassenden und zugleich grundlagenorientierten Werkes behandelt softwareintensive Systeme und ihre Darstellung durch Zustandsmaschinen, nebenläufige Programme mit gemeinsamen Variablen, Datenflussprogramme, Schnittstellspezifikation, Zeitfluss, Architektur verteilter Systeme, Prozessmodellierung, Verfeinerung und spezifische Formalismen wie CSP, TLA und prädikative Spezifikation.Dies schließt unter anderem auch Themen wie Korrektheitsbeweise in Hinblick auf Sicherheit und Lebendigkeit sowie schrittweise Verfeinerung ein. Insbesondere werden im Buch die Grundlagen für eine wissenschaftlich abgesicherte Entwicklung von Programmen gelegt.
Aktualisiert: 2023-04-28
> findR *
Das erfolgreiche Lexikon ist wieder auf dem aktuellen Stand. Von den führenden Wissenschaftlern der Informatik bearbeitet, bietet es anschauliche und verständliche Informationen zur Informatik und Kommunikationstechnik.
Aktualisiert: 2023-04-02
> findR *
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare'sche Notation für kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die syntaktischen und semantischen Aspekte der Implementierung von Programmiersprachen. Dabei werden für eine einfache funktionale Sprache beispielhaft ein Übersetzer und ein Interpretierer angegeben.
Aktualisiert: 2022-03-03
> findR *
Aktualisiert: 2023-03-14
> findR *
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte. Ausgehend von einem kurzen Kapitel über Relationenalgebra und Ordnungstheorie werden die Themen Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit sowie Rechen- und Speicherkomplexität von Algorithmen und Problemstellungen besprochen. Techniken der axiomatischen Spezifikation und der Entity-Relationship-Modellierung werden eingeführt und Logik- und objektorientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.
Aktualisiert: 2023-03-14
> findR *
Aktualisiert: 2023-03-14
> findR *
Dieser zweite von vier Bänden zur Einführung in die Informatik behandelt die technische Informationsverarbeitung, von der Binärcodierung der Information über digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung und dem Übergang zur (im ersten Band behandelten) problemnahen Programmierung. Wesentlich für das Verständnis sind dabei nicht nur die konkreten Strukturen, sondern auch die für die Arbeitsweise der Informatik typische Schichtung in Abstraktionsebenen. Der Band gibt den Stoff des zweiten Semesters einer Einführungsvorlesung des Informatikstudiums wieder. Die Themen der beiden folgenden Bände sind Systemstrukturen (Verteilte Systeme, Betriebssysteme, Übersetzer) und systembezogene Programmierung bzw. theoretische Grundlagen (Formale Sprachen, Berechenbarkeit, Komplexität).
Aktualisiert: 2022-03-03
> findR *
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung für Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Abläufe, zeitkritisches Antwortverhalten, komplexe Funktionalität und sehr hohe Qualitätsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexität spielt die Architektur. Sie stellt die Regeln und Methoden für einen effektiven Systementwurf zur Verfügung, auf dem sich der gesamte Entwicklungsprozess abstützen kann. Dazu gehört eine vollständige Spezifikationsmethodik auf der Grundlage einer formalen Sprache, deren Semantik an den typischen Merkmalen von Kommunikations-Software ausgerichtet ist. Schwerpunkt der Ausführungen ist die Anpassung der Software-Entwicklung an die steigenden Anforderungen bezüglich Funktionalität, Marktorientierung, Kosten und Zeit.
Aktualisiert: 2023-04-01
> findR *
Cyber-Physical Systems adressieren das Zusammenwachsen softwareintensiver eingebetteter Systeme mit den globalen digitalen Netzen. Sie ermöglichen neuartige industrielle Anwendungen mit hohem wirtschaftlichem Potential. Beispiele sind etwa selbststeuernde Logistiksysteme, integrierte Systeme zur Verkehrssteuerung oder intelligente Stromnetze (Smart Grids). Im Milliardenmarkt der Eingebetteten Systeme hat Deutschland bislang eine starke Position. Das hohe Innovationspotential der Cyber-Physical Systems bringt große wirtschaftliche, technische und wissenschaftliche Herausforderungen. Der wachsende Umfang eingebetteter Software und ihre zunehmende Vernetzung erfordert jedoch zwingend einen Paradigmenwechsel im Entwicklungsprozess, der in der nächsten Generation der Cyber-Physical Systems zum Verlust der guten Position Deutschlands führen könnte. Aus diesem Grund zeigt acatech, die Deutsche Akademie der Technikwissenschaften, gemeinsam mit Vertretern aus Wissenschaft, Wirtschaft und Politik Möglichkeiten und Strategien auf, wie Deutschland den Generationswechsel von Eingebetteten Systemen zu Cyber-Physical Systems meistern kann.
Aktualisiert: 2023-03-14
> findR *
Aktualisiert: 2023-04-02
> findR *
Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.
Aktualisiert: 2023-03-14
> findR *
Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der erste Teil stellt das gesamte Gebiet der problemnahen Programmierung vor, von Algorithmenbegriffen über Techniken der funktionalen und der prozeduralen Programmierung und Datenstrukturen zur Programmiermethodik. Der zweite behandelt die technische Informationsverarbeitung, von der Binärcodierung über digitale Schaltungen und Rechnerarchitekturen bis hin zu maschinennaher Programmierung.
Aktualisiert: 2022-02-28
> findR *
Aktualisiert: 2023-03-14
> findR *
MEHR ANZEIGEN
Bücher von Broy, Manfred
Sie suchen ein Buch oder Publikation vonBroy, Manfred ? Bei Buch findr finden Sie alle Bücher Broy, Manfred.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Broy, Manfred im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Broy, Manfred .
Broy, Manfred - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Broy, Manfred die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Broya, Judith
- Broyart, Benoît
- Broytman, Valeria
- Brož, Ludek
- Broz, Vojtech
- Brozatus, Klaus P
- Brozatus, Klaus-Peter
- Brozeit, Melanie
- Brozeit, Wolfram
- Brozek, Anna
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Broy, Manfred und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.
