შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

საკვანძო სიტყვების ძებნა

  • Main
  • საკვანძო სიტყვების ძებნა
1
Praxishandbuch Forschungsdatenmanagement

Praxishandbuch Forschungsdatenmanagement

Markus Putnings, Heike Neuroth, Janna Neumann
წელი:
2021
ენა:
german
ფაილი:
EPUB, 5.71 MB
0 / 5.0
german, 2021
3
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Par

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Par

Sriram Sankaranarayanan, Natasha Sharygina
verification
org
algorithm
springer
programs
analysis
synthesis
systems
variables
symbolic
checking
function
algorithms
tools
approach
competition
controller
safety
abstract
conference
lncs
proc
acm
specification
values
formal
input
formula
constraint
finite
proceedings
functions
graph
programming
creative
implementation
tasks
benchmarks
lecture
automaton
automata
solution
tacas
abstraction
models
invariant
global
invariants
inductive
loops
წელი:
2023
ენა:
english
ფაილი:
EPUB, 56.54 MB
0 / 0
english, 2023
4
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part 2

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part 2

Sriram Sankaranarayanan, Natasha Sharygina
verification
algorithm
doi.org
programs
springer
synthesis
analysis
systems
variables
symbolic
checking
function
competition
controller
algorithms
approach
lncs
safety
abstract
tools
conference
input
proc
specification
values
formal
tacas
ϕ
acm
formula
tasks
constraint
finite
automata
programming
proceedings
graph
functions
creative
automaton
check
benchmarks
implementation
lecture
invariant
abstraction
solution
inductive
loops
models
წელი:
2023
ენა:
english
ფაილი:
PDF, 15.35 MB
0 / 4.0
english, 2023
6
Translation and State: The Mahābhārata at the Mughal Court

Translation and State: The Mahābhārata at the Mughal Court

Michael Willis (ed.)
წელი:
2023
ენა:
english
ფაილი:
PDF, 7.36 MB
0 / 5.0
english, 2023
8
A grammar of Komnzo

A grammar of Komnzo

Christian Döhler
წელი:
2018
ენა:
english
ფაილი:
PDF, 3.92 MB
0 / 0
english, 2018
12
Live Coding

Live Coding

Alan F. Blackwell, Emma Cocker, Geoff Cox, Alex McLean, Thor Magnusson
წელი:
2022
ენა:
english
ფაილი:
PDF, 18.81 MB
0 / 4.0
english, 2022
13
Live Coding: A User's Manual

Live Coding: A User's Manual

Alan F. Blackwell, Emma Cocker, Geoff Cox, Alex McLean, Thor Magnusson
წელი:
2022
ენა:
english
ფაილი:
EPUB, 63.83 MB
0 / 0
english, 2022
18
Integrating degrowth and efficiency perspectives enables an emission-neutral food system by 2100

Integrating degrowth and efficiency perspectives enables an emission-neutral food system by 2100

Benjamin Leon Bodirsky & David Meng-Chuen Chen & Isabelle Weindl & Bjoern Soergel & Felicitas Beier & Edna J. Molina Bacca & Franziska Gaupp & Alexander Popp & Hermann Lotze-Campen
emissions
income
gdp
degrowth
economic
global
ghg
diet
scenarios
countries
demand
environmental
agricultural
mitigation
capita
reduction
sustainable
redistribution
dietary
policy
05ppp
activity
climate
eff
emission
efficient
growth
pricing
environ
price
throughput
co2
consumption
reduced
reporting
allocation
current
doi.org
gtco2e
magpie
supplementary
assessment
availability
impacts
nutrition
pathways
shift
analysis
effect
efficiency
წელი:
2022
ენა:
english
ფაილი:
PDF, 1.18 MB
0 / 0
english, 2022
19
SARS-Cov-2: LA COMPLETA VERITA': SARS-CoV-2: THE REAL TRUTH (Italian Edition)

SARS-Cov-2: LA COMPLETA VERITA': SARS-CoV-2: THE REAL TRUTH (Italian Edition)

Carlo Brogna
წელი:
2021
ენა:
italian
ფაილი:
EPUB, 3.50 MB
0 / 0
italian, 2021