Výsledky vyhledávání - "Petri nets."

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Petri nets."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 116 045 pro vyhledávání: '"Petri nets."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Kniha

Petri Nets : Theoretical Models and Analysis Methods for Concurrent Systems. [elektronicky zdroj]

Autor: Liu, Guanjun

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

Petri nets [elektronicky zdroj] : fundamental models, verification and applications / edited by Michel Diaz.

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 3 3

Elektronická kniha

Petri Nets : An Introduction. [electronic resource]

Autor: Brauer, Wilfried

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

Kniha

Petri Nets : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8. -19. September 1986. [elektronicky zdroj]

Autor: Brauer, Wilfried

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

Petri Nets : An Introduction. [elektronicky zdroj]

Autor: Reisig, 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.) (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

Biological petri nets [elektronicky zdroj] / edited by Edgar Wingender.

Externí odkaz: Kolekce e-knih KNAV

Vybrat výsledek číslo 7 7

Elektronická kniha

Coloured petri nets [electronic resource] : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen.

Autor: Jensen, K. (Kurt), 1950-

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 8 8

Elektronická kniha

Supervision of Petri Nets. [electronic resource]

Autor: Ho, Yu-Chi

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

Process algebras for Petri nets : the alphabetization of distributed systems / Roberto Gorrieri. [electronic resource]

Autor: Gorrieri, Roberto, 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 10 10

Elektronická kniha

Lectures on Concurrency and Petri Nets : Advances in Petri Nets. [electronic resource]

Autor: Kanade, Takeo

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:

1
2
3
4
5
6
7
8
9
10
11
Další »
[11605]

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

46 898 Akademické články
22 796 Konferenční materiály
12 802 Elektronické knihy
8 471 Knihy
2 928 Časopisy
1 099 Dissertations
739 Electronic Resources
683 Reports
303 Recenze
40 Trade Publications
11 Biographies
4 Non-Print Resources
1 Research Starters

23 150 petri nets
17 363 petri net
16 424 computer science
6 554 business
6 309 business.industry
4 608 computer
4 265 software engineering
4 233 artificial intelligence
4 140 theoretical computer science
4 000 distributed computing
3 945 stochastic petri net
3 864 computer.software_genre
3 256 process architecture
2 805 algorithms
2 801 02 engineering and technology
2 387 software
2 357 0202 electrical engineering, electronic engineering, information engineering
2 314 simulation
2 165 programming language
2 123 engineering
2 009 mathematics
1 827 computer networks
1 792 graph theory
1 707 algorithm
1 702 flexible manufacturing systems
1 541 application software
1 523 model checking
1 509 computer science applications
1 484 mathematical models
1 452 020201 artificial intelligence & image processing
1 451 control and systems engineering
1 441 discrete event systems
1 418 workflow
1 406 automation
1 351 electrical and electronic engineering
1 337 supervisory control
1 308 concurrency
1 306 reachability
1 301 data mining
1 290 modeling
1 273 mathematical optimization
1 260 control engineering
1 243 discrete mathematics
1 234 computer simulation
1 188 scheduling
1 179 manufacturing processes
1 177 process mining
1 143 verification
1 109 stochastic petri nets
1 105 manufacturing systems

21 340 ieee
10 516 springer nature
9 219 springer
3 251 taylor & francis ltd
2 967 association for computing machinery
2 826 mdpi
2 722 wiley-blackwell
2 697 ios press
2 672 elsevier b.v.
2 329 springer berlin heidelberg
2 059 institute of electrical and electronics engineers inc.
1 597 springer verlag
1 306 ieee-inst electrical electronics engineers inc
712 elsevier ltd
706 springer international publishing
692 world scientific publishing company
611 igi global
569 emerald publishing limited
547 crc press
545 elsevier science bv
494 elsevier
456 pergamon-elsevier science ltd
374 sage publications, ltd.
372 mdpi ag
355 wiley
326 cambridge university press
300 world scientific
281 public library of science
278 trans tech publications ltd
241 springer international publishing ag
228 sage publications inc.
202 edp sciences
197 ieee computer soc
169 american society of civil engineers
169 de gruyter
144 emerald group publishing limited
143 springer-verlag
119 academic press inc.
107 sciendo
79 walter de gruyter gmbh
74 polish academy of sciences
69 assoc computing machinery
67 vilnius gediminas technical university
57 oxford university press
51 mit press
50 atlantis press
34 american society of mechanical engineers
16 institute of slavic studies, polish academy of sciences
14 university of stavanger, norway
11 ai access foundation

2 189 lecture notes in computer science
1 687 fundamenta informaticae
1 178 international journal of production research
1 001 ieee transactions on automatic control
826 ifac proceedings volumes
772 international journal of advanced manufacturing technology
720 ieee transactions on software engineering
669 ieee access
667 ifac-papersonline
573 theoretical computer science
458 international journal of computer integrated manufacturing
383 information sciences
372 acta informatica
355 journal of intelligent manufacturing
342 ieee transactions on automation science and engineering
326 journal of intelligent & fuzzy systems
293 automatica
290 international journal on software tools for technology transfer
244 plos one
242 performance evaluation
240 simulation
232 ieee transactions on computers
226 international journal of systems science
222 ieee transactions on reliability
210 reliability engineering & system safety
208 ieee transactions on industrial informatics
206 expert systems with applications
197 asian journal of control
185 ieee transactions on intelligent transportation systems
181 control engineering practice
179 ieee transactions on industrial electronics
174 enterprise information systems
155 ieee transactions on control systems technology
155 information systems
154 ieee transactions on semiconductor manufacturing
145 bmc bioinformatics
143 natural computing
142 scientific reports
138 information and computation
129 computers in industry
126 journal of manufacturing systems
112 briefings in bioinformatics
97 information and software technology
95 engineering applications of artificial intelligence
89 advances in mechanical engineering
69 international journal of computer mathematics
59 computer communications
59 european journal of operational research
58 isa transactions
40 safety science

38 267 Complementary Index
22 572 OpenAIRE
16 600 Scopus®
11 655 eBook Index
7 524 Academic Search Ultimate
6 167 Science Citation Index Expanded
3 746 Business Source Ultimate
2 724 Supplemental Index
1 235 ScienceDirect
1 208 Networked Digital Library of Theses & Dissertations
1 006 Directory of Open Access Journals
934 eBook Collection (EBSCOhost)
614 Vybrané kolekce e-knih
593 arXiv
391 MEDLINE
278 Emerald Insight
171 Social Sciences Citation Index
111 Library, Information Science & Technology Abstracts
73 JSTOR Journals
65 NORA (Norwegian Open Research Archive)
48 GreenFILE
33 Central and Eastern European Online Library (CEEOL)
6 Arts & Humanities Citation Index
6 Regional Business News
5 OAPEN Library
5 Oxford Scholarship Online
2 SAGE Research Methods
2 SAGE Knowledge
1 SSOAR – Social Science Open Access Repository
1 Research Starters
1 Katalog Knihovny AV ČR
1 Digitalni knihovny ČR

141 china
62 united states
31 india
23 germany
21 france
17 brazil
13 japan
10 paris (france)
6 indonesia
6 tunisia

1 Knav

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......