Suchergebnisse - (automation OR automatische) 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

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

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

Autoren: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. et al.

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

Schlagwörter: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

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

Autoren: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman et al.

Resource Type: eBook.

Schlagworte: Language and languages--Study and teaching--Congresses, Education--Congresses

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

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

Autoren: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

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

Schlagwörter: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Computers for symbolic processing.

Autoren: Wah, B.W. Lowrie, M.B. Li, G.-J.

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

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

Autoren: Nick Durkin Eric Minick Chinmay Gaikwad

Resource Type: eBook.

Schlagworte: 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

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

Autoren: Nadine Bergner Hilde Köster Johannes Magenheim et al.

Resource Type: eBook.

Schlagworte: Computers and children, Early childhood education

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

Electronics, Automation and Engineering of Power Systems

Autoren: Rong Qing Liang

Resource Type: eBook.

Schlagworte: Engineering--Automation--Congresses, Automation--Congresses

Categories: TECHNOLOGY & ENGINEERING / General

Python for DevOps : Learn Ruthlessly Effective Automation

Autoren: Noah Gift Kennedy Behrman Alfredo Deza et al.

Resource Type: eBook.

Schlagworte: 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

Artificial Intelligence for COVID-19

Autoren: Diego Oliva Said Ali Hassan Ali Mohamed

Resource Type: eBook.

Schlagworte: 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

Moby Word Lists.

Autoren: Ward, Grady

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

Schlagwörter: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Firma/Körperschaft: PROJECT Gutenberg (Organization)

Advanced VLSI Design and Testability Issues

Autoren: Suman Lata Tripathi Sobhit Saxena Sushanta Kumar Mohapatra

Resource Type: eBook.

Schlagworte: 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

Modeling and Simulation of Everyday Things

Autoren: Michael Roth

Resource Type: eBook.

Schlagworte: Computer simulation, Mathematical models

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

Ethical Applied Behavior Analysis Models for Individuals Impacted by Autism

Autoren: Stephanie Peterson Rebecca Eldridge Betty Fry Williams et al.

Resource Type: eBook.

Schlagworte: Autism spectrum disorders--Treatment, Behavioral assessment

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

International Encyclopedia of Public Policy and Administration Volume 3

Autoren: Jay Shafritz

Resource Type: eBook.

Schlagworte: Policy sciences--Encyclopedias, Public administration--Encyclopedias

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

Sustainability in Smart Manufacturing : Trends, Scope, and Challenges

Autoren: Saumya Shah Hemant Nautiyal Gaurav Gugliani et al.

Resource Type: eBook.

Schlagworte: Manufacturing processes--Automation, Manufacturing industries--Technological innovations

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

The Handbook of AI for Clean Water : Innovations in Treatment and Monitoring

Autoren: Smriti Agarwal Manoj Chandra Garg

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Environmental / General, TECHNOLOGY & ENGINEERING / Environmental / Waste Management, TECHNOLOGY & ENGINEERING / Environmental / Water Supply

Bio-Inspired Computing

Autoren: Anu Bajaj Sreela Sreedhar Ajith Abraham

Resource Type: eBook.

Categories: COMPUTERS / Artificial Intelligence / General

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

Policy As Code : Improving Cloud Native Security

Autoren: Jimmy Ray

Resource Type: eBook.

Schlagworte: Cloud computing--Security measures, Computer programming

Categories: COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Programming / General, COMPUTERS / Security / General, COMPUTERS / Internet / Web Programming, COMPUTERS / Distributed Systems / Cloud Computing