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
×
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í: "specification"
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
3 323 766
pro vyhledávání:
'"specification"'
Ř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
Specification development / Christian Lalanne. [elektronicky zdroj]
Autor:
Lalanne, Christian
, author
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 2
2
Kniha
Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany. [elektronicky zdroj]
Autor:
Schlingloff, Bernd-Holger
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
Elektronická kniha
Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rolf Drechsler. [electronic resource]
Autor:
Soeken, Mathias
, 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ýsledek číslo 4
4
Elektronická kniha
Materials, specification and detailing [electronic resource] : foundations of building design / Norman Wienand with Joan Zunde ; illustrations by Norman Wienand, Joan Zunde and Sean Wienand.
Autor:
Wienand, Norman
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
Elektronická kniha
Software specification and design [electronic resource] : an engineering approach / John C. Munson.
Autor:
Munson, John C.
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 6
6
Kniha
Software specification methods [elektronicky zdroj] / edited by Henri Habrias, Marc Frappier.
Externí odkaz:
Kolekce e-knih KNAV
Vybrat výsledek číslo 7
7
Elektronická kniha
Software Specification Methods : An Overview Using a Case Study. [electronic resource]
Autor:
Schuman, S. A.
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
Elektronická kniha
Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12-14, 2002 Revised Papers. [electronic resource]
Autor:
Goos, Gerhard
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
Elektronická kniha
Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13-15, 2001 Revised Papers. [electronic resource]
Autor:
Carbonell, Jaime G.
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
Specification, Modeling, and Applications : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001 Taipei, Taiwan, July 28-29, 2001 Proceedings. [electronic resource]
Autor:
Goos, G.
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še | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[332377]
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
1 842 735
Akademické články
418 860
Elektronické knihy
230 632
Konferenční materiály
162 157
Časopisy
97 936
Knihy
88 943
Trade Publications
57 926
Reports
23 919
News
22 260
Dissertations
19 236
Recenze
10 774
Electronic Resources
162
Primary Source Documents
129
Research Starters
88
Biographies
62
Non-Print Resources
3
Videa
Předmět
102 993
computer science
90 237
business
83 121
business.industry
47 171
computer
41 434
economics
40 324
computer.software_genre
34 970
engineering
30 944
artificial intelligence
30 853
software engineering
23 877
regression analysis
23 605
algorithms
23 427
mathematical models
23 283
economic development
22 614
computer software
22 046
software
21 244
biology
21 066
medicine
20 501
decision making
20 409
programming language
20 178
specification
19 997
mathematics
19 761
econometrics
19 484
education
19 188
statistics
18 967
formal specification
18 649
02 engineering and technology
18 234
transcription factors
17 949
gene expression
17 500
media_common
17 217
media_common.quotation_subject
16 894
technological innovations
16 367
cell differentiation
15 464
genetics
15 163
machine learning
15 077
data analysis
14 352
research article
14 295
cell biology
14 275
energy consumption
14 084
research paper
14 074
research-article
13 962
animals
13 960
business enterprises
13 799
0202 electrical engineering, electronic engineering, information engineering
13 698
labor market
13 525
technology
13 513
computer networks
13 190
psychology
12 866
nonfiction
12 860
developmental biology
12 753
computer.programming_language
Vydavatel
332 355
springer nature
295 513
wiley-blackwell
256 684
ieee
207 535
taylor & francis ltd
114 381
mdpi
85 289
springer
73 847
oxford university press / usa
60 212
sage publications inc.
43 607
association for computing machinery
36 796
cambridge university press
35 860
emerald publishing limited
35 834
routledge
33 181
biomed central
30 521
public library of science
24 084
iop publishing
22 262
elsevier b.v.
21 751
endeavor business media
20 000
hindawi limited
18 737
american society of civil engineers
17 072
wiley
16 734
de gruyter
16 185
ios press
14 719
university of chicago press
14 058
sage publications, ltd.
11 315
elsevier
9 348
academic press
7 993
lippincott williams & wilkins
7 394
oxford university press
7 122
mit press
6 633
edp sciences
4 400
brill
4 245
springer international publishing
3 991
world scientific
3 513
cell press
3 453
springer verlag
3 190
academic press inc.
3 052
mdpi ag
2 841
information today inc.
2 634
nature publishing group
2 192
elsevier science bv
1 997
vilnius gediminas technical university
1 956
american chemical society
1 941
elsevier ltd
1 633
sage publications ltd
1 568
springer international publishing ag
1 002
bmc
980
taylor & francis
642
john wiley & sons ltd
493
routledge journals, taylor & francis ltd
374
cambridge univ press
Publikováno v
24 261
plos one
12 680
fastmarkets mb daily
12 228
scientific reports
11 336
tenders info reports
10 137
applied economics
7 190
aip conference proceedings
7 087
international journal of molecular sciences
5 405
developmental biology
4 945
applied economics letters
4 726
american journal of agricultural economics
4 660
empirical economics
4 557
nature communications
4 489
proceedings of the national academy of sciences of the united states of america
4 424
american economic review
3 893
development
3 741
management science
3 674
ieee transactions on software engineering
3 403
plos genetics
3 400
nature
3 333
communications of the acm
3 193
efsa journal
2 989
international journal of production research
2 949
statistics in medicine
2 767
biometrics
2 766
journal of the acoustical society of america
2 427
developmental dynamics
2 296
journal of population economics
2 260
journal of business & economic statistics
2 175
journal of the american statistical association
1 958
southern economic journal
1 898
elife
1 608
medical physics
1 595
journal of econometrics
1 594
econometric reviews
1 222
econometric theory
1 040
blood
980
transportation research record
956
theoretical computer science
950
mechanisms of development
936
cell reports
858
science of computer programming
726
developmental cell
687
ieee access
587
cell
557
environmental health perspectives
525
cell stem cell
493
frontiers in cell and developmental biology
475
stem cell reports
427
economics letters
288
information systems
Zdroj
1 667 712
Complementary Index
355 087
eBook Index
351 536
Business Source Ultimate
336 013
Academic Search Ultimate
266 536
OpenAIRE
60 605
eBook Collection (EBSCOhost)
44 015
MEDLINE
41 596
Scopus®
38 147
Regional Business News
37 313
Supplemental Index
25 893
Science Citation Index Expanded
23 428
Networked Digital Library of Theses & Dissertations
22 688
Emerald Insight
14 035
Directory of Open Access Journals
7 227
arXiv
6 305
JSTOR Journals
6 185
Social Sciences Citation Index
4 990
Vybrané kolekce e-knih
3 614
ScienceDirect
2 045
SAGE Knowledge
2 009
GreenFILE
1 323
Library, Information Science & Technology Abstracts
1 123
Central and Eastern European Online Library (CEEOL)
917
NORA (Norwegian Open Research Archive)
813
SAGE Research Methods
704
Oxford Scholarship Online
393
Katalog Knihovny AV ČR
378
Oxford Reference
290
BrillOnline Reference Works
252
Manuscriptorium Digital Library
207
Arts & Humanities Citation Index
129
Research Starters
115
SSOAR – Social Science Open Access Repository
56
OAPEN Library
31
E-LIS (Eprints in Library & Information Science)
25
Britannica Online
17
Brill E-Book Collection
14
Digitalni knihovny ČR
Geografie
85 590
united states
28 192
china
25 406
united kingdom
11 242
india
10 707
europe
8 717
australia
7 856
germany
7 729
japan
6 230
england
5 103
brazil
Umístění
187
Knav
170
Baze Knavc - Casopisy
36
Baze Knava - Analytika
Rok vydání
Od:
do:
×
načítá se......