Výsledky vyhľadávania - Logic and constraint programming. Keywords and phrases 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

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

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

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

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 Collective Intelligence. Technologies and Applications : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

Autori: Costin Badica Ngoc Thanh Nguyen Marius Brezovan

Typ zdroja: eBook.

Predmet: Artificial intelligence, Data mining, Computer networks, Education—Data processing

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Networking / General, EDUCATION / Computers & Technology, MATHEMATICS / Probability & Statistics / General

Intelligent Decision Support Systems for Managerial Decision Making

Autori: Ștefănescu, Laura Hunka, Frantisek

Typ zdroja: eBook.

Predmet: Strategic planning, Decision support systems, Decision making

Kategórie: COMPUTERS / Management Information Systems

Filtrowanie informacji

Autori: Witold Abramowicz

Typ zdroja: eBook.

Predmet: Information science, Electronic information resource searching

Kategórie: BUSINESS & ECONOMICS / Information Management

Artificial Intelligence and Security in Computing Systems

Autori: Jerzy Soldek Leszek Drobiazgiewicz

Typ zdroja: eBook.

Predmet: Artificial intelligence, Cryptography, Data encryption (Computer science), Computer science

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Security / Cryptography & Encryption

Neural Networks and Soft Computing

Autori: Leszek Rutkowski

Typ zdroja: eBook.

Predmet: Artificial intelligence

Kategórie: COMPUTERS / Artificial Intelligence / General

Dictionary of Electronics, Computing and Telecommunications/Wörterbuch Der Elektronik, Datentechnik Und Telekommunikation

Autori: Vittorio Ferretti

Typ zdroja: eBook.

Predmet: Electric engineering--Dictionaries, English language--Dictionaries--German, German language--Dictionaries--English

Kategórie: TECHNOLOGY & ENGINEERING / Electrical, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

Stochastic Control : Proceedings of the 2nd IFAC Symposium, Vilnius, Lithuanian SSR, USSR, 19-23 May 1986

Autori: N.K. Sinha L.A. Telksnys

Typ zdroja: eBook.

Predmet: Stochastic control theory--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Engineering (General)