Suchergebnisse - (automation OR automatizace) programming—program modifi- cation general terms reliability

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Transport Infrastructure and Systems : Proceedings of the AIIT International Congress on Transport Infrastructure and Systems (Rome, Italy, 10-12 April 2017)

Autoren: Gianluca Dell'Acqua Fred Wegman

Resource Type: eBook.

Schlagworte: HE151

Categories: SCIENCE / Environmental Science, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Civil / Transportation, TRANSPORTATION / General

Real Time Programming 1983 : Proceedings of the 12th IFAC/IFIP Workshop, Hatfield, UK, 29-31 March 1983

Autoren: G. M. Bull

Resource Type: eBook.

Schlagworte: Real-time programming--Congresses

Categories: SCIENCE / Physics / General

Yearbook of the United Nations, Volume 42 (1988)

Autoren: United Nations

Resource Type: eBook.

Categories: POLITICAL SCIENCE / International Relations / General, LAW / International, LAW / Public, POLITICAL SCIENCE / NGOs (Non-Governmental Organizations), REFERENCE / Almanacs, REFERENCE / Yearbooks & Annuals

Edsger Wybe Dijkstra : His Life, Work, and Legacy

Autoren: Krzysztof R. Apt Tony Hoare

Resource Type: eBook.

Schlagworte: Computer programming

Categories: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Parallel Processing

Systems Approach for Development : Proceedings of the IFAC Conference, Cairo, Arab Republic of Egypt, 26-29 November 1977

Autoren: M. A. R. Ghonaimy

Resource Type: eBook.

Schlagworte: System theory--Congresses

Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Anthropology / General

Libraries Canada, 2019/2020

Autoren: Stuart Patterson

Resource Type: eBook.

Schlagworte: Libraries--Canada--Directories, Library science--Canada--Directories

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, HISTORY / Canada / General

Libraries Canada, 2018/2019

Autoren: Stuart Patterson

Resource Type: eBook.

Schlagworte: Library science--Canada, Libraries--Canada--Directories, Academic libraries--Canada

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

Language As a Scientific Tool : Shaping Scientific Language Across Time and National Traditions

Autoren: Miles MacLeod Rocío G. Sumillera Jan Surman et al.

Resource Type: eBook.

Schlagworte: Communication in science, Science--Language, Language, Universal

Categories: HISTORY / Social History, HISTORY / General, LANGUAGE ARTS & DISCIPLINES / General

Programming of CNC Machines

Autoren: Ken Evans

Resource Type: eBook.

Schlagworte: Machine-tools--Numerical control--Programming

Categories: TECHNOLOGY & ENGINEERING / Machinery, COMPUTERS / Design, Graphics & Media / CAD-CAM, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Industrial Design / General, TECHNOLOGY & ENGINEERING / Industrial Technology, TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / Technical & Manufacturing Industries & Trades

Building Maintainable Software, Java Edition : Ten Guidelines for Future-Proof Code

Autoren: Joost Visser Sylvan Rigal Rob van der Leek et al.

Resource Type: eBook.

Schlagworte: Computer software--Quality control, Java (Computer program language), Computer software--Development

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools

Building Maintainable Software, C# Edition : Ten Guidelines for Future-Proof Code

Autoren: Joost Visser Sylvan Rigal Gijs Wijnholds et al.

Resource Type: eBook.

Schlagworte: Computer software--Development, Computer software--Quality control, C# (Computer program language)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools

The Comprehensive Textbook of Healthcare Simulation

Autoren: Adam I. Levine Samuel DeMaria Jr Andrew D Schwartz et al.

Resource Type: eBook.

Schlagworte: Medicine--Study and teaching--Simulation methods

Categories: MEDICAL / Anesthesiology, MEDICAL / Critical Care, MEDICAL / Emergency Medicine, MEDICAL / Internal Medicine, MEDICAL / Surgery / General, MEDICAL / Informatics

Automatisierungstechnik 1

Autoren: Hans-Jürgen Gevatter

Resource Type: eBook.

Schlagworte: Electrical engineering, Control engineering, Robotics, Automation, Telecommunication, Electronics

Categories: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

CASP CompTIA Advanced Security Practitioner Certification Study Guide (Exam CAS-001)

Autoren: Wm. Arthur Conklin Gregory B. White Dwayne Williams

Resource Type: eBook.

Schlagworte: Computing Technology Industry Association--Study, Computer security--Examinations--Study guides, Electronic data processing personnel--Certificat

Categories: COMPUTERS / Certification Guides / General

Handbuch der Mess- und Automatisierungstechnik in der Produktion

Autoren: Hans-Jürgen Gevatter Ulrich Grünhaupt

Resource Type: eBook.

Schlagworte: Electrical engineering, Control engineering, Robotics, Automation, Telecommunication, Electronics

Categories: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

Enhancing Building Performance

Autoren: Shauna Mallory-Hill Wolfgang F. E. Preiser Christopher G. Watson

Resource Type: eBook.

Schlagworte: Office layout--Psychological aspects, Buildings--Performance, Buildings--Evaluation, Architectural design--Evaluation, Architecture--Human factors

Categories: TECHNOLOGY & ENGINEERING / Construction / General

Technological Foundations of Cyclical Economic Growth : The Case of the United States Economy

Autoren: Nathan Edmonson

Resource Type: eBook.

Schlagworte: Technological innovations--United States, Business cycles--United States, Industrial policy--United States

Categories: BUSINESS & ECONOMICS / Economics / General, TECHNOLOGY & ENGINEERING / General

Trustworthy Compilers

Autoren: Vladimir O. Safonov

Resource Type: eBook.

Schlagworte: Interpreters (Computer programs), Compilers (Computer programs)

Categories: COMPUTERS / Operating Systems / General

Wörterbuch der bildgebenden Verfahren/Dictionary of Medical Imaging

Autoren: H. Pucher

Resource Type: eBook.

Schlagworte: Diagnostic imaging--Dictionaries, English language--German.--Dictionaries, Diagnostic imaging--German.--Dictionaries, German language--English.--Dictionaries, Diagnostic Imaging--English.--Terminology, Diagnostic Imaging--German.--Terminology

Categories: MEDICAL / Radiology, Radiotherapy & Nuclear Medicine, MEDICAL / Orthopedics, MEDICAL / Surgery / General