Výsledky vyhľadávania - automation programming—program modifi- (cation OR creation) 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

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Autori: M. A. R. Ghonaimy

Typ zdroja: eBook.

Predmet: System theory--Congresses

Kategórie: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Anthropology / General

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

Autori: Gianluca Dell'Acqua Fred Wegman

Typ zdroja: eBook.

Predmet: HE151

Kategórie: 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

Autori: G. M. Bull

Typ zdroja: eBook.

Predmet: Real-time programming--Congresses

Kategórie: SCIENCE / Physics / General

Yearbook of the United Nations, Volume 42 (1988)

Autori: United Nations

Typ zdroja: eBook.

Kategórie: 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

Autori: Krzysztof R. Apt Tony Hoare

Typ zdroja: eBook.

Predmet: Computer programming

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Parallel Processing

Libraries Canada, 2019/2020

Autori: Stuart Patterson

Typ zdroja: eBook.

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

Kategórie: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, HISTORY / Canada / General

Libraries Canada, 2018/2019

Autori: Stuart Patterson

Typ zdroja: eBook.

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

Kategórie: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

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

Autori: Miles MacLeod Rocío G. Sumillera Jan Surman a ďalší

Typ zdroja: eBook.

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

Kategórie: HISTORY / Social History, HISTORY / General, LANGUAGE ARTS & DISCIPLINES / General

Programming of CNC Machines

Autori: Ken Evans

Typ zdroja: eBook.

Predmet: Machine-tools--Numerical control--Programming

Kategórie: 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

Autori: Joost Visser Sylvan Rigal Rob van der Leek a ďalší

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Joost Visser Sylvan Rigal Gijs Wijnholds a ďalší

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools

The Comprehensive Textbook of Healthcare Simulation

Autori: Adam I. Levine Samuel DeMaria Jr Andrew D Schwartz a ďalší

Typ zdroja: eBook.

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

Kategórie: MEDICAL / Anesthesiology, MEDICAL / Critical Care, MEDICAL / Emergency Medicine, MEDICAL / Internal Medicine, MEDICAL / Surgery / General, MEDICAL / Informatics

Automatisierungstechnik 1

Autori: Hans-Jürgen Gevatter

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

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

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

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Certification Guides / General

Handbuch der Mess- und Automatisierungstechnik in der Produktion

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

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

Enhancing Building Performance

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

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Construction / General

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

Autori: Nathan Edmonson

Typ zdroja: eBook.

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

Kategórie: BUSINESS & ECONOMICS / Economics / General, TECHNOLOGY & ENGINEERING / General

Trustworthy Compilers

Autori: Vladimir O. Safonov

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Operating Systems / General

History of Programming Languages

Autori: Richard L. Wexelblat

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--History--Congresses

Kategórie: REFERENCE / Questions & Answers, MATHEMATICS / Applied