Search Results - logic and constraint programming. keywords and phrases (automaty OR automatizace) 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)

Authors: Barańska, Anna Marta Eckes, Konrad

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

Subject Terms: 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

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

Resource Type: eBook.

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

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

Authors: Mizuho Hoshi Shinnosuke Seki

Resource Type: eBook.

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

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

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

Playing at a Distance : Borderlands of Video Game Aesthetic

Authors: Sonia Fizek

Resource Type: eBook.

Subjects: Video games--Design, Aesthetics

Categories: SOCIAL SCIENCE / Media Studies, GAMES & ACTIVITIES / Video & Mobile, SOCIAL SCIENCE / Technology Studies

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

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

Authors: Glyn Morrill Mark-Jan Nederhof

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General

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

Implementation of Circular Economy in Supply Chains and Production Systems

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

Resource Type: eBook.

Subjects: Supply chain management, Circular economy, Sustainable development

Categories: SCIENCE / Environmental Science

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

Prophets of Computing : Visions of Society Transformed by Computing

Authors: Dick van Lente

Resource Type: eBook.

Subjects: Computers--History, Computers--Social aspects

Categories: COMPUTERS / General, COMPUTERS / Social Aspects, COMPUTERS / History

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

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

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