Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- cpn 13 Treffer
- cpn tools 9 Treffer
- colored petri nets 7 Treffer
- coloured petri nets 5 Treffer
- uml 4 Treffer
-
45 weitere Werte:
- petri nets 3 Treffer
- software process 3 Treffer
- verification 3 Treffer
- activity diagram 2 Treffer
- autonomous agents 2 Treffer
- colored petri net 2 Treffer
- cooperation 2 Treffer
- formal methods 2 Treffer
- formalization 2 Treffer
- model simulation 2 Treffer
- owl 2 Treffer
- performance analysis 2 Treffer
- petri net 2 Treffer
- reliability 2 Treffer
- robots 2 Treffer
- solitons monopoles and instantons 2 Treffer
- 1/n expansion 1 Treffer
- 5-hmc 1 Treffer
- agent approach 1 Treffer
- aldh5a1 1 Treffer
- algorithm analysis 1 Treffer
- analysis method 1 Treffer
- artifact 1 Treffer
- automated analysis 1 Treffer
- automatic generation algorithm 1 Treffer
- availability analysis 1 Treffer
- b method 1 Treffer
- back propagation neural network (bpn) 1 Treffer
- bandwidth sharing 1 Treffer
- bio-control 1 Treffer
- blood-brain barrier (bbb) 1 Treffer
- bounded model checking 1 Treffer
- brain cancer 1 Treffer
- business process 1 Treffer
- cancer stem cell 1 Treffer
- chemical composition 1 Treffer
- cloud 1 Treffer
- cognitive packet network 1 Treffer
- colored petri net (cpn) 1 Treffer
- colored petri-nets 1 Treffer
- coloured petri net 1 Treffer
- communication networks 1 Treffer
- complexity function 1 Treffer
- computer tools 1 Treffer
- conflict detection 1 Treffer
Publikation
- lecture notes in computer science 23 Treffer
- advances in intelligent systems and computing 11 Treffer
- communications in computer and information science 4 Treffer
- lecture notes in electrical engineering 4 Treffer
- international journal on software tools for technology transfer 3 Treffer
-
45 weitere Werte:
- lecture notes of the institute for computer sciences, social-informatics and telecommunications engineering, lnicst 3 Treffer
- journal of high energy physics 2 Treffer
- lecture notes in business information processing 2 Treffer
- acta neuropathologica 1 Treffer
- advancements in smart city and intelligent building - proceedings of the international conference on smart city and intelligent building icscib 2018 1 Treffer
- advances in computer science and ubiquitous computing - csa-cute2016 1 Treffer
- algorithms and architectures for parallel processing - 15th international conference, ica3pp 2015, proceedings 1 Treffer
- application and theory of petri nets 1996 - 17th international conference, proceedings 1 Treffer
- application and theory of petri nets 1999 - 20th international conference, icatpn 1999, proceedings 1 Treffer
- application and theory of petri nets and concurrency - 37th international conference, petri nets 2016, proceedings 1 Treffer
- beyond databases, architectures and structures - 10th international conference, bdas 2014, proceedings 1 Treffer
- business process management workshops - bpm 2013 international workshops, revised papers 1 Treffer
- cell and tissue research 1 Treffer
- china satellite navigation conference (csnc) 2018 proceedings - volume iii 1 Treffer
- collaborative computing: networking, applications and worksharing - 14th eai international conference, collaboratecom 2018, proceedings 1 Treffer
- computer networks - 23rd international conference, cn 2016, proceedings 1 Treffer
- computer safety, reliability, and security - afecomp 2015 workshops assure, decsos, isse, resa4ci, and sassur, proceedings 1 Treffer
- computer safety, reliability, and security, safecomp 2016 - workshops assure, decsos, sassur, and tips, proceedings 1 Treffer
- environmental science and pollution research 1 Treffer
- european transport research review 1 Treffer
- formal methods: foundations and applications - 18th brazilian symposium, sbmf 2015, proceedings 1 Treffer
- information technology - new generations - 14th international conference on information technology 1 Treffer
- information technology: new generations - 13th international conference on information technology 1 Treffer
- intelligent computing - proceedings of the 2018 computing conference 1 Treffer
- international journal of information security 1 Treffer
- managing traffic performance in converged networks - 20th international teletraffic congress, itc20 2007, proceedings 1 Treffer
- mobile networks and management - 8th international conference, monami 2016, revised selected papers 1 Treffer
- model and data engineering - 8th international conference, medi 2018, proceedings 1 Treffer
- proceedings of the 2nd international afro-european conference for industrial advancement, aecia 2015 1 Treffer
- proceedings of the 3rd international conference on electrical and information technologies for rail transportation, eitrt 2017 - transportation 1 Treffer
- proceedings of the 4th international conference on computer engineering and networks, cenet2014 1 Treffer
- proceedings of the 5th international conference on innovations in bio-inspired computing and applications, ibica 2014 1 Treffer
- proceedings of the international conference on advanced intelligent systems and informatics 2017 1 Treffer
- proceedings of the international congress on information and communication technology, icict 2015 1 Treffer
- quality, reliability, security and robustness in heterogeneous networks - 12th international conference, qshine 2016, proceedings 1 Treffer
- security, privacy, and anonymity in computation, communication, and storage - spaccs 2017 international workshops, proceedings 1 Treffer
- service-oriented computing - icsoc 2014 workshops - wesoa; semaps, rmsoc, kasa, isc, for-moves, ccsa and satellite events, revised selected papers 1 Treffer
- simulation and modeling methodologies, technologies and applications - international conference, simultech 2014, selected papers 1 Treffer
- software and systems modeling 1 Treffer
- software engineering and formal methods - sefm 2013 collocated workshops: beat2, ws-fmds, fm-rail-bok, mokmasd, and opencert, revised selected papers 1 Treffer
- tools and algorithms for the construction and analysis of systems - 3rd international workshop, tacas 1997, proceedings 1 Treffer
- transactions on petri nets and other models of concurrency vii 1 Treffer
- trends in cyber-physical multi-agent systems. the paams collection - 15th international conference, paams 2017 1 Treffer
- trusted systems - 6th international conference, intrust 2014, revised selected papers 1 Treffer
- uml 2002 - the unified modeling language: model engineering, concepts, and tools - 5th international conference, proceedings 1 Treffer
Sprache
58 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!BuchZugriff: