Search Results - logic and constraint programming. keywords and phrases automatizace theory

Intelligent Systems in Cybernetics and Automation Theory : Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory

Authors: Radek Silhavy Roman Senkerik Zuzana Kominkova Oplatkova et al.

Resource Type: eBook.

Subjects: Automation--Congresses, Engineering, Artificial intelligence, Computer science--Congresses, Software engineering--Congresses, Cybernetics--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

System Design in Software Engineering

Authors: Radek Silhavy Petr Silhavy

Resource Type: eBook.

Subjects: System design--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Quality Management, Value Creation, and the Digital Economy

Authors: Joanna Rosak-Szyrocka Justyna Żywiołek Muhammad Shahbaz

Resource Type: eBook.

Subjects: Production management, Management, Quality control

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Total Quality Management, BUSINESS & ECONOMICS / Production & Operations Management

Applied Physics, System Science and Computers : Proceedings of the 1st International Conference on Applied Physics, System Science and Computers (APSAC2016), September 28-30, Dubrovnik, Croatia

Authors: Klimis Ntalianis Anca Croitoru

Resource Type: eBook.

Subjects: Physics--Congresses, System theory--Congresses, Computer science--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical, MATHEMATICS / Applied, SCIENCE / Life Sciences / Biophysics, TECHNOLOGY & ENGINEERING / Manufacturing

New Optimization Techniques in Engineering

Authors: Godfrey C. Onwubolu B. V. Babu

Resource Type: eBook.

Subjects: Dynamics, Nonlinear theories, Mathematical optimization, Engineering design, Calculus of variations, Industrial engineering, Production engineering, Operations research

Categories: SCIENCE / System Theory, BUSINESS & ECONOMICS / Operations Research, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Industrial Design / General, MATHEMATICS / Optimization

Safety and Reliability of Complex Engineered Systems : ESREL 2015

Authors: Luca Podofillini Bruno Sudret Bozidar Stojadinovic et al.

Resource Type: eBook.

Subjects: TA169.7

Categories: TECHNOLOGY & ENGINEERING / Construction / General, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Structural

Histories of Computing in Eastern Europe

Authors: Christopher Leslie Martin Schmitt

Resource Type: eBook.

Subjects: Computers—History, Application software, Data protection

Categories: COMPUTERS / History, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Security / General

Computational Statistics and Mathematical Modeling Methods in Intelligent Systems

Authors: Radek Silhavy Petr Silhavy Zdenka Prokopova

Resource Type: eBook.

Subjects: Computational intelligence, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Pp – Sf

Authors: Michael Peschke Peter Wennrich

Resource Type: eBook.

Categories: REFERENCE / General, SCIENCE / General

Nature-Inspired Computing : Concepts, Methodologies, Tools, and Applications

Authors: Information Resources Management Association

Resource Type: eBook.

Subjects: Natural computation, Science--Data processing, Engineering--Data processing

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Technology, COMPUTERS / Computer Simulation

Reliability 91

Authors: R.H. Matthews

Resource Type: eBook.

Subjects: Reliability (Engineering), Engineering--Quality control

Categories: BUSINESS & ECONOMICS / Quality Control, MATHEMATICS / Probability & Statistics / General

Systems and Cybernetics : New Theories and Applications

Resource Type: eBook.

Subjects: Cybernetics

Categories: COMPUTERS / Cybernetics

Operation and Diagnostics of Machines and Production Systems Operational States II

Authors: Stanislav Fabian Tibor Krenický

Resource Type: eBook.

Subjects: Manufacturing processes--Evaluation, Industrial engineering, Engineering inspection

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Industrial and Service Robotics

Authors: Mikuláš Hajduk Lucia Koukolová

Resource Type: eBook.

Subjects: Automation--Congresses, Robotics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Advances in Abstract Intelligence and Soft Computing

Authors: Yingxu Wang

Resource Type: eBook.

Subjects: Software engineering, Artificial intelligence, Soft computing

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, SCIENCE / Cognitive Science

Intelligent Automation and Systems Engineering

Authors: Sio-Iong Ao Mahyar Amouzegar Burghard B. Rieger

Resource Type: eBook.

Subjects: Intelligent control systems, Automation

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

Materials, Mechatronics and Automation

Authors: Dehuai Zeng

Resource Type: eBook.

Subjects: Automation--Congresses, Materials--Congresses, Mechatronics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

Authors: Tarek Sobh Khaled Elleithy Ausif Mahmood et al.

Resource Type: eBook.

Subjects: Telecommunication--Congresses, Automation--Congresses, Computer engineering--Congresses, Industrial electronics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Telecommunications

Handbook of Die Design

Authors: Ivana Suchy

Resource Type: eBook.

Subjects: Dies (Metal-working)--Design--Handbooks, manuals, etc

Categories: TECHNOLOGY & ENGINEERING / Mechanical

Library Automation in Transitional Societies : Lessons From Eastern Europe

Authors: Andrew Lass Richard Quandt

Resource Type: eBook.

Subjects: Research libraries--Europe, Eastern--Data processing, Academic libraries--Europe, Eastern--Data processing, Research libraries--Data processing--Social aspects--Europe, Eastern, Academic libraries--Data processing--Social aspects--Europe, Eastern, Post-communism--Europe, Eastern, Libraries and state--Europe, Eastern--Congresses, Libraries--Europe, Eastern--Automation--Congresses, Library administration--Europe, Eastern--Congresses

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Archives & Special Libraries