Search results for “[Subject: computers-coding-programming]”

• Author(s): Manfred Broy | Martin Wirsing • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis volume is a collection of papers presenting work based on the ideas of the CIP project. T...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Information TheoryDiese Einf�hrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: CompilersDie Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darst...

• Author(s): Manfred Broy | Bernhard Rumpe • Publisher: Springer • Publisher Imprint: Springer • BISAC: Networking - HardwareDer Aufgaben-Band zu einer viersemestrigen Einf�hrungsvorlesung ist eng abgestimmt auf die zweib�ndige Informatik-Einf�hr...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDieser 3. Teil der vierteiligen Einf�hrung in die Informatik besch�ftigt sich mit verteilten informationsverarbeitenden Systemen u...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralModern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondete...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDeductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction ...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - Object OrientedDeductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction ...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignDiese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigst...

• Author(s): Manfred Broy • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - Systems Analysis & DesiThe development of information processing systems requires models, calculi, and theories fo...