Výsledky vyhľadávania - nonnumerical algorithms AND problems—complexity of proof prize- dures general terms

PROGRAM VERIFICATION: THE VERY IDEA.

Autori: Fetzer, James H.

Zdroj: Communications of the ACM; Sep88, Vol. 31 Issue 9, p1048-1063, 16p, 2 Diagrams, 3 Charts

Predmety: SOFTWARE verification, RELIABILITY in engineering

ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30 – October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)

Autori: Kobi Gal Ann Nowé Grzegorz J. Nalepa a ďalší

Typ zdroja: eBook.

Kategórie: COMPUTERS / Artificial Intelligence / General

Computing Handbook : Two-Volume Set

Autori: Allen Tucker Teofilo Gonzalez Heikki Topi a ďalší

Typ zdroja: eBook.

Predmet: QA76

Kategórie: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Engineering, MATHEMATICS / General, MATHEMATICS / Arithmetic

Probabilistic and Causal Inference : The Works of Judea Pearl

Autori: Hector Geffner Rina Dechter Joseph Halpern

Typ zdroja: eBook.

Predmet: Causation, Artificial intelligence, Probabilities

Kategórie: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Expert Systems

Springer Handbook of Computational Intelligence

Autori: Janusz Kacprzyk Witold Pedrycz

Typ zdroja: eBook.

Predmet: Computational intelligence

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

International Encyclopedia of the Social & Behavioral Sciences

Autori: Wright, James D.

Typ zdroja: eBook.

Predmet: Psychology, Psychology--Encyclopedias, Social sciences--Encyclopedias, Social sciences

Kategórie: MATHEMATICS / Probability & Statistics / General, PSYCHOLOGY / General

The Handbook of Applied Expert Systems

Autori: Jay Liebowitz

Typ zdroja: eBook.

Predmet: QA76.76.E95

Kategórie: COMPUTERS / Information Technology, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Computer Engineering

Handbook of Organizations (RLE: Organizations)

Autori: James March

Typ zdroja: eBook.

Predmet: Organizational behavior, Organization

Kategórie: BUSINESS & ECONOMICS / Organizational Behavior, BUSINESS & ECONOMICS / General

Manufacturing Science and Technology, ICMST2011

Autori: Wu Fan

Typ zdroja: eBook.

Predmet: Computer integrated manufacturing systems--Congresses, Manufacturing processes--Congresses, Industrial engineering--Congresses, Production engineering--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Materials Science / General

American Men and Women of Science: A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Gale Research Inc

Typ zdroja: eBook.

Kategórie: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology, REFERENCE / Directories

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Tracie Moy

Typ zdroja: eBook.

Predmet: Biologists--Biography, Medical scientists--Biography, Scientists--Biography, Physical scientists--Biography, Statisticians--Biography, Computer scientists--Biography, Engineers--Biography, Mathematicians--Biography

Kategórie: SCIENCE / History

The Structure and Dynamics of Networks

Autori: Mark Newman Albert-László Barabási Duncan J. Watts

Typ zdroja: eBook.

Predmet: Computer networks, System theory, Research, Social networks, Dynamics, System analysis, Network analysis (Planning), Graph theory, Social networks--Mathematical models, Statistics, Internet, Complexity (Philosophy)

Kategórie: MATHEMATICS / Applied

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Kalte, Pamela M. Nemeh, Katherine H. Schusterbauer, Noah

Typ zdroja: eBook.

Predmet: Scientists--United States--Biography, Scientists--Canada--Biography, Scientists--United States--Directories, Scientists--Canada--Directories, Science

American Men & Women of Science : A Biographical Directory of Today's Leaders in Physical, Biological, and Related Sciences

Autori: Kalte, Pamela M. Nemeh, Katherine H.

Typ zdroja: eBook.

Predmet: Scientists--Canada--Directories, Scientists--Canada--Biography, Scientists--United States--Directories, Science, Scientists--United States--Biography

Kategórie: BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology