Výsledky vyhľadávania - logic and constraint programming. keywords and phrases (automatizace OR automaty) theory~

A FORMAL NOTATION OF LEGAL RULES APPLICABLE IN THE LOCAL SPACE.

Alternate Title: FORMALNY ZAPIS REGUŁ PRAWNYCH OBOWIĄZUJĄCYCH W PRZESTRZENI LOKALNEJ. (Polish)

Autori: Barańska, Anna Marta Eckes, Konrad

Zdroj: Geoinformatica Polonica; 2024, Vol. 23, p101-112, 12p

Predmety: ARTIFICIAL intelligence, INFORMATION technology, LEGAL rights, SPACE law, SPATIAL behavior

Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Autori: Shmuel Tomi Klein Carlos Martín-Vide Dana Shapira

Typ zdroja: eBook.

Predmet: Computer science, Machine theory, Algorithms, Computer programming, Artificial intelligence, Computer science—Mathematics, Mathematical statistics

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Autori: Mizuho Hoshi Shinnosuke Seki

Typ zdroja: eBook.

Predmet: Computer science, Machine theory, Algorithms, Artificial intelligence, Data structures (Computer science), Information theory, Computer science—Mathematics

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

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

Autori: Radek Silhavy Roman Senkerik Zuzana Kominkova Oplatkova a ďalší

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

System Design in Software Engineering

Autori: Radek Silhavy Petr Silhavy

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Artificial Intelligence / General

Playing at a Distance : Borderlands of Video Game Aesthetic

Autori: Sonia Fizek

Typ zdroja: eBook.

Predmet: Video games--Design, Aesthetics

Kategórie: SOCIAL SCIENCE / Media Studies, GAMES & ACTIVITIES / Video & Mobile, SOCIAL SCIENCE / Technology Studies

Quality Management, Value Creation, and the Digital Economy

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

Typ zdroja: eBook.

Predmet: Production management, Management, Quality control

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

Autori: Klimis Ntalianis Anca Croitoru

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, MATHEMATICS / Applied, SCIENCE / Life Sciences / Biophysics, TECHNOLOGY & ENGINEERING / Manufacturing

Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Autori: Glyn Morrill Mark-Jan Nederhof

Typ zdroja: eBook.

Predmet: Computational linguistics--Congresses, Mathematical linguistics--Congresses, Formal languages--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General

New Optimization Techniques in Engineering

Autori: Godfrey C. Onwubolu B. V. Babu

Typ zdroja: eBook.

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

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

Implementation of Circular Economy in Supply Chains and Production Systems

Autori: Roma Marczewska-Kuzma Lukasz Hadas Paulina Golinska-Dawson

Typ zdroja: eBook.

Predmet: Supply chain management, Circular economy, Sustainable development

Kategórie: SCIENCE / Environmental Science

Safety and Reliability of Complex Engineered Systems : ESREL 2015

Autori: Luca Podofillini Bruno Sudret Bozidar Stojadinovic a ďalší

Typ zdroja: eBook.

Predmet: TA169.7

Kategórie: TECHNOLOGY & ENGINEERING / Construction / General, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Structural

Prophets of Computing : Visions of Society Transformed by Computing

Autori: Dick van Lente

Typ zdroja: eBook.

Predmet: Computers--History, Computers--Social aspects

Kategórie: COMPUTERS / General, COMPUTERS / Social Aspects, COMPUTERS / History

Histories of Computing in Eastern Europe

Autori: Christopher Leslie Martin Schmitt

Typ zdroja: eBook.

Predmet: Computers—History, Application software, Data protection

Kategórie: COMPUTERS / History, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Security / General

Computational Statistics and Mathematical Modeling Methods in Intelligent Systems

Autori: Radek Silhavy Petr Silhavy Zdenka Prokopova

Typ zdroja: eBook.

Predmet: Computational intelligence, Artificial intelligence

Kategórie: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Pp – Sf

Autori: Michael Peschke Peter Wennrich

Typ zdroja: eBook.

Kategórie: REFERENCE / General, SCIENCE / General

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

Autori: Information Resources Management Association

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Technology, COMPUTERS / Computer Simulation

Reliability 91

Autori: R.H. Matthews

Typ zdroja: eBook.

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

Kategórie: BUSINESS & ECONOMICS / Quality Control, MATHEMATICS / Probability & Statistics / General

Systems and Cybernetics : New Theories and Applications

Typ zdroja: eBook.

Predmet: Cybernetics

Kategórie: COMPUTERS / Cybernetics

Operation and Diagnostics of Machines and Production Systems Operational States II

Autori: Stanislav Fabian Tibor Krenický

Typ zdroja: eBook.

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

Kategórie: TECHNOLOGY & ENGINEERING / Mechanical