Výsledky vyhledávání - automation programming—program modify- 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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

DEVELOPMENT OF THE ENTERPRISE MULTI-AGENT SIMULATION MODEL FOR THE PRODUCTION OF PLASTIC WINDOWS IN ORDER TO DEVELOP THE MARKETING STRATEGY.

Autoři: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. a další

Zdroj: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p241-248, 8p

Témata: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoři: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a další

Zdroj: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Témata: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Proceedings of the 2024 4th International Conference on Education, Language and Art (ICELA 2024)

Autoři: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman a další

Resource Type: eBook.

Témata: Language and languages--Study and teaching--Congresses, Education--Congresses

Categories: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General

Computers for symbolic processing.

Autoři: Wah, B.W. Lowrie, M.B. Li, G.-J.

Zdroj: Proceedings of the IEEE; 1989, Vol. 77 Issue 4, p509-540, 32p

AI-Native Software Delivery : Proven Practices to Produce High-Quality Software Faster

Autoři: Nick Durkin Eric Minick Chinmay Gaikwad

Resource Type: eBook.

Témata: Artificial intelligence, Computer software--Development

Categories: COMPUTERS / Software Development & Engineering / Tools, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Data Science / Machine Learning

Electronics, Automation and Engineering of Power Systems

Autoři: Rong Qing Liang

Resource Type: eBook.

Témata: Engineering--Automation--Congresses, Automation--Congresses

Categories: TECHNOLOGY & ENGINEERING / General

Moby Word Lists.

Autoři: Ward, Grady

Zdroj: Moby Word Lists; 3/1/2006, p1, 999p

Témata: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Korporace: PROJECT Gutenberg (Organization)

Python for DevOps : Learn Ruthlessly Effective Automation

Autoři: Noah Gift Kennedy Behrman Alfredo Deza a další

Resource Type: eBook.

Témata: Business--Data processing, Computer software--Development, Python (Computer program language)

Categories: COMPUTERS / Languages / Python, COMPUTERS / Programming / Open Source, COMPUTERS / Internet / Web Programming, COMPUTERS / System Administration / General

Early Computer Science Education – Goals and Success Criteria for Pre-Primary and Primary Education

Autoři: Nadine Bergner Hilde Köster Johannes Magenheim a další

Resource Type: eBook.

Témata: Computers and children, Early childhood education

Categories: EDUCATION / Schools / Levels / Early Childhood (incl. Preschool & Kindergarten)

Artificial Intelligence for COVID-19

Autoři: Diego Oliva Said Ali Hassan Ali Mohamed

Resource Type: eBook.

Témata: Artificial intelligence--Medical applications, COVID-19 Pandemic, 2020-2023--Data processing, COVID-19 (Disease)--Data processing

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Biomedical, MEDICAL / Informatics

Advanced VLSI Design and Testability Issues

Autoři: Suman Lata Tripathi Sobhit Saxena Sushanta Kumar Mohapatra

Resource Type: eBook.

Témata: Integrated circuits--Very large scale integration--Design and construction

Categories: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated, TECHNOLOGY & ENGINEERING / Sensors

International Encyclopedia of Public Policy and Administration Volume 3

Autoři: Jay Shafritz

Resource Type: eBook.

Témata: Policy sciences--Encyclopedias, Public administration--Encyclopedias

Categories: POLITICAL SCIENCE / General, POLITICAL SCIENCE / Political Ideologies / Nationalism & Patriotism, POLITICAL SCIENCE / Essays

Modeling and Simulation of Everyday Things

Autoři: Michael Roth

Resource Type: eBook.

Témata: Computer simulation, Mathematical models

Categories: SCIENCE / Physics / General, SCIENCE / Physics / Mathematical & Computational

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

Autoři: Gianluca Dell'Acqua Fred Wegman

Resource Type: eBook.

Témata: HE151

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

Ethical Applied Behavior Analysis Models for Individuals Impacted by Autism

Autoři: Stephanie Peterson Rebecca Eldridge Betty Fry Williams a další

Resource Type: eBook.

Témata: Autism spectrum disorders--Treatment, Behavioral assessment

Categories: EDUCATION / Special Education / General, EDUCATION / General, EDUCATION / Educational Psychology, EDUCATION / Special Education / Communicative Disorders

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Computer science, Machine theory, Artificial intelligence

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Dictionary of Building and Civil Engineering : English/French French/English

Autoři: Don Montague

Resource Type: eBook.

Témata: Building--Dictionaries, Civil engineering--Dictionaries, English language--French.--Dictionaries, Building--French.--Dictionaries, Civil engineering--French.--Dictionaries, French language--English.--Dictionaries

Categories: TECHNOLOGY & ENGINEERING / Construction / General

Generative Programming and Component Engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings

Autoři: Don Batory Charles Consel Walid Taha

Resource Type: eBook.

Témata: Generative programming (Computer science)--Congr, Component software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Management Information Systems, COMPUTERS / Programming / General

Sustainability in Smart Manufacturing : Trends, Scope, and Challenges

Autoři: Saumya Shah Hemant Nautiyal Gaurav Gugliani a další

Resource Type: eBook.

Témata: Manufacturing processes--Automation, Manufacturing industries--Technological innovations

Categories: TECHNOLOGY & ENGINEERING / Industrial Technology, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Mechanical, TECHNOLOGY & ENGINEERING / Manufacturing