Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.
×
Všechna pole
Název
Autor
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Zachovat současné nastavení filtrů
EXPAND:"fulltext"
Domovská stránka
Vyhledávání: "Proofs"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
1 258 142
pro vyhledávání:
'"Proofs"'
Řazení
od nejnovějšího
Podle data vzestupně
podle relevance
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
Vybrat výsledek číslo 1
1
Kniha
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings. [elektronicky zdroj]
Autor:
Prevosto, Virgile
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 2
2
Kniha
Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings. [elektronicky zdroj]
Autor:
Kovács, Laura
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 3
3
Kniha
Proofs and Ideas : A Prelude to Advanced Mathematics. [elektronicky zdroj]
Autor:
Sethuraman, B.
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 4
4
Kniha
Tests and Proofs : 15th International Conference, TAP 2021, Held As Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. [elektronicyk zdroj]
Autor:
Loulergue, édéric
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.)
Vybrat výsledek číslo 5
5
Kniha
Tests and Proofs : 14th International Conference, TAP 2020, Held As Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings. [elektronicky zdroj]
Autor:
Ahrendt, Wolfgang
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 6
6
Kniha
Proofs 101 : An Introduction to Formal Mathematics. [elektronicky zdroj]
Autor:
Kirtland, Joseph
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests
Vybrat výsledek číslo 7
7
Kniha
Tests and Proofs : 13th International Conference, TAP 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. [elektronicky zdroj]
Autor:
Beyer, Dirk
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 8
8
Kniha
Tests and Proofs : 12th International Conference, TAP 2018, Held As Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. [elektronicky zdroj]
Autor:
Dubois, Catherine
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 9
9
Kniha
Tests and Proofs : 11th International Conference, TAP 2017, Held As Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. [elektronicky zdroj]
Autor:
Gabmeyer, Sebastian
Externí odkaz:
Kolekce e-knih KNAV (Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on requests.)
Vybrat výsledek číslo 10
10
Elektronická kniha
Principles and proofs : Aristotle's theory of demonstrative science / Richard D. McKirahan, Jr. [electronic resource]
Autor:
McKirahan, Richard D.
, author
Externí odkaz:
Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.
Vybrat vše | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[125815]
Vyhledávací nástroje:
RSS
Poslat e-mailem
Upřesnit hledání
Omezení vyhledávání
Plný text
Recenzováno
Digitální knihovna AV ČR
Zdroje
Pouze tištěné dokumenty
Zahrnout EIZ
Typ dokumentu
687 809
Akademické články
277 484
Elektronické knihy
48 402
Knihy
44 859
Konferenční materiály
36 921
Časopisy
28 905
Reports
22 343
Recenze
8 757
Trade Publications
5 221
News
3 931
Electronic Resources
3 652
Dissertations
769
Primary Source Documents
541
Biographies
241
Research Starters
19
Non-Print Resources
Předmět
55 038
mathematics
30 076
mathematical proofs
26 654
mathematical analysis
24 635
algorithms
23 263
mathematical proof
23 195
computer science
16 375
nonfiction
16 020
algebra
15 478
mathematical models
12 647
fos: mathematics
12 602
numerical analysis
11 725
probability theory
11 713
polynomials
11 315
combinatorics
11 247
set theory
10 976
discrete mathematics
10 903
artificial intelligence
10 274
mathematical optimization
9 561
01 natural sciences
9 404
applied mathematics
8 991
stochastic convergence
8 864
differential equations
8 822
approximation theory
8 669
general mathematics
8 217
mathematical physics
8 036
graph theory
7 923
mathematical functions
7 848
distribution (probability theory)
7 743
business
7 556
theoretical computer science
7 518
matrices (mathematics)
7 475
stochastic processes
7 390
business.industry
7 315
equations
7 260
pure mathematics
7 197
logic
7 140
boundary value problems
7 133
estimation theory
6 745
philosophy
6 669
markov processes
6 640
regression analysis
6 592
problem solving
6 480
computer
6 440
calculus
6 394
symbols
6 392
symbols.namesake
6 276
0101 mathematics
6 262
generalization
6 246
group theory
6 192
game theory
Vydavatel
228 521
springer nature
79 141
wiley-blackwell
63 839
taylor & francis ltd
58 640
ieee
43 616
springer
36 669
cambridge university press
36 202
oxford university press / usa
21 826
routledge
18 159
association for computing machinery
18 151
mdpi
18 092
american mathematical society
15 520
world scientific publishing company
10 964
de gruyter
10 384
elsevier b.v.
9 804
sage publications inc.
8 878
iop publishing
7 526
arxiv
7 336
ios press
5 081
oxford university press
4 966
brill
4 690
university of chicago press
4 485
academic press inc.
4 464
springer berlin heidelberg
3 787
princeton university press
3 547
world scientific
3 383
crc press
3 246
wiley
3 136
brill academic publishers
3 134
academic press
2 682
edp sciences
2 303
springer international publishing
2 068
sage publications, ltd.
2 001
emerald publishing limited
1 945
mit press
1 833
university of toronto press
1 733
elsevier
1 703
edinburgh university press
1 616
university of california press
1 339
duke university press
1 220
springer verlag
953
sciendo
863
springer international publishing ag
705
mdpi ag
694
elsevier inc.
670
springer netherlands
581
lippincott williams & wilkins
331
elsevier science bv
328
associated newspapers ltd
323
sage publications ltd
275
springer-verlag
Publikováno v
12 973
plos one
7 256
communications in mathematical physics
6 781
transactions of the american mathematical society
4 998
ieee transactions on information theory
4 556
proceedings of the american mathematical society
4 185
journal of mathematical sciences
4 045
probability theory & related fields
3 639
ieee transactions on automatic control
3 572
mathematical programming
2 775
siam journal on computing
2 662
management science
2 659
bulletin of the american mathematical society
2 346
economic theory
2 286
siam journal on mathematical analysis
2 285
mathematical logic quarterly
2 140
theory of computing systems
2 103
mathematical notes
1 914
fundamenta informaticae
1 768
synthese
1 706
mathematics of operations research
1 698
siam review
1 680
archive for mathematical logic
1 651
american mathematical monthly
1 504
journal of the acm
1 318
studia logica
1 313
journal of philosophical logic
1 263
theoretical computer science
1 262
journal of automated reasoning
1 214
scientific reports
1 136
acta informatica
896
journal of applied probability
890
library journal
806
discrete mathematics
761
journal of symbolic logic
723
journal of algebra
686
advances in mathematics
567
journal of differential equations
521
educational studies in mathematics
454
journal of mathematical analysis and applications
414
international journal of computer mathematics
397
information processing letters
392
annals of pure and applied logic
389
european journal of combinatorics
305
ieee access
293
information and computation
291
linear algebra and its applications
236
information sciences
217
logical methods in computer science
160
journal of dairy science
158
journal of computer and system sciences
Zdroj
607 454
Complementary Index
233 952
eBook Index
147 119
Academic Search Ultimate
83 806
OpenAIRE
65 257
Business Source Ultimate
41 921
eBook Collection (EBSCOhost)
22 152
arXiv
11 383
Supplemental Index
8 728
Scopus®
7 780
JSTOR Journals
4 698
Regional Business News
3 831
Networked Digital Library of Theses & Dissertations
3 526
Directory of Open Access Journals
3 380
Science Citation Index Expanded
2 945
MEDLINE
2 827
Vybrané kolekce e-knih
1 316
Emerald Insight
1 306
ScienceDirect
990
Oxford Scholarship Online
682
BrillOnline Reference Works
566
Central and Eastern European Online Library (CEEOL)
496
SAGE Knowledge
483
Arts & Humanities Citation Index
316
Library, Information Science & Technology Abstracts
241
Research Starters
230
Social Sciences Citation Index
196
NORA (Norwegian Open Research Archive)
153
SAGE Research Methods
91
GreenFILE
79
Katalog Knihovny AV ČR
71
Britannica Online
58
Oxford Reference
45
Brill E-Book Collection
33
OAPEN Library
12
SSOAR – Social Science Open Access Repository
9
E-LIS (Eprints in Library & Information Science)
5
Oxford Scholarly Editions Online
4
Digitalni knihovny ČR
1
Manuscriptorium Digital Library
Geografie
10 993
united states
2 344
united kingdom
1 689
china
1 001
india
904
europe
843
france
770
germany
584
italy
488
russia
356
romania
Umístění
52
Baze Knava - Analytika
26
Knav
1
Baze Knavc - Casopisy
Rok vydání
Od:
do:
×
načítá se......
