Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coloured petri nets 40 Treffer
- cpn 23 Treffer
- petri nets 23 Treffer
- colored petri nets 22 Treffer
- cpn tools 16 Treffer
-
45 weitere Werte:
- colored petri net 13 Treffer
- simulation 12 Treffer
- substitution transition 11 Treffer
- state space 10 Treffer
- uml 10 Treffer
- verification 8 Treffer
- input place 7 Treffer
- performance analysis 7 Treffer
- state space analysis 7 Treffer
- business process 6 Treffer
- data packet 6 Treffer
- model checking 6 Treffer
- modeling 6 Treffer
- petri net 6 Treffer
- celiac plexus neurolysis 5 Treffer
- formal methods 5 Treffer
- formal verification 5 Treffer
- full papers 5 Treffer
- message sequence chart 5 Treffer
- model check 5 Treffer
- modelling 5 Treffer
- reachability graph 5 Treffer
- case studies 4 Treffer
- cloud computing 4 Treffer
- code segment 4 Treffer
- coloured petri net 4 Treffer
- conformance checking 4 Treffer
- endoscopic ultrasound 4 Treffer
- higher-level net models 4 Treffer
- liveness property 4 Treffer
- occurrence sequence 4 Treffer
- planetary nebula 4 Treffer
- process mining 4 Treffer
- protocol verification 4 Treffer
- workflow net 4 Treffer
- access control 3 Treffer
- activity diagram 3 Treffer
- blockchain 3 Treffer
- business process management 3 Treffer
- celiac plexus block 3 Treffer
- central star 3 Treffer
- command post 3 Treffer
- common peroneal nerve 3 Treffer
- complex event processing 3 Treffer
- cyber-physical systems 3 Treffer
Verlag
- springer berlin heidelberg 220 Treffer
- springer international publishing 127 Treffer
- springer us 28 Treffer
- springer netherlands 18 Treffer
- springer singapore 17 Treffer
-
15 weitere Werte:
- springer nature singapore 10 Treffer
- springer nature switzerland 9 Treffer
- springer london 6 Treffer
- palgrave macmillan uk 4 Treffer
- j.f. bergmann-verlag 3 Treffer
- springer new york 3 Treffer
- sensepublishers 2 Treffer
- springer japan 2 Treffer
- birkhauser basel 1 Treffer
- humana press 1 Treffer
- physica-verlag hd 1 Treffer
- springer india 1 Treffer
- springer vienna 1 Treffer
- vieweg+teubner verlag 1 Treffer
- vs verlag fur sozialwissenschaften 1 Treffer
Publikation
- coloured petri nets : modelling and validation of concurrent systems 13 Treffer
- community psychiatric nursing : a research perspective 10 Treffer
- applications and theory of petri nets : 29th international conference, petri nets 2008, xi'an, china, june 23-27, 2008. proceedings 4 Treffer
- coloured petri nets : basic concepts, analysis methods and practical use 4 Treffer
- concurrent object-oriented programming and petri nets : advances in petri nets 4 Treffer
-
45 weitere Werte:
- application and theory of petri nets 1994 : 15th international conference zaragoza, spain, june 20-24, 1994 proceedings 3 Treffer
- application and theory of petri nets 2000 : 21st international conference, icatpn 2000 aarhus, denmark, june 26-30, 2000 proceedings 3 Treffer
- application and theory of petri nets 2002 : 23rd international conference, icatpn 2002 adelaide, australia, june 24-30, 2002 proceedings 3 Treffer
- applications and theory of petri nets 2003 : 24th international conference, icatpn 2003 eindhoven, the netherlands, june 23-27, 2003 proceedings 3 Treffer
- atlas of interventional eus : case-based strategies 3 Treffer
- coloured petri nets : basic concepts, analysis methods and practical use volume 1 3 Treffer
- high-level petri nets : theory and application 3 Treffer
- human centered computing : 5th international conference, hcc 2019, cacak, serbia, august 5-7, 2019, revised selected papers 3 Treffer
- information sciences and systems 2014 : proceedings of the 29th international symposium on computer and information sciences 3 Treffer
- lectures on concurrency and petri nets : advances in petri nets 3 Treffer
- planetary nebulae : proceedings of the 131st symposium of the international astronomical union, held in mexico city, mexico, october 5-9, 1987 3 Treffer
- achtzigster kongress : gehalten zu wiesbaden vom 21.-25. april 1974 2 Treffer
- advancements in smart city and intelligent building : proceedings of the international conference on smart city and intelligent building (icscib 2018) 2 Treffer
- advances in neural networks - isnn 2004 : international symposium on neural networks, dalian, china, august 19-21, 2004, proceedings, part ii 2 Treffer
- application and theory of petri nets : 33rd international conference, petri nets 2012, hamburg, germany, june 25-29, 2012. proceedings 2 Treffer
- application and theory of petri nets 1996 : 17th international conference osaka, japan, june 24-28, 1996 proceedings 2 Treffer
- application and theory of petri nets 1999 : 20th international conference, icatpn'99 williamsburg, virginia, usa, june 21-25, 1999 proceedings 2 Treffer
- application and theory of petri nets and concurrency : 34th international conference, petri nets 2013, milan, italy, june 24-28, 2013. proceedings 2 Treffer
- application and theory of petri nets and concurrency : 38th international conference, petri nets 2017, zaragoza, spain, june 25-30, 2017, proceedings 2 Treffer
- application and theory of petri nets and concurrency : 43rd international conference, petri nets 2022, bergen, norway, june 19-24, 2022, proceedings 2 Treffer
- applications and theory of petri nets : 30th international conference, petri nets 2009, paris, france, june 22-26, 2009. proceedings 2 Treffer
- artificial neural networks - icann 2006 : 16th international conference, athens, greece, september 10-14, 2006. proceedings, part i 2 Treffer
- beyond databases, architectures, and structures : 10th international conference, bdas 2014, ustron, poland, may 27-30, 2014. proceedings 2 Treffer
- business process management workshops : bpm 2011 international workshops, clermont-ferrand, france, august 29, 2011, revised selected papers, part ii 2 Treffer
- business process management workshops : bpm 2014 international workshops, eindhoven, the netherlands, september 7-8, 2014, revised papers 2 Treffer
- cellular trafficking of cell stress proteins in health and disease 2 Treffer
- converging clinical and engineering research on neurorehabilitation 2 Treffer
- encyclopedia of genetics, genomics, proteomics and informatics 2 Treffer
- encyclopedia of systems and control 2 Treffer
- interest rate modelling in the multi-curve framework : foundations, evolution and implementation 2 Treffer
- kinins iv : part a proceedings of the fourth international kinin congress, held october 21-25, 1984, in savannah, georgia 2 Treffer
- model-based methodologies for pervasive and embedded software : 8th international workshop, mompes 2012, essen, germany, september 4, 2012. revised papers 2 Treffer
- moonlighting cell stress proteins in microbial infections 2 Treffer
- on the move to meaningful internet systems 2005: coopis, doa, and odbase : otm confederated international conferences, coopis, doa, and odbase 2005, agia napa, cyprus, october 31 - november 4, 2005, proceedings, part i 2 Treffer
- perspectives of systems informatics : 7th international andrei ershov memorial conference, psi 2009, novosibirsk, russia, june 15-19, 2009. revised papers 2 Treffer
- petri nets and other models of concurrency - icatpn 2006 : 27th international conference on applications and theory of petri nets and other models of concurrency, turku, finland, june 26-30, 2006. proceedings 2 Treffer
- planetary nebulae : proceedings of the 155th symposium of the international astronomical union, held in innsbruck, austria, july 13-17, 1992 2 Treffer
- software engineering and formal methods : sefm 2013 collocated workshops: beat2, ws-fmds, fm-rail-bok, mokmasd, and opencert, madrid, spain, september 23-24, 2013, revised selected papers 2 Treffer
- the multiple ligament injured knee : a practical guide to management 2 Treffer
- tools and algorithms for the construction and analysis of systems : 7th international conference, tacas 2001 held as part of the joint european conferences on theory and practice of software, etaps 2001 genova, italy, april 2-6, 2001 proceedings 2 Treffer
- tools and algorithms for the construction and analysis of systems : third international workshop, tacas'97 enschede, the netherlands, april 2-4, 1997 proceedings 2 Treffer
- transactions on petri nets and other models of concurrency iii 2 Treffer
- transactions on petri nets and other models of concurrency vii 2 Treffer
- transactions on petri nets and other models of concurrency xi 2 Treffer
- "smart technologies" for society, state and economy 1 Treffer
Sprache
456 Treffer
-
In: Computational and Strategic Business Modelling : IC-BIM 2021, Athens, Greece; (2024) S. 69-77Online E-BookZugriff:
-
2020Online E-BookZugriff:
-
2021Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
In: Digital Disruption in Health Care; (2022) S. 69-90Online E-BookZugriff:
-
In: Advances in Design, Simulation and Manufacturing V : Proceedings of the 5th International Conference on Design, Simulation, Manufacturing: The Innovation Exchange, DSMIE-2022, June 7–10, 2022, Poznan, Poland – Volume 2: Mechanical and Chemical Engineering; (2022) S. 33-46Online E-BookZugriff:
-
2016Online E-BookZugriff:
-
In: Complex Systems Design & Management : Proceedings of the Fifth International Conference on Complex Systems Design & Management CSD&M 2014; (2015) S. 175-192Online E-BookZugriff:
-
In: Pocket Guide to Advanced Endoscopy in Gastroenterology; (2023) S. 63-78Online E-BookZugriff:
-
2012Online E-BookZugriff: