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í: "Schuman, S. A."
Navrhnout nákup titulu
Zobrazeno
1
-
10
of
113
pro vyhledávání:
'"Schuman, S. A."'
Ř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
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 2
2
Elektronická kniha
Refinement in Z and Object-Z : Foundations and Advanced Applications. [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 3
3
Elektronická kniha
Formal Object-Oriented Development. [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 4
4
Elektronická kniha
B Language and Method : A Guide to Practical Formal Development. [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 5
5
Elektronická kniha
Formal Methods in Human-Computer Interaction. [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 6
6
Elektronická kniha
Proof in VDM : Case Studies. [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 7
7
Elektronická kniha
Constructing Correct Software : The Basics. [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
Theory and Practice of Program Development. [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 9
9
Elektronická kniha
Program Development by Refinement : Case Studies Using the B Method. [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 10
10
Elektronická kniha
High-Integrity System Specification and Design. [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še | Vybrané výsledky:
Poslat e-mailem
Exportovat
Vytisknout
1
2
3
4
5
6
7
8
9
10
11
Další »
[12]
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
84
Akademické články
12
Knihy
12
Elektronické knihy
12
Electronic Resources
8
Časopisy
1
Recenze
Předmět
12
electronic books
3
pesticides
2
alkanes
2
anaesthetic
2
antigens
2
cancer
2
central nervous system
2
computer software--development
2
diet
2
environmental health
2
ethanes
2
experimental design
2
formal methods (computer science)
2
guinea pigs
2
halothane
2
immune response
2
immunoglobulins
2
macular hole
2
monkeys
2
object-oriented programming (computer science)
2
occupational medicine
2
occupations
2
oct
2
ophthalmology
2
preventive health services
2
re1-994
2
retina
2
statistics
2
tumor prevention
2
vitreomacular traction
2
vma
2
volatile
1
[spi] engineering sciences [physics]
1
acetylcholine-receptor agonist
1
ad valorem taxes
1
adnexal mass
1
agriculture
1
algebra
1
alzheimers
1
antioxidants
1
association
1
basal ganglia
1
capacity costs
1
carolina
1
chemical engineering
1
chemicals
1
chemicals industries
1
codd's theorem
1
computer science
1
computers
Vydavatel
12
academic press inc elsevier science
12
lippincott williams & wilkins
12
springer london, limited
7
academic press inc.
7
elsevier inc.
7
elsevier science inc
4
lancet
3
american college of physicians
3
oxford university press / usa
2
dove medical press
2
jossey-bass
2
little brown co
2
mary ann liebert, inc.
1
amer assoc cancer research
1
amer medical assoc
1
amer soc clinical oncology
1
american institute of physics
1
ardis publishers
1
blackwell science inc
1
blackwell science ltd
1
elsevier b.v.
1
elsevier ltd
1
hal ccsd
1
heldref publications
1
hemisphere publ corp
1
inst operations research management sciences
1
john wiley & sons inc
1
lancet ltd
1
lippincott-raven publ
1
modern language assoc amer
1
slack inc
1
southern medical assn
1
springer
1
springer nature
1
taylor & francis ltd
1
univ notre dame
1
wiley-blackwell
Publikováno v
26
gynecologic oncology
7
neurology
7
southern medical journal
5
lancet
3
annals of epidemiology
3
annals of internal medicine
3
journal of occupational medicine
2
clinical & experimental immunology
2
clinical ophthalmology
2
international journal of radiation oncology biology physics
2
journal of chemical physics
2
journal of laparoendoscopic & advanced surgical techniques
2
public health nursing
2
value in health
1
anq-a quarterly journal of short articles notes and reviews
1
archives of environmental contamination & toxicology
1
archives of environmental contamination and toxicology
1
bja: british journal of anaesthesia
1
british journal of anaesthesia
1
cancer research
1
catalysis reviews
1
catalysis reviews: science & engineering
1
clinical and experimental immunology
1
death studies
1
interfaces
1
international journal of radiation oncology, biology, physics
1
investigative ophthalmology & visual science
1
jama-journal of the american medical association
1
journal of clinical oncology
1
journal of policy analysis and management
1
michigan law review
1
neurology (ovid)
1
notes & queries
1
ophthalmic surgery lasers & imaging
1
ophthalmology
1
pmla-publications of the modern language association of america
1
religion & literature
1
russian literature triquarterly
1
the lancet
1
the quarterly journal of economics
Zdroj
31
Science Citation Index Expanded
16
Academic Search Ultimate
15
Complementary Index
12
Vybrané kolekce e-knih
8
ScienceDirect
8
Supplemental Index
8
OpenAIRE
5
Social Sciences Citation Index
4
Arts & Humanities Citation Index
3
JSTOR Journals
2
Business Source Ultimate
1
Directory of Open Access Journals
Rok vydání
Od:
do:
×
načítá se......
