Výsledky vyhledávání - software/program verification—statistics methods general terms algorithms
-
1
Autoři: a další
Zdroj: Natural Areas Journal; 2024, Vol. 44 Issue 4, p223-239, 17p
-
2
Autoři: a další
Zdroj: Journal of Applied Meteorology & Climatology; Aug2023, Vol. 62 Issue 8, p985-1003, 19p
-
3
Zdroj: Geophysical Research Abstracts; 2016, Vol. 18, p1-16028, 16028p
-
4
Autoři: a další
Zdroj: Computer Aided Verification (9783540374060); 2006, p286-299, 14p
-
5
Zdroj: Geophysical Research Abstracts; 2010, Vol. 12, p1-14649, 14649p
-
6
Autoři:
Resource Type: eBook.
Témata: Computer science, Software engineering, Compilers (Computer programs), Computer simulation, Machine theory, Algorithms
Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation
-
7
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Data Science / Neural Networks, COMPUTERS / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / User Interfaces, TECHNOLOGY & ENGINEERING / Robotics, COMPUTERS / Internet of Things (IoT)
-
8
Autoři:
Resource Type: eBook.
Témata: Software engineering, Machine theory, Computer science, Electronic data processing—Management
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems
-
9
-
10
Autoři:
Resource Type: eBook.
Témata: Simulation methods, Computer networks
Categories: COMPUTERS / Networking / General, TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications
-
11
-
12
-
13
Autoři:
Resource Type: eBook.
Témata: Environmental management, Climatic changes--Environmental aspects, Energy industries--Environmental aspects
Categories: SCIENCE / Environmental Science, BUSINESS & ECONOMICS / Industries / Energy, SCIENCE / Earth Sciences / Meteorology & Climatology, TECHNOLOGY & ENGINEERING / Environmental / General, TECHNOLOGY & ENGINEERING / Power Resources / General, TECHNOLOGY & ENGINEERING / Power Resources / Electrical
-
14
Autoři:
Resource Type: eBook.
Témata: Computer systems, Computer engineering, Computer networks, Computers, Computer science, Software engineering, Dynamics, Nonlinear theories
Categories: COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, SCIENCE / System Theory, TECHNOLOGY & ENGINEERING / Engineering (General)
-
15
Autoři:
Resource Type: eBook.
Témata: Public health, Climatic changes, Climatic changes--Health aspects, Environmental health, Public health--Environmental aspects
Categories: POLITICAL SCIENCE / Public Policy / Environmental Policy, BUSINESS & ECONOMICS / Development / Sustainable Development, MEDICAL / Health Policy, NATURE / Ecology
Plný text ve formátu PDF Plný text ve formátu ePub -
16
Autoři: a další
Resource Type: eBook.
Témata: Environmentalism--Congresses, Climatic changes--Congresses, Global environmental change--Congresses, Sustainable development--Congresses
Categories: ARCHITECTURE / Sustainability & Green Design, SCIENCE / Environmental Science, TECHNOLOGY & ENGINEERING / Environmental / General, SCIENCE / Global Warming & Climate Change
-
17
Autoři:
Resource Type: eBook.
Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Engineering (General)
-
18
Resource Type: eBook.
Témata: Sustainable development, Business ethics, Social responsibility of business, Industrial management--Environmental aspects, Corporations--Environmental aspects
Categories: BUSINESS & ECONOMICS / Development / Sustainable Development, BUSINESS & ECONOMICS / Economics / General, BUSINESS & ECONOMICS / Finance / Financial Risk Management
-
19
Autoři:
Resource Type: eBook.
Témata: Telecommunication systems--Control--Congresses, Engineering, Artificial intelligence--Industrial applications--Congresses, Automatic control--Congresses, Telecommunication
Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Telecommunications, TECHNOLOGY & ENGINEERING / Signals & Signal Processing
-
20
Full Text Finder
Nájsť tento článok vo Web of Science