Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
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
- springer new york 7 Treffer
-
12 weitere Werte:
- springer us 4 Treffer
- springer singapore 3 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
- birkhauser basel 1 Treffer
- deutscher universitatsverlag 1 Treffer
- humana press 1 Treffer
- springer nature switzerland 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
- 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
- reachability problems : 7th international workshop, rp 2013, uppsala, sweden, september 24-26, 2013 proceedings 4 Treffer
- advances in computer science - asian 2009. information security and privacy : 13th asian computing science conference, seoul, korea, december 14-16, 2009. proceedings 3 Treffer
- application and theory of petri nets and concurrency : 34th international conference, petri nets 2013, milan, italy, june 24-28, 2013. proceedings 3 Treffer
- automated technology for verification and analysis : 12th international symposium, atva 2014, sydney, nsw, australia, november 3-7, 2014, proceedings 3 Treffer
- computer aided verification : 25th international conference, cav 2013, saint petersburg, russia, july 13-19, 2013. proceedings 3 Treffer
- concur 2013 - concurrency theory : 24th international conference, concur 2013, buenos aires, argentina, august 27-30, 2013. proceedings 3 Treffer
- foundations of software science and computation structures : 16th international conference, fossacs 2013, held as part of the european joint conferences on theory and practice of software, etaps 2013, rome, italy, march 16-24, 2013. proceedings 3 Treffer
- foundations of software science and computation structures : 19th international conference, fossacs 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, 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
- foundations of software science and computational structures : 10th international conference, fossacs 2007, held as part of the joint european conferences on theory and practice of software, etaps 2007, braga, portugal, march 24-april 1, 2007. proceedings 3 Treffer
- foundations of software science and computational structures : 12th international conference, fossacs 2009, held as part of the joint european conferences on theory and practice of software, etaps 2009, york, uk, march 22-29, 2009. proceedings 3 Treffer
- fsttcs 2006: foundations of software technology and theoretical computer science : 26th international conference, kolkata, india, december 13-15, 2006. proceedings 3 Treffer
- logic for programming, artificial intelligence, and reasoning : 15th international conference, lpar 2008, doha, qatar, november 22-27, 2008. proceedings 3 Treffer
- principles of security and trust : first international conference, post 2012, held as part of the european joint conferences on theory and practice of software, etaps 2012, tallinn, estonia, march 24 - april 1, 2012, proceedings 3 Treffer
- reachability problems : 11th international workshop, rp 2017, london, uk, september 7-9, 2017, proceedings 3 Treffer
- reachability problems : 5th international workshop, rp 2011, genoa, italy, september 28-30, 2011. proceedings 3 Treffer
- reachability problems : 9th international workshop, rp 2015, warsaw, poland, september 21-23, 2015, proceedings 3 Treffer
- rewriting techniques and applications : 20th international conference, rta 2009 brasilia, brazil, june 29 - july 1, 2009 proceedings 3 Treffer
Sprache
810 Treffer
-
In: Pädiatrische Netzhauterkrankungen : Von der Angiographie zur Vitrektomie; (2023) S. 177-186Online E-BookZugriff:
-
In: Virus Diseases of Ornamental Plants : Characterization, Identification, Diagnosis and Management; (2021) S. 277-299Online E-BookZugriff:
-
2019Online E-BookZugriff:
-
In: Pediatric Retinal Vascular Diseases : From Angiography to Vitrectomy; (2019) S. 163-171Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
In: Landslide Science for a Safer Geoenvironment : Volume 2: Methods of Landslide Studies; (2014) S. 397-403Online E-BookZugriff:
-
In: Laser Techniques for Fluid Mechanics : Selected Papers from the 10th International Symposium Lisbon, Portugal July 10–13, 2000; (2002) S. 305-320Online E-BookZugriff:
-
In: Phlebology ’95 : Proceedings of the XII World Congress Union Internationale de Phlébologie, London 3–8 September 1995 Volume 1; (1995) S. 454-457Online E-BookZugriff:
-
In: Contemporary Electroanalytical Chemistry; (1990) S. 413-418Online E-BookZugriff:
-
In: Phlebology ’95 : Proceedings of the XII World Congress Union Internationale de Phlébologie, London 3–8 September 1995 Volume 1; (1995) S. 494-494Online E-BookZugriff:
-
In: Endoscopic Cardiac Surgery : Tips, Tricks and Traps; (2023) S. 109-127Online E-BookZugriff:
-
In: Proceedings of the 1st International Conference of New Energy : ICNE 2022, 1-2 Dec, Sarawak, Malaysia; (2023) S. 125-134Online E-BookZugriff:
-
In: Bewertung von Finanzderivaten mit Python : Derivate, Modelle, Methoden; (2023) S. 591-631Online E-BookZugriff:
-
In: Elektromobilität und die Rolle der Energiewirtschaft : Rechte und Pflichten eines Ladesäulenbetreibers; (2020) S. 17-34Online E-BookZugriff: