Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently viewing all publications in category Books - back to overwiew...

Books

R. Willmann, W. Kastner: More Deterministic Product Ramp-up in Cloud Manufacturing Scenarios
Mit Innovationsmanagement zu Industrie 4.0: Grundlagen, Strategien, Erfolgsfaktoren und Praxisbeispiele, Springer-Verlag, Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature, 2018, ISBN: 978-3-658-11666-8, p. 125 - 137
bib details doi

S. Pagani, J. Chen, M. Shafique, J. Henkel: Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Springer International Publishing, Switzerland, 2018, ISBN: 978-3-319-77478-7; 250 pages
bib details doi

K. Khdr, S. Pagani, M. Shafique, J. Henkel: Dark Silicon Aware Resource Management for Many-Core Systems
Dark Silicon and Future On-chip Systems, Elsevier, United States, 110 (2018), ISBN: 978-0-12-815358-1, p. 127 - 170
bib details doi

D. Zhu, M. Shafique, M. Lin, S. Pasricha: Guest Editorial: Special Issue on Low-Power Dependable Computing

bib details doi

E. Bartocci, R.G. Deshmukh, D. Donze, G. Fainekos, O. Maler, D. Nickovic, S. Sankaranarayanan: Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 135 - 175
bib details doi

E. Bartocci, Y. Falcone, A. Francalanza, G. Reger: Introduction to Runtime Verification
Lectures on Runtime Verification - Introductory and Advanced Topics, Springer-Verlag Berlin Heidelberg, 10457 (2018), ISBN: 978-3-319-75631-8, p. 1 - 33
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)

bib details doi

M. Landauer, M. Wurzenberger, F. Skopik, G. Settanni, P. Filzmoser: Time series analysis: Unsupervised anomaly detection beyond outlier detection
Information Security Practice and Experience, C. Su, H. Kikuch (ed.); Springer, 2018, p. 16 - 36
bib details

K. de Bruyn, R. Freingruber, J. Göllner, R. Gottwald, B. Haberler, T. Hecht, M. Kammerstetter, G. Kienesberger, C. Kudera, F. Kupzog, L. Langer, A. Mattern, M. Meisel, C. Meurers, S. Milojkovic, R. Montagna, A. Peer, J. Reichl, A. Sadofsky, F. Skopik, T. Stotter, M. Tischlinger: Teil V: Maßnahmenkatalog und Tool-Implementierung
Smart Grid Security Guidance - (SG)²: Sicherheitsmaßnahmen für Stromnetzbetreiber in Österreich, Schriftenreihe der Landesverteidigungsakademie, Wien, 15/2016 (2016), ISBN: 978-3-902944-98-6, p. 1 - 253
bib details pdf

S. Pagani, M. Shafique, J. Henkel: Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints
Handbook of Hardware/Software Codesign, Springer Science+Business Media, Dordrecht, 2017, ISBN: 978-94-017-7267-9, p. 301 - 332
bib details doi

S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel: Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 125 - 158
bib details doi

H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran: Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 291 - 325
bib details doi

M. Khan, M. Shafique, J. Henkel: Energy Efficient Embedded Video Processing Systems - A Hardware-Software Collaborative Approach
Springer International Publishing, 2017, ISBN: 978-3-319-61455-7; 238 pages
bib details doi

A. Fernbach, W. Kastner: Gebäudemanagement durch Wissensbasierte Systeme
Kommunikation und Bildverarbeitung in der Automation, Springer-Verlag Berlin Heidelberg, 2017, ISBN: 978-3-662-55231-5, p. 97 - 106
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

T. Amorim, D. Ratasich, G. Macher, A. Ruiz, D. Schneider, M. Driussi, R. Grosu: Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study
Solutions for Cyber-Physical Systems Ubiquity, N. Druml, A. Genser, A. Krieg, M. Menghin, A. Höller (ed.); IGI Global, Hershey, Pennsylvania, USA, 1 (2017), ISBN: 9781522528456, p. 137 - 168
bib details doi

A. Ismail, W. Kastner: Service-Oriented Architectures for Interoperability in Industrial Enterprises
Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Springer International Publishing, 2017, p. 369 - 398
bib details doi

R. Willmann, W. Kastner: A Deterministic Product Ramp-up Process: How to Integrate a Multi-Disciplinary Knowledge Base
Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Springer International Publishing, 2017, p. 399 - 432
bib details doi

A. Ceccarelli, F. Brancati, B. Frömel, O. Höftberger: Time and Resilient Master Clocks in Cyber-Physical Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 165 - 185
bib details doi

H. Kopetz, A. Bondavalli, F. Brancati, B. Frömel, O. Höftberger, S. Iacob: Emergence in Cyber-Physical Systems-of-Systems (CPSoSs)
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 73 - 96
bib details doi pdf

B. Frömel, H. Kopetz: Interfaces in Evolving Cyber-Physical Systems-of-Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 40 - 72
bib details doi

A. Ceccarelli, A. Bondavalli, B. Frömel, O. Höftberger, H. Kopetz: Basic Concepts on Systems of Systems
Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, Springer International Publishing, 10099 (2016), ISBN: 978-3-319-47589-9, p. 1 - 39
bib details doi

A. Steininger (invited): Fifty Shades of Synchrony
This Asynchronous Woirld, A. Mokhov (ed.); Newcastle University, Newcastle upon Tyne, 2016, ISBN: 978-0-7017-0257-1, p. 294 - 300
bib details

R. Willmann, W. Kastner: Product Ramp-up for Semiconductor Manufacturing Automated Recommendation of Control System Setup
Semantic Web Technologies for Intelligent Engineering Applications, Springer International Publishing Switzerland, 2016, ISBN: 978-3-319-41488-1, p. 219 - 255
bib details

E. Bartocci, C. Ramakrishnan: Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software

bib details doi

C. Lengauer, L. Bougé, J. Träff: Editorial: Special Issue: Euro-Par 2015

bib details doi

A. Mazak, M. Wimmer, C. Huemer, G. Kappel, W. Kastner: Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards für Industrie 4.0
Handbuch Industrie 4.0, B. Vogel-Heuser et al. (ed.); Springer-Verlag Berlin Heidelberg, 2016, ISBN: 978-3-662-45537-1, p. 22
bib details doi pdf

L. Musat, M. Hübl, A. Buzo, G. Pelz, S. Kandl, P. Puschner: Semi-formal Representation of Requirements for Automotive Solutions Using SysML
Languages, Design Methods, and Tools for Electronic System Design, Springer International Publishing, Lecture Notes in Electrical Engineering 361 (2016), ISBN: 978-3-319-24457-0, p. 57 - 81
bib details doi

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, J. Widder: Decidability of Parameterized Verification
Morgan & Claypool Publishers, San Rafael, CA, USA, 2015, ISBN: 9781627057431; 170 pages
bib details doi

S. Kandl: Cost Effectiveness of Coverage-Guided Test-Suite Reduction for Safety-Relevant Systems
Progress in Systems Engineering (Advances in Intelligent Systems and Computing), Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-08421-3, p. 595 - 601
bib details doi

W. Kastner, M. Jung, M. Kofler et al. (invited): Application and benefits of IPv6 for SMEs
IoT - IPv6 integration handbook for SMEs, M. Palattella, L. Latif, S. Ziegler, W. Kastner et al. (ed.); open source, 2014, p. 25 - 33
bib details

W. Kastner, M. Jung, L. Krammer (invited): Future Trends in Smart Homes and Buildings
Industrial Communication Technology Handbook, Second Edition, CRC Press, 2014, ISBN: 9781482207323, p. 59-1 - 59-20
bib details

W. Kastner, L. Krammer, A. Fernbach (invited): State of the Art in Smart Homes and Buildings
Industrial Communication Technology Handbook, Second Edition, CRC Press, 2014, ISBN: 9781482207323, p. 55-1 - 55-20
bib details

E. Bartocci, L. Bortolussi, S. Smolka: Hybrid Systems and Biology

bib details doi

A. Gmeiner, I. Konnov, U. Schmid, H. Veith, J. Widder (invited): Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Formal Methods for Executable Software Models, Springer, 2014, ISBN: 978-3-319-07316-3, p. 122 - 171
bib details doi

S. Ziegler, W. Kastner, M. Jung et al. (invited): IoT6 - Moving to an IPv6-Based Future IoT
The Future Internet, Springer LNCS, 2013, p. 161 - 172
bib details

M. Jung, W. Kastner, S. Döbelt: The Smart Web Grid project
Smart City: Viennese expertise based on science and research, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-51-7, p. 174 - 180
bib details

M. Jung, W. Kastner, S. Döbelt: Smart Web Grid
smart city: Wiener Know-how aus Wissenschaft und Forschung, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-50-0, p. 184 - 190
bib details

W. Kastner, M. Kofler: ThinkHome: Lernende Gebäude der Zukunft
smart city: Wiener Know-how aus Wissenschaft und Forschung, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-50-0, p. 128 - 137
bib details

W. Kastner, M. Kofler: ThinkHome: Self-learning buildings of the future
Smart City: Viennese expertise based on science and research, Erich Schmidt Verlag, 2013, ISBN: 978-3-900607-51-7, p. 124 - 132
bib details

T. Bednar, F. Bleicher, F. Dür, K. Eder, T. Flatz, B. Heinzl, W. Kastner, K. Kiesel, I. Kovacic, I. Leobner, K. Orehounig, K. Ponweiser, L. Waltenberger, D. Wiegand, S. Emrich: Roadmap für Energieeffiziente Fertigungsbetriebe
Konsortium Projekt INFO, Wien, 2013; 66 pages
bib details

W. Kastner, F. Praus, G. Neugschwandtner, W. Granzer: KNX
Industrial Electronics Handbook, volume 2: Industrial Communication Systems, CRC Press, 2011, ISBN: 978-1439802892
bib details

W. Kastner, S. Soucek, C. Reinisch, A. Klapproth: Building and Home Automation
Industrial Electronics Handbook, volume 2: Industrial Communication Systems, CRC Press, 2011, ISBN: 978-1439802892
bib details

W. Granzer, A. Treytl (invited): Security in industrial communication
Industrial Electronics Handbook Volume 2: Industrial Communication Systems, CRC Press, 2011, p. 22-1 - 22-18
bib details

C. El Salloum, K. Bilic (invited): Time-Triggered Communication (Book Chapter on FlexRay)
Time-Triggered Communication, CRC Press, 2011, ISBN: 978-1-4398-4661-2, p. 121 - 152
bib details

R. Kammerer (invited): TTCAN
Time-Triggered Communication, CRC Press, 2011, ISBN: 9781439846612, p. 223 - 245
bib details

S. Bünte, M. Zolda, R. Kirner: Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility
Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global, 2011, ISBN: 9781609600860, p. 110 - 129
bib details doi

W. Elmenreich, S. Pitzek: Smart Transducers - Principles, Communications and Configuration
Intelligent Systems at the Service of Mankind, Volume II, W. Elmenreich, J.A.T. Machado, I. J. Rudas (ed.); UBooks Verlag, Augsburg, 2005, ISBN: 3-86608-052-2, p. 175 - 186
bib details pdf

S. Bachl, A. Mauczka, W. Schramm, F. Fankhauser: Exemplarische Vertiefungen
Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten., Pearson Studium, München, Germany, 2009, ISBN: 978-3-8689-4007-7, p. 651 - 668
bib details

K. Kappel, C. Wimmer, S. Bachl: Usability Engineering in der Softwareentwicklung
Softwaretechnik. Mit Fallbeispielen aus realen Entwicklungsprojekten., Pearson Studium, München, Germany, 2009, ISBN: 978-3-8689-4007-7, p. 523 - 592
bib details

W. Kastner, G. Neugschwandtner: Data communications for distributed building automation
Embedded Systems Handbook, Second Edition, Volume 2: Networked Embedded Systems, CRC Press, Boca Raton, 2009, ISBN: 978-1-4398-0761-3, p. 29-1 - 29-34
bib details

W. Binder, M. Schoeberl, P. Moret, A. Villazón: Cross-profiling for Java processors
Software: Practice and Experience, John Wiley and Sons, 2009, ISSN: 0038-0644, p. 1439 - 1465
bib details doi

R. Obermaisser, C. El Salloum, B. Huber, H. Kopetz: From a Federated to an Integrated Automotive Architecture
IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems, IEEE, 2009, ISSN: 0278-0070, p. 956 - 965
bib details doi

M. Schoeberl: Time-Predictable Computer Architecture
EURASIP Journal on Embedded Systems, Hindawi, 2009; 17 pages
bib details doi

B. Huber, R. Obermaisser: Platform Modeling in Safety-Critical Embedded Systems
Intelligent Technical Systems, Springer, LNEE Vol. 38, 2009, ISBN: 978-1-4020-9822-2, p. 145 - 158
bib details doi

M. Schoeberl: JOP: A Java Optimized Processor for Embedded Real-Time Systems
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3-8364-8086-4; 256 pages
bib details

R. Kirner: Compiler Support for Timing Analysis of Optimized Code - Precise Timing Analysis of Machine Code with Convenient Annotation of Source Code
VDM - Verlag Dr. Müller, 2008, ISBN: 978-3836468831; 224 pages
bib details

G. Neugschwandtner, W. Kastner (invited): Integration in der Gebäudeautomation
Jahrbuch TGA-Planung 2008, WEKA, 2008, p. 60 - 61
bib details

B. Burgstaller, B. Scholz, J. Blieberger: Symbolic Analysis: An Algebra-based Approach
VDM - Verlag Dr. Müller, Saarbrücken, 2008, ISBN: 978-3-836-48142-7; 161 pages
bib details

D. Dietrich, G. Fodor, W. Kastner, M. Ulieru: Considering a Technical Realization of a Neuropsychoanalyti-cal Model of the Mind - A Theoretical Framework
Simulating the Mind - A Technical Neuropsychoanalytical Approach, D. Dietrich, G. Fodor, G. Zucker, D. Bruckner (ed.); Springer-Verlag, Wien - New York, Wien-New York, 2008, ISBN: 9783211094501, p. 99 - 114
bib details

J. Widder, U. Schmid: Booting Clock Synchronization in Partially Synchronous Systems with Hybrid Process and Link Failures
Distributed Computing, Springer-Verlag, 2007, p. 115 - 140
bib details

P Tummeltshammer, J.C Hoe, M. Pueschel: Time-Multiplexed Multiple Constant Multiplication
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2007, p. 1551 - 1563
bib details

G. Schildt: Grundlagen der Impulstechnik
Teubner, Stuttgart, 1987, ISBN: 3-519-06412-x; 450 pages
bib details

G. Schildt: Impulstechnik
LyK Informationstechnik, Brunn am Gebirge, 2006, ISBN: 978-3-200-00791-8; 260 pages
bib details

M. Dittenbach, D. Merkl, A. Rauber: Serendipity in text and audio information spaces: {O}rganizing and exploring high-dimensional data with the growing hierarchical self-organizing map
Classification and Clustering for Knowledge Discovery, S. Halgamuge, L. Wang (ed.); Springer, Germany, 2005, ISBN: 3-540-26073-0, p. 43 - 60
bib details

W. Kastner, G. Neugschwandtner: EIB: European Installation Bus
The Industrial Communication Technology Handbook, CRC Press, 2005, ISBN: 0-8493-3077-7, p. 1 - 18
bib details

W. Kastner, G. Schildt: Informatik: Aufgaben und Lösungen
Springer-Verlag, Wien, 2005, ISBN: 3-211-21136-5; 124 pages
bib details

Ch. Krügel: Internet Security
The Industrial Communication Technology Handbook, CRC Press, 2005, ISBN: 0-8493-3077-7, p. 1 - 14
bib details

G. Vigna, Ch. Krügel: Host-Based Intrusion Detection
Handbook of Information Security, John Wiley and Sons, 2005, ISBN: 0-471-64833-7, p. 1 - 12
bib details

G. Schildt, D. Kahn, Ch. Krügel, Ch. Mörz: Einführung in die Technische Informatik
Springer-Verlag, Wien, 2005, ISBN: 3-211-24346-1
bib details

J. Blieberger, B. Burgstaller, G. Schildt: Informatik-Grundlagen
Springer-Verlag, Wien, 2005, ISBN: 3-211-27754-4; 274 pages
bib details

S. Pitzek, W. Elmenreich: Configuration and Management of Fieldbus Systems
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7, p. 18-1 - 18-20
bib details

H. Kopetz, G. Bauer, W. Steiner: Dependable Time-Triggered Communication
The Industrial Communication Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-3077-7
bib details

Ch. Krügel: Network Security and Secure Applications
The Industrial Information Technology Handbook, CRC Press, 2004, ISBN: 0-849-31985-4, p. 3401 - 3413
bib details

Ch. Krügel, F. Valeur, G. Vigna: Intrusion Detection and Correlation - Challenges and Solutions
Springer, 2004, ISBN: 0-387-23398-9; 122 pages
bib details

W. Zuser, T. Grechenig, M. Köhle: Software Engineering mit UML und dem Unified Process
Pearson Studium, Munich, Germany, 2004, ISBN: 3-8273-7090-6
bib details

H. Kopetz, G. Bauer: Time Triggered Communication Networks
Industrial Information Technology Handbook, CRC Press, Boca Raton,FL 33431, USA, 2005, ISBN: 0-8493-1985-4
bib details

W. Elmenreich, P. Peti: Distributed Sensor Fusion Networks
Intelligent Engineering Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 335 - 347
bib details

W. Elmenreich, R. Kirner: A Robust Certainty Grid Algorithm for Robotic Vision
Intelligent Systems at the Service of Mankind, UBooks Verlag, Augsburg, Deutschland, 2003, ISBN: 3-935798-25-3, p. 67 - 78
bib details

G. Schildt: Periphere Geräte
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 205 - 221
bib details

G. Schildt: Fuzzy-Logik
Informatik, third extended edition, Springer, Vienna, 1996, ISBN: 3-211-82860-5, p. 127 - 135
bib details

G. Schildt: Datenübertragungsverfahren
Informatik - Grundlagen, Springer, Wien, 2002, ISBN: 3-211-83710-8, p. 67 - 74
bib details

J. Klasek: Betriebssysteme und Systemsoftware (Überarbeitung)
Informatik, third extended edition, Springer, Wien, 1996, ISBN: 3-211-82860-5, p. 247 - 379
bib details

A. Redlein: Computersysteme (Überarbeitung)
Informatik, third extended edition, Springer, Wien, 1996, ISBN: 3-211-82860-5, p. 195 - 245
bib details

A. Redlein: Mikroprozessoren (Überarbeitung)
Informatik, third extended edition, Springer, Wien, 1996, ISBN: 3-211-82860-5, p. 171 - 194
bib details

A. Redlein: Logische Schaltungen (Überarbeitung)
Informatik, third extended edition, Springer, Wien, 1996, ISBN: 3-211-82860-5, p. 139 - 170
bib details

U. Schmid: Betriebssysteme
Informatik, Springer, Wien, 1990, ISBN: 3-211-82232-1, p. 222 - 350
bib details

A. Bezirgan: Informatik - Aufgaben und Lösungen
Springer, Wien, 1992
bib details

U. Schmid: Monitoring in verteilten Echtzeitsystemen
Echtzeitsysteme und Fuzzy Control, Vieweg-Verlag, 1994, p. 265 - 276
bib details

A. Redlein, R. Rohrhofer: The use of CAD Systems - Economic and Organizational Impact
Opening Productive Partnerships, IOS Press Ohmsha, Amsterdam, 1995
bib details

G. Schildt et al.: Safety Issues for Advanced Protection, Control and Human Machine Interface Systems in Operating Nuclear Power Plants
IAEA, Safety Reports Series, IAEA, 1998, ISBN: 92-0-103298-6
bib details

A. Redlein: Facility Management
EIB-Gebäudebussystem, D. Dietrich, W. Kastner, T. Sauter (ed.); Hüthig-Verlag, Heidelberg, Germany, 2000, ISBN: 3-7785-2795-9, p. 251 - 265
bib details

U. Schmid (invited): An optimally distributed global clock
START und Wittgenstein 1996-2000, Forschungsförderungsfonds (FWF), Wien, 2001, ISBN: 3-85224-089-1
bib details

S. Stöckler: Maschinen-Codes
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 168 - 205
bib details

S. Stöckler: Micro-Codes
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 143 - 165
bib details

S. Stöckler: Logische Schaltungen
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 110 - 142
bib details

S. Stöckler: Boolesche Algebra
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 87 - 104
bib details

J. Blieberger: Algorithmen (Überarbeitung)
Informatik - Grundlagen, Springer, Vienna, 2002, ISBN: 3-211-83710-8, p. 151 - 164
bib details

J. Blieberger: Informationstheorie (Überarbeitung & Ergänzung)
Informatik - Grundlagen, Springer, Vienna, 2002, ISBN: 3-211-83710-8, p. 15 - 32
bib details

J. Blieberger: Inhaltsübersicht (Überarbeitung)
Informatik, third extended edition, Springer, Vienna, 1996, ISBN: 3-211-82860-5, p. 7 - 12
bib details

B. Burgstaller: Numerik
Informatik - Grundlagen, Springer, Vienna, 2002, ISBN: 3-211-83710-8, p. 107 - 150
bib details

J. Blieberger: Quanten-Computer
Informatik - Grundlagen, Springer, Vienna, 2002, ISBN: 3-211-83710-8, p. 195 - 217
bib details

J. Blieberger: Datenkompression
Informatik, third extended edition, Springer, Vienna, 1996, ISBN: 3-211-82860-5, p. 29 - 35
bib details

J. Blieberger: Informationsreduzierende Codierungen
Informatik, third extended edition, Springer, Vienna, 1996, ISBN: 3-211-82860-5, p. 59 - 70
bib details

J. Blieberger: CASE-Systeme
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 360 - 361
bib details

J. Blieberger: Höhere Programmiersprachen
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 354 - 359
bib details

J. Blieberger: Assemblersprachen
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 351 - 359
bib details

J. Blieberger: Zahlendarstellungen
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 47 - 73
bib details

J. Blieberger: Codierungstheorie
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 24 - 46
bib details

J. Blieberger: Informationstheorie
Informatik, Springer, Vienna, 1990, ISBN: 3-211-82232-1, p. 14 - 23
bib details

W. Kastner: EIB und Jini
EIB-Gebäudebussystem, D. Dietrich, W. Kastner, T. Sauter (ed.); Hüthig-Verlag, Heidelberg, 2000, ISBN: 3-7785-2795-9, p. 297 - 301
bib details

W. Kastner: Anwendungsumgebung und Netzwerkmanagement
EIB-Gebäudebussystem, D. Dietrich, W. Kastner, T. Sauter (ed.); Hüthig-Verlag, Heidelberg, 2000, ISBN: 3-7785-2795-9, p. 140 - 154
bib details

W. Kastner: EIB-Protokoll
EIB-Gebäudebussystem, D. Dietrich, W. Kastner, T. Sauter (ed.); Hüthig-Verlag, Heidelberg, 2000, ISBN: 3-7785-2795-9, p. 54 - 139
bib details

G. Schildt, W. Kastner: Prozeßautomatisierung
Springer, Vienna, 1998, ISBN: 3-211-82999-7; 270 pages
bib details

U. Schmid, W. Kastner: DOBOS: A Distributed Object-Based Operating System for Soft Real-Time Systems
Echtzeitsysteme und objektorientierter Entwurf, Vieweg-Verlag, Braunschweig, 1996, ISBN: 3-528-05542-1, p. 3 - 13
bib details pdf

J. Blieberger, G. Schildt, U. Schmid, S. Stöckler: Informatik, second edition
Springer, Vienna, 1992, ISBN: 3-211-82389-1; 390 pages
bib details

J. Blieberger, J. Klasek, A. Redlein, G. Schildt: Informatik, third extended edition
Springer, Vienna, 1996, ISBN: 3-211-82860-5; 430 pages
bib details

J. Blieberger, G. Schildt, U. Schmid, S. Stöckler: Informatik
Springer, Vienna, 1990, ISBN: 3-211-82232-1; 390 pages
bib details

J. Blieberger, B. Burgstaller, G. Schildt: Informatik-Grundlagen
Springer, Vienna, 2002, ISBN: 3-211-83710-8; 229 pages
bib details

P. Puschner: Transforming Execution-Time Boundable Code into Temporally Predictable Code
Design and Analysis of Distributed Embedded Systems, B. Kleinjohann, K. Kim, L. Kleinjohann, A. Rettberg (ed.); Kluwer Academic Publishers, 2002, p. 163 - 172
bib details pdf

P. Puschner, G. Bernat, A. Wellings: Making Java Hard Real-Time
The Annals of the Marie Curie Fellowship Association (MCFA) Volume II, N. Brambilla, O. Sparagano, L. Deneire (ed.); Marie Curie Fellowship Association, 2002
bib details pdf

K. Hendling, T. Losert, M. Jandl: An Intelligent Interference-Minimizing Routing Algorithm
Intelligent Systems at the Service of Mankind - Volume II, W. Huber (ed.); Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 187 - 204
bib details

T. Losert, W. Huber, K. Hendling, M. Jandl: A CORBA-Based Architecture for Hard Real-Time Systems
Intelligent Systems at the Service of Mankind - Volume II, Ubooks, Augsburg, 2006, ISBN: 3866080522, p. 239 - 254
bib details