Výsledky vyhľadávania - 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

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

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

Autori: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. a ďalší

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

Predmety: 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.

Autori: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a ďalší

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

Predmety: 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)

Autori: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman a ďalší

Typ zdroja: eBook.

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

Kategórie: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General

Computers for symbolic processing.

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

Autori: Nick Durkin Eric Minick Chinmay Gaikwad

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer software--Development

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

Autori: Rong Qing Liang

Typ zdroja: eBook.

Predmet: Engineering--Automation--Congresses, Automation--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / General

Moby Word Lists.

Autori: Ward, Grady

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

Predmety: REFERENCE books, ELECTRONIC publications, ELECTRONIC books, OPEN access publishing

Korporácia: PROJECT Gutenberg (Organization)

Python for DevOps : Learn Ruthlessly Effective Automation

Autori: Noah Gift Kennedy Behrman Alfredo Deza a ďalší

Typ zdroja: eBook.

Predmet: Business--Data processing, Computer software--Development, Python (Computer program language)

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

Autori: Nadine Bergner Hilde Köster Johannes Magenheim a ďalší

Typ zdroja: eBook.

Predmet: Computers and children, Early childhood education

Kategórie: EDUCATION / Schools / Levels / Early Childhood (incl. Preschool & Kindergarten)

Artificial Intelligence for COVID-19

Autori: Diego Oliva Said Ali Hassan Ali Mohamed

Typ zdroja: eBook.

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

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

Advanced VLSI Design and Testability Issues

Autori: Suman Lata Tripathi Sobhit Saxena Sushanta Kumar Mohapatra

Typ zdroja: eBook.

Predmet: Integrated circuits--Very large scale integration--Design and construction

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

Autori: Jay Shafritz

Typ zdroja: eBook.

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

Kategórie: POLITICAL SCIENCE / General, POLITICAL SCIENCE / Political Ideologies / Nationalism & Patriotism, POLITICAL SCIENCE / Essays

Modeling and Simulation of Everyday Things

Autori: Michael Roth

Typ zdroja: eBook.

Predmet: Computer simulation, Mathematical models

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

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

Ethical Applied Behavior Analysis Models for Individuals Impacted by Autism

Autori: Stephanie Peterson Rebecca Eldridge Betty Fry Williams a ďalší

Typ zdroja: eBook.

Predmet: Autism spectrum disorders--Treatment, Behavioral assessment

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

Autori: Tiziana Margaria Bernhard Steffen

Typ zdroja: eBook.

Predmet: Software engineering, Compilers (Computer programs), Computer science, Machine theory, Artificial intelligence

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

Autori: Don Montague

Typ zdroja: eBook.

Predmet: Building--Dictionaries, Civil engineering--Dictionaries, English language--French.--Dictionaries, Building--French.--Dictionaries, Civil engineering--French.--Dictionaries, French language--English.--Dictionaries

Kategórie: TECHNOLOGY & ENGINEERING / Construction / General

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

Autori: Don Batory Charles Consel Walid Taha

Typ zdroja: eBook.

Predmet: Generative programming (Computer science)--Congr, Component software--Congresses, Software engineering--Congresses

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

Autori: Saumya Shah Hemant Nautiyal Gaurav Gugliani a ďalší

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Industrial Technology, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Mechanical, TECHNOLOGY & ENGINEERING / Manufacturing