Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 22 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 20 Treffer
- 02 engineering and technology 17 Treffer
- computer science 14 Treffer
- 01 natural sciences 13 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 13 Treffer
- decidability 12 Treffer
- 0102 computer and information sciences 11 Treffer
- 010201 computation theory & mathematics 11 Treffer
- 020201 artificial intelligence & image processing 11 Treffer
- petri nets 11 Treffer
- [info.info-bi]computer science [cs]/bioinformatics [q-bio.qm] 10 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- concurrency 10 Treffer
- attractors 8 Treffer
- biological networks 7 Treffer
- dynamical systems 7 Treffer
- theoretical computer science 7 Treffer
- b method 6 Treffer
- business 6 Treffer
- business.industry 6 Treffer
- mathematics 6 Treffer
- no 6 Treffer
- qualitative models 6 Treffer
- temporal logic 6 Treffer
- [sdv.bibs]life sciences [q-bio]/quantitative methods [q-bio.qm] 5 Treffer
- linear sweep voltammetry 5 Treffer
- process mining 5 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 4 Treffer
- 0101 mathematics 4 Treffer
- 010102 general mathematics 4 Treffer
- high-level petri nets 4 Treffer
- hybrid automaton 4 Treffer
- model check 4 Treffer
- modeling 4 Treffer
- reachability problem 4 Treffer
- symbols 4 Treffer
- symbols.namesake 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 3 Treffer
- 0209 industrial biotechnology 3 Treffer
- 020901 industrial engineering & automation 3 Treffer
- algorithm 3 Treffer
- bounded function 3 Treffer
- combinatorics 3 Treffer
- computation 3 Treffer
- computer 3 Treffer
- computer.software_genre 3 Treffer
- cyclic voltammetry 3 Treffer
- discrete mathematics 3 Treffer
Publikation
- application and theory of petri nets and concurrency : 40th international conference, petri nets 2019, aachen, germany, june 23-28, 2019, proceedings 24 Treffer
- application and theory of petri nets and concurrency : 41st international conference, petri nets 2020, paris, france, june 24-25, 2020, proceedings 23 Treffer
- static analysis : 27th international symposium, sas 2020, virtual event, november 18-20, 2020, proceedings 16 Treffer
- formal modeling and analysis of timed systems : 14th international conference, formats 2016, quebec, qc, canada, august 24-26, 2016, proceedings 14 Treffer
- applied nanoscience 6 Treffer
-
45 weitere Werte:
- a guided tour of artificial intelligence research - volume iii: interfaces and applications of artificial intelligence (10.1007/978-3-030-06170-8) ; https://hal.science/hal-02995771 ; a guided tour of artificial intelligence research - volume iii: interfaces and applications of artificial intelligence (10.1007/978-3-030-06170-8), springer international publishing, 2020 5 Treffer
- reachability problems : 8th international workshop, rp 2014, oxford, uk, september 22-24, 2014. proceedings 5 Treffer
- automated technology for verification and analysis : 11th international symposium, atva 2013, hanoi, vietnam, october 15-18, 2013. proceedings 4 Treffer
- mrs online proceedings library 4 Treffer
- reachability problems : 10th international workshop, rp 2016, aalborg, denmark, september 19-21, 2016, proceedings 4 Treffer
- automated technology for verification and analysis : 12th international symposium, atva 2014, sydney, nsw, australia, november 3-7, 2014, proceedings 3 Treffer
- foundations of software science and computation structures : 23rd international conference, fossacs 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, dublin, ireland, april 25-30, 2020, proceedings 3 Treffer
- handbook of model checking 3 Treffer
- reachability problems : 11th international workshop, rp 2017, london, uk, september 7-9, 2017, proceedings 3 Treffer
- reachability problems : 9th international workshop, rp 2015, warsaw, poland, september 21-23, 2015, proceedings 3 Treffer
- sn applied sciences 3 Treffer
- a guided tour of artificial intelligence research : volume iii: interfaces and applications of artificial intelligence 2 Treffer
- application and theory of petri nets and concurrency : 39th international conference, petri nets 2018, bratislava, slovakia, june 24-29, 2018, proceedings 2 Treffer
- automated technology for verification and analysis : 13th international symposium, atva 2015, shanghai, china, october 12-15, 2015, proceedings 2 Treffer
- cellular automata and discrete complex systems : 24th ifip wg 1.5 international workshop, automata 2018, ghent, belgium, june 20-22, 2018, proceedings 2 Treffer
- chemical papers 2 Treffer
- computer security : 23rd european symposium on research in computer security, esorics 2018, barcelona, spain, september 3-7, 2018, proceedings, part i 2 Treffer
- formal modeling and analysis of timed systems : 15th international conference, formats 2017, berlin, germany, september 5-7, 2017, proceedings 2 Treffer
- foundations of software science and computation structures : 21st international conference, fossacs 2018, held as part of the european joint conferences on theory and practice of software, etaps 2018, thessaloniki, greece, april 14-20, 2018. proceedings 2 Treffer
- models, algorithms, logics and tools : essays dedicated to kim guldstrand larsen on the occasion of his 60th birthday 2 Treffer
- verification, model checking, and abstract interpretation : 20th international conference, vmcai 2019, cascais, portugal, january 13-15, 2019, proceedings 2 Treffer
- well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory 2 Treffer
- abstract state machines, alloy, b, tla, vdm, and z : 6th international conference, abz 2018, southampton, uk, june 5-8, 2018, proceedings 1 Treffer
- advanced information networking and applications : proceedings of the 34th international conference on advanced information networking and applications (aina-2020) 1 Treffer
- advanced information systems engineering : 29th international conference, caise 2017, essen, germany, june 12-16, 2017, proceedings 1 Treffer
- advances in information retrieval : 40th european conference on ir research, ecir 2018, grenoble, france, march 26-29, 2018, proceedings 1 Treffer
- algebraic informatics : 8th international conference, cai 2019, nis, serbia, june 30-july 4, 2019, proceedings 1 Treffer
- application and theory of petri nets and concurrency : 36th international conference, petri nets 2015, brussels, belgium, june 21-26, 2015, proceedings 1 Treffer
- application and theory of petri nets and concurrency : 37th international conference, petri nets 2016, torun, poland, june 19-24, 2016. proceedings 1 Treffer
- application and theory of petri nets and concurrency : 38th international conference, petri nets 2017, zaragoza, spain, june 25-30, 2017, proceedings 1 Treffer
- artificial neural networks and machine learning - icann 2020 : 29th international conference on artificial neural networks, bratislava, slovakia, september 15-18, 2020, proceedings, part i 1 Treffer
- brazilian journal of microbiology 1 Treffer
- brazilian journal of microbiology publication of the brazilian society for microbiology 1 Treffer
- chemistry central journal 1 Treffer
- emergent materials 1 Treffer
- eurasip journal on advances in signal processing 1 Treffer
- eurasip journal on wireless communications and networking 1 Treffer
- experimental and applied acarology 1 Treffer
- innovative infrastructure solutions 1 Treffer
- journal of materials research 1 Treffer
- journal of sustainable metallurgy 1 Treffer
- landslide science for a safer geoenvironment: volume 2: methods of landslide studies 1 Treffer
- mrs bulletin 1 Treffer
- mrs communications 1 Treffer
- reaction kinetics, mechanisms and catalysis 1 Treffer
Sprache
Geographischer Bezug
300 Treffer
-
In: Pädiatrische Netzhauterkrankungen : Von der Angiographie zur Vitrektomie; (2023) S. 177-186Online E-BookZugriff:
-
In: Natural Language Processing and Information Systems ; Lecture Notes in Computer Science ; page 66-78 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030232801 9783030232818; (2019)BuchZugriff:
-
In: Pediatric Retinal Vascular Diseases : From Angiography to Vitrectomy; (2019) S. 163-171Online E-BookZugriff:
-
In: Landslide Science for a Safer Geoenvironment : Volume 2: Methods of Landslide Studies; (2014) S. 397-403Online E-BookZugriff:
-
In: Innovative Infrastructure Solutions, Jg. 4 (2019-11-19), Heft 1Online academicJournalZugriff:
-
In: Chemical Papers, 2024-03-21, S. 1-7Online academicJournalZugriff:
-
In: Journal of Materials Research, Jg. 38 (2023-11-28), Heft 22, S. 4937-4950Online academicJournalZugriff:
-
In: Endoscopic Cardiac Surgery : Tips, Tricks and Traps; (2023) S. 109-127Online E-BookZugriff:
-
In: Journal of Sustainable Metallurgy, 2023-04-03, S. 1-10Online academicJournalZugriff:
-
In: Nanotechnology: Applications in Energy, Drug and Food; (2019) S. 423-439Online E-BookZugriff:
-
In: Reaction Kinetics, Mechanisms and Catalysis, Jg. 134 (2021-10-01), Heft 1, S. 163-177Online academicJournalZugriff:
-
In: Emergent Materials, 2024-02-06, S. 1-11Online academicJournalZugriff:
-
In: Pediatric Vitreoretinal Surgery; (2023) S. 283-295Online E-BookZugriff:
-
In: Brazilian Journal of Microbiology, Jg. 54 (2023-09-01), Heft 3, S. 1447-1458Online academicJournalZugriff:
-
In: Applied Nanoscience, Jg. 10 (2020-04-01), Heft 4, S. 1061-1071Online academicJournalZugriff:
-
In: MRS Communications, Jg. 13 (2023-04-01), Heft 2, S. 276-282Online academicJournalZugriff:
-
In: MRS Bulletin, Jg. 43 (2018-02-01), Heft 2, S. 106-111Online academicJournalZugriff:
-
In: TMS 2021 150th Annual Meeting & Exhibition Supplemental Proceedings; (2021) S. 316-328Online E-BookZugriff: