Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Springer Nature eBooks 810 Treffer
- Gale In Context: High School 9 Treffer
- Gale In Context: Canada 9 Treffer
- Gale eBooks 9 Treffer
- British Standards Online 8 Treffer
-
53 weitere Werte:
- CogPrints 8 Treffer
- HBO Kennisbank 8 Treffer
- IBISWorld 8 Treffer
- Idunn.no 8 Treffer
- IndianJournals.com 8 Treffer
- LUNA Commons 8 Treffer
- BiblioBoard 8 Treffer
- ProjectMUSE 8 Treffer
- RAMBI 8 Treffer
- SciELO 8 Treffer
- Swedish National Bibliography 8 Treffer
- Knovel 8 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 8 Treffer
- NARCIS 8 Treffer
- Aerospace Research Central 4 Treffer
- Credo Reference 4 Treffer
- Latin American Open Archives Portal 4 Treffer
- Making of the Modern World 4 Treffer
- SZ LibraryNet 4 Treffer
- Zad Conference Proceedings 4 Treffer
- Zad Newspapers 4 Treffer
- eBook Index 3 Treffer
- Gale Literature: Book Review Index 1 Treffer
- Library Stack 1 Treffer
- Manuvo Make-Make 1 Treffer
- MGG Online 1 Treffer
- SMART Imagebase 1 Treffer
- F1000Research 1 Treffer
- Theologische Realenzyklopädie Online 1 Treffer
- Wiley Digital Archives 1 Treffer
- Oxford Handbooks Online 1 Treffer
- University Press Scholarship Online 1 Treffer
- Oxford Research Encyclopedias 1 Treffer
- Economist Historical Archive 1 Treffer
- Digitalia Hispanica 1 Treffer
- Roubini Global Economics 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- Oxford Medicine Online 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Oxford Bibliographies 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Oxford African American Studies Center 1 Treffer
- Gale Literature Resource Center 1 Treffer
- Center for Research Libraries 1 Treffer
- Oxford Public International Law 1 Treffer
- African Journals 1 Treffer
- ARC Reports 1 Treffer
- BC Open Textbook Project 1 Treffer
- Central and Eastern European Online Library (CEEOL) 1 Treffer
- Dialnet 1 Treffer
- DigiBib.Zorg 1 Treffer
- Digitalia Public Libraries 1 Treffer
- PsycheVisual 1 Treffer
Art der Quelle
Schlagwort
- model check 75 Treffer
- temporal logic 43 Treffer
- reachability problem 34 Treffer
- winning strategy 33 Treffer
- label transition system 29 Treffer
-
45 weitere Werte:
- regular language 26 Treffer
- security protocol 25 Treffer
- time automaton 25 Treffer
- atomic proposition 20 Treffer
- tree automaton 19 Treffer
- atomic formula 18 Treffer
- equational theory 17 Treffer
- expressive power 15 Treffer
- function symbol 15 Treffer
- modal logic 15 Treffer
- transition system 15 Treffer
- markov decision process 14 Treffer
- linear temporal logic 13 Treffer
- petri nets 13 Treffer
- counter machine 12 Treffer
- hybrid automaton 12 Treffer
- parallel composition 12 Treffer
- predicate symbol 11 Treffer
- decision procedure 10 Treffer
- reachable state 10 Treffer
- stochastic game 10 Treffer
- hybrid system 9 Treffer
- operational semantic 9 Treffer
- partial order 9 Treffer
- reachability analysis 9 Treffer
- separation logic 9 Treffer
- counter system 8 Treffer
- cryptographic protocol 8 Treffer
- nash equilibrium 8 Treffer
- reachability graph 8 Treffer
- turing machine 8 Treffer
- clock constraint 7 Treffer
- concurrent system 7 Treffer
- ground term 7 Treffer
- horn clause 7 Treffer
- kripke structure 7 Treffer
- mutual exclusion 7 Treffer
- process algebra 7 Treffer
- security property 7 Treffer
- symbolic model 7 Treffer
- symbolic state 7 Treffer
- timed automata 7 Treffer
- transition rule 7 Treffer
- transitive closure 7 Treffer
- verification 7 Treffer
Verlag
- springer berlin heidelberg 551 Treffer
- springer international publishing 205 Treffer
- springer fachmedien wiesbaden 14 Treffer
- springer london 11 Treffer
- gale, cengage learning 7 Treffer
-
28 weitere Werte:
- springer new york 7 Treffer
- oxford university press 4 Treffer
- springer us 4 Treffer
- springer singapore 3 Treffer
- american society of civil engineers (asce) 2 Treffer
- atlantis press international bv 2 Treffer
- j.b. metzler 2 Treffer
- palgrave macmillan uk 2 Treffer
- springer nature singapore 2 Treffer
- springer netherlands 2 Treffer
- wiley-iste 2 Treffer
- wolters kluwer health, lippincott williams & wilkins 2 Treffer
- astm international 1 Treffer
- birkhauser basel 1 Treffer
- cambridge university press 1 Treffer
- deutscher universitatsverlag 1 Treffer
- elsevier 1 Treffer
- elsevier science & technology 1 Treffer
- elsevier, inc 1 Treffer
- faculty of political sciences - university of belgrade 1 Treffer
- fakultet politickih nauka univerziteta u beogradu 1 Treffer
- humana press 1 Treffer
- mcfarland 1 Treffer
- royal society of chemistry (rsc) 1 Treffer
- springer gabler 1 Treffer
- springer nature switzerland 1 Treffer
- trans tech publications 1 Treffer
- vs verlag fur sozialwissenschaften 1 Treffer
Publikation
- computer aided verification : 13th international conference, cav 2001 paris, france, july 18-22, 2001 proceedings 48 Treffer
- computer science logic : 15th international workshop, csl 2001 10th annual conference of the eacsl paris, france, september 10-13, 2001, proceedings 42 Treffer
- concur 2010 - concurrency theory : 21th international conference, concur 2010, paris, france, august 31-september 3, 2010. proceedings 40 Treffer
- formal modeling and analysis of timed systems : 4th international conference, formats 2006, paris, france, september 25-27, 2006. proceedings 25 Treffer
- application and theory of petri nets and concurrency : 40th international conference, petri nets 2019, aachen, germany, june 23-28, 2019, proceedings 24 Treffer
-
45 weitere Werte:
- application and theory of petri nets and concurrency : 41st international conference, petri nets 2020, paris, france, june 24-25, 2020, proceedings 23 Treffer
- formal modeling and analysis of timed systems : 11th international conference, formats 2013, buenos aires, argentina, august 29-31, 2013. proceedings 18 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
- reachability problems : 6th international workshop, rp 2012, bordeaux, france, september 17-19, 2012. proceedings 12 Treffer
- vade mecum fur unternehmenskaufe 10 Treffer
- phlebology '95 : proceedings of the xii world congress union internationale de phlebologie, london 3-8 september 1995 volume 1 8 Treffer
- acronyms, initialisms & abbreviations dictionary 6 Treffer
- concur 2012 - concurrency theory : 23rd international conference, concur 2012, newcastle upon tyne, uk, september 4-7, 2012. proceedings 6 Treffer
- foundations of software science and computational structures : 11th international conference, fossacs 2008, held as part of the joint european conferences on theory and practice of software, etaps 2008, budapest, hungary, march 29 - april 6, 2008. proceedings 6 Treffer
- mathematical foundations of computer science 2011 : 36th international symposium, mfcs 2011, warsaw, poland, august 22-26, 2011. proceedings 6 Treffer
- automata, languages and programming : 38th international colloquium, icalp 2011, zurich, switzerland, july 4-8, 2011, proceedings, part ii 5 Treffer
- concur 2008 - concurrency theory : 19th international conference, concur 2008, toronto, canada, august 19-22, 2008. proceedings 5 Treffer
- foundations of software science and computation structures : 17th international conference, fossacs 2014, held as part of the european joint conferences on theory and practice of software, etaps 2014, grenoble, france, april 5-13, 2014, proceedings 5 Treffer
- fsttcs 2007: foundations of software technology and theoretical computer science : 27th international conference, new delhi, india, december 12-14, 2007. proceedings 5 Treffer
- reachability problems : 8th international workshop, rp 2014, oxford, uk, september 22-24, 2014. proceedings 5 Treffer
- automata, languages and programming : 36th internatilonal collogquium, icalp 2009, rhodes, greece, july 5-12, 2009, proceedings, part ii 4 Treffer
- automata, languages and programming : 37th international colloquium, icalp 2010, bordeaux, france, july 6-10, 2010, proceedings, part ii 4 Treffer
- automata, languages, and programming : 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii 4 Treffer
- automated technology for verification and analysis : 11th international symposium, atva 2013, hanoi, vietnam, october 15-18, 2013. proceedings 4 Treffer
- automated technology for verification and analysis : 4th international symposium, atva 2006, beijing, china, october 23-26, 2006. proceedings 4 Treffer
- concur 2005 - concurrency theory : 16th international conference, concur 2005, san francisco, ca, usa, august 23-26, 2005. proceedings 4 Treffer
- concur 2011 - concurrency theory : 22nd international conference, concur 2011, aachen, germany, september 6-9, 2011. proceedings 4 Treffer
- concur 2014 - concurrency theory : 25th international conference, concur 2014, rome, italy, september 2-5, 2014. proceedings 4 Treffer
- logical foundations of computer science : international symposium, lfcs 2007, new york, ny, usa, june 4-7, 2007. proceedings 4 Treffer
- mathematical foundations of computer science 2010 : 35th international symposium, mfcs 2010, brno, czech republic, august 23-27, 2010. proceedings 4 Treffer
- preventing lethal school violence 4 Treffer
- reachability problems : 10th international workshop, rp 2016, aalborg, denmark, september 19-21, 2016, proceedings 4 Treffer
- deep foundations and geotechnical in situ testing - proceedings of sessions of geoshanghai 2010, june 3-5, 2010 shanghai, china 2 Treffer
- stedman's medical abbreviations, acronyms & symbols 2 Treffer
- acronyms, initialisms, & abbreviations dictionary 1 Treffer
- acronyms, initialisms, and abbreviations dictionary 1 Treffer
- advances in composites, part 1 1 Treffer
- cambridge aerospace dictionary (2nd edition) 1 Treffer
- dictionary of construction, surveying and civil engineering 1 Treffer
- dictionary of virology 1 Treffer
- electrochemical and analytical techniques for sustainable corrosion monitoring - advances, challenges, and opportunities 1 Treffer
- encyclopedia of electrochemical power sources 1 Treffer
- graphene-based 3d macrostructures for clean energy and environmental applications 1 Treffer
- osh post-operative complications 1 Treffer
- paint and coating testing manual - fifteenth edition of the gardner-sward handbook: (mnl 17-2nd) 1 Treffer
- parties and public politics 1 Treffer
- stranke i javne politike : izbori u srbiji 2016. godine 1 Treffer
- the oxford handbook of african american language: 1 Treffer
- the seafaring dictionary: terms, idioms and legends of the past and present 1 Treffer
Sprache
838 Treffer
-
In: Electrochemical and Analytical Techniques for Sustainable Corrosion Monitoring - Advances, Challenges, and Opportunities; (2023)Online E-BookZugriff:
-
In: Stranke i javne politike : Izbori u Srbiji 2016. godine / Parties and Public Politics; (2017) S. 213-222BuchZugriff:
-
In: Graphene-Based 3D Macrostructures for Clean Energy and Environmental Applications; (2021)Online E-BookZugriff:
-
In: Stedman's Medical Abbreviations, Acronyms & Symbols; (2013)Online E-BookZugriff:
-
In: Pädiatrische Netzhauterkrankungen : Von der Angiographie zur Vitrektomie; (2023) S. 177-186Online E-BookZugriff:
-
In: Dictionary of Virology; (2009)Online E-BookZugriff:
-
In: The Seafaring Dictionary: Terms, Idioms and Legends of the Past and Present; (2009)Online E-BookZugriff:
-
In: Virus Diseases of Ornamental Plants : Characterization, Identification, Diagnosis and Management; (2021) S. 277-299Online E-BookZugriff:
-
In: Dictionary of Construction, Surveying and Civil Engineering; (2012)Online E-BookZugriff:
-
In: Paint and Coating Testing Manual - Fifteenth Edition of the Gardner-Sward Handbook: (MNL 17-2nd); (2012)Online E-BookZugriff:
-
In: Advances in Composites, Part 1; (2011)Online E-BookZugriff:
-
In: Deep Foundations and Geotechnical in situ Testing - Proceedings of Sessions of GeoShanghai 2010, June 3-5, 2010 Shanghai, China; (2010)Online E-BookZugriff:
-
In: Deep Foundations and Geotechnical in situ Testing - Proceedings of Sessions of GeoShanghai 2010, June 3-5, 2010 Shanghai, China; (2010)Online E-BookZugriff:
-
2015BuchZugriff:
-
-
2019Online E-BookZugriff:
-
In: Pediatric Retinal Vascular Diseases : From Angiography to Vitrectomy; (2019) S. 163-171Online E-BookZugriff:
-
2013BuchZugriff:
-
2012BuchZugriff:
