Výsledky vyhledávání - "Miao, Huaikou"

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í: "Miao, Huaikou"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 90 pro vyhledávání: '"Miao, Huaikou"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Kniha

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. [elektronicky zdroj]

Autor: Miao, Huaikou

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

Akademický článek

An Optimization Method Based on Be-ACO Algorithm in Service Composition Context.

Autor: Du, Zhoujie¹ (AUTHOR), Miao, Huaikou^1,2 (AUTHOR)

Publikováno v: Computational Intelligence & Neuroscience. 11/22/2022, p1-10. 10p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 3 3

Akademický článek

Research on Edge Service Composition Method Based on BAS Algorithm.

Autor: Du, Zhoujie¹ (AUTHOR), Miao, Huaikou^1,2 (AUTHOR)

Publikováno v: Computational Intelligence & Neuroscience. 7/15/2021, p1-10. 10p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 4 4

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

Akademický článek

Usage-pattern based Statistical Web Testing and Reliability Measurement

Autor: Chen, Chao, Chen, Yihai, Miao, Huaikou, Wang, Hao

Publikováno v: In Procedia Computer Science 2013 21:140-147

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 7 7

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 8 8

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 9 9

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 10 10

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat vše | Vybrané výsledky:

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

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

45 Akademické články
28 Konferenční materiály
13 Knihy
2 Electronic Resources
1 Časopisy

6 algorithms
6 web application
5 computational modeling
5 software
4 algebra
4 automata
4 cloud computing
4 computer software testing
4 dynamic reconfiguration
4 erbium
4 finite state machines
4 model checking
4 model-based testing
4 probabilistic model checking
4 software testing
4 test pattern generators
4 web services
4 web-based user interfaces
3 68n30
3 68q45
3 bandwidth allocation
3 electronic data processing
3 energy consumption
3 formal method
3 formal methods (computer science)
3 human behavior models
3 internet of things
3 model transformations
3 qos
3 quality of service
3 robust control
3 service system
3 software compatibility
3 test methods
3 timed automata
3 uppaal
3 virtual machine systems
2 ant algorithms
2 ant colonies
2 antennas (electronics)
2 blogs
2 bpel (computer program language)
2 business software
2 chemical templates
2 computer network protocols
2 computer science
2 computer systems
2 constrained optimization
2 continuous integration
2 deep learning

30 ieee
16 springer nature
5 hindawi limited
5 world scientific publishing company
4 taylor & francis ltd
3 elsevier b.v.
3 ieee-inst electrical electronics engineers inc
3 mdpi
2 hindawi ltd
2 hindawi pub. corp
2 springer
2 springer international publishing ag
2 world scientific publ co pte ltd
1 asia life sciences
1 assoc computing machinery
1 ieee comp soc
1 natural sciences publishing corp-nsp
1 natural sciences publishing corporation
1 technology exchange limited hong kong
1 wiley-hindawi
1 wuhan university

4 computational intelligence & neuroscience
4 ieee transactions on reliability
4 international journal of computer mathematics
4 international journal of software engineering & knowledge engineering
3 2013 ieee/acis 12th international conference on computer & information science (icis)
3 computational intelligence and neuroscience
3 future internet
3 mobile networks & applications
2 2012 13th acis international conference on software engineering, artificial intelligence, networking & parallel/distributed computing
2 2013 14th acis international conference on software engineering, artificial intelligence, networking & parallel/distributed computing
2 applied mathematics & information sciences
2 computer & information science 2009
2 ieee access
2 international journal of software engineering and knowledge engineering
2 journal of shanghai university
2 procedia computer science
2 workshop on intelligent information technology application (iita 2007)
1 15th ieee/acis international conference on software engineering, artificial intelligence, networking & parallel/distributed computing (snpd)
1 2006 10th ieee international enterprise distributed object computing conference (edoc'06)
1 2007 international conference on computational intelligence & security (cis 2007)
1 2013 international symposium on theoretical aspects of software engineering
1 2014 21st asia-pacific software engineering conference
1 2014 ieee international conference on web services
1 2014 joint conference of the international workshop on software measurement & the international conference on software process & product measurement
1 2015 3rd international conference on applied computing & information technology/2nd international conference on computational science & intelligence
1 2015 ieee/acis 14th international conference on computer & information science (icis)
1 2015 ieee/acis 16th international conference on software engineering, artificial intelligence, networking & parallel/distributed computing (snpd)
1 2016 ieee 14th international conference on software engineering research, management & applications (sera)
1 2016 ieee international conference on industrial technology (icit)
1 2016 international conference on software analysis, testing & evolution (sate)
1 acm transactions on multimedia computing communications and applications
1 asia life sciences
1 chinese journal of electronics
1 computer & information science 2010
1 distributed & parallel databases
1 distributed and parallel databases
1 entcs: electronic notes in theoretical computer science
1 formal methods & software engineering (9783642169007)
1 frontiers in computer education
1 international journal of software innovation (ijsi)
1 mobile information systems
1 proceedings 36th international conference on technology of object-oriented languages & systems tools-asia 2000
1 proceedings eighth asian test symposium (ats'99)
1 proceedings eighth asia-pacific software engineering conference
1 proceedings of the 11th joint international computer conference: jicc 2005
1 proceedings of the asian test symposium
1 proceedings of the conference on technology of object-oriented languages and systems, tools
1 proceedings of the ieee international conference on engineering of complex computer systems, iceccs
1 proceedings sixth ieee international conference on engineering of complex computer systems (iceccs 2000)
1 security and communication networks

50 Complementary Index
16 Science Citation Index Expanded
6 Academic Search Ultimate
3 Supplemental Index
3 Scopus®
3 Business Source Ultimate
2 Library, Information Science & Technology Abstracts
2 Vybrané kolekce e-knih
2 OpenAIRE
2 MEDLINE
1 ScienceDirect

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