Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 25 Treffer
- model checking 18 Treffer
- event-b 17 Treffer
- tla 15 Treffer
- business 12 Treffer
-
45 weitere Werte:
- business.industry 12 Treffer
- formal verification 11 Treffer
- computer 9 Treffer
- computer.software_genre 8 Treffer
- formal methods 7 Treffer
- abstract state machines 6 Treffer
- landing gear 6 Treffer
- programming language 6 Treffer
- refinement 6 Treffer
- theoretical computer science 6 Treffer
- verification 6 Treffer
- proof obligation 5 Treffer
- [info]computer science [cs] 4 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- 05 social sciences 4 Treffer
- algorithm 4 Treffer
- b-method 4 Treffer
- context (language use) 4 Treffer
- correctness 4 Treffer
- engineering 4 Treffer
- formal specification 4 Treffer
- multilingualism 4 Treffer
- original article 4 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- abstract state machine 3 Treffer
- asphalt concrete 3 Treffer
- automated theorem proving 3 Treffer
- computing module 3 Treffer
- concurrency 3 Treffer
- consensus 3 Treffer
- formal semantics 3 Treffer
- language learning strategies 3 Treffer
- learning architecture 3 Treffer
- mathematics education 3 Treffer
- model checker 3 Treffer
- psychology 3 Treffer
- set (abstract data type) 3 Treffer
- specification 3 Treffer
- theorem proving 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- tla + 3 Treffer
- tla+ 3 Treffer
- [info.info-ni]computer science [cs]/networking and internet architecture [cs.ni] 2 Treffer
Publikation
- abstract state machines, alloy, b, tla, vdm, and z : 6th international conference, abz 2018, southampton, uk, june 5-8, 2018, proceedings 35 Treffer
- abstract state machines, alloy, b, tla, vdm, and z : 5th international conference, abz 2016, linz, austria, may 23-27, 2016, proceedings 34 Treffer
- abz 2014: the landing gear case study : case study track, held at the 4th international conference on abstract state machines, alloy, b, tla, vdm, and z, toulouse, france, june 2-6, 2014. proceedings 12 Treffer
- drugs 3 Treffer
- international research on multilingualism: breaking with the monolingual perspective 3 Treffer
-
45 weitere Werte:
- proceedings of the rilem international symposium on bituminous materials : isbm lyon 2020 3 Treffer
- formal methods : 24th international symposium, fm 2021, virtual event, november 20-26, 2021, proceedings 2 Treffer
- language awareness and multilingualism 2 Treffer
- adaptive instructional systems : second international conference, ais 2020, held as part of the 22nd hci international conference, hcii 2020, copenhagen, denmark, july 19-24, 2020, proceedings 1 Treffer
- advanced information networking and applications : proceedings of the 36th international conference on advanced information networking and applications (aina-2022), volume 3 1 Treffer
- advances in artificial intelligence: from theory to practice : 30th international conference on industrial engineering and other applications of applied intelligent systems, iea/aie 2017, arras, france, june 27-30, 2017, proceedings, part i 1 Treffer
- advances in human factors in cybersecurity : proceedings of the ahfe 2017 international conference on human factors in cybersecurity, july 17−21, 2017, the westin bonaventure hotel, los angeles, california, usa 1 Treffer
- advances in human factors in cybersecurity : proceedings of the ahfe 2018 international conference on human factors in cybersecurity, july 21-25, 2018, loews sapphire falls resort at universal studios, orlando, florida, usa 1 Treffer
- advances in spatial science 1 Treffer
- advances in sustainable and competitive manufacturing systems : 23rd international conference on flexible automation & intelligent manufacturing 1 Treffer
- annals of mathematics and artificial intelligence 1 Treffer
- business process management : 17th international conference, bpm 2019, vienna, austria, september 1-6, 2019, proceedings 1 Treffer
- clinical and laboratory medicine textbook 1 Treffer
- cognitive implications for raising cross-language awareness in foreign language acquisition 1 Treffer
- critical systems: formal methods and automated verification : joint 21st international workshop on formal methods for industrial critical systems and 16th international workshop on automated verification of critical systems, fmics-avocs 2016, pisa, italy, september 26-28, 2016, proceedings 1 Treffer
- cultural views on online learning in higher education : a seemingly borderless class 1 Treffer
- databases and information systems : 13th international baltic conference, db&is 2018, trakai, lithuania, july 1-4, 2018, proceedings 1 Treffer
- discourse analytic perspectives on stem education : exploring interaction and learning in the multilingual classroom 1 Treffer
- ejnmmi phys 1 Treffer
- ejnmmi physics 1 Treffer
- engineering multi-agent systems : second international workshop, emas 2014, paris, france, may 5-6, 2014, revised selected papers 1 Treffer
- environmental monitoring and assessment: an international journal devoted to progress in the use of monitoring data in assessing environmental risks to humans and the environment 1 Treffer
- eur biophys j 1 Treffer
- eurasip journal on wireless communications and networking 1 Treffer
- european biophysics journal: with biophysics letters 1 Treffer
- formal techniques for distributed objects, components, and systems : 41st ifip wg 6.1 international conference, forte 2021, held as part of the 16th international federated conference on distributed computing techniques, discotec 2021, valletta, malta, june 14-18, 2021, proceedings 1 Treffer
- foundational and practical aspects of resource analysis : third international workshop, fopara 2013, bertinoro, italy, august 29-31, 2013, revised selected papers 1 Treffer
- from reactive systems to cyber-physical systems : essays dedicated to scott a. smolka on the occasion of his 65th birthday 1 Treffer
- hci international 2021 - late breaking papers: cognition, inclusion, learning, and culture : 23rd hci international conference, hcii 2021, virtual event, july 24-29, 2021, proceedings 1 Treffer
- higher education learning methodologies and technologies online : third international workshop, helmeto 2021, pisa, italy, september 9-10, 2021, revised selected papers 1 Treffer
- human-computer interaction. novel user experiences : 18th international conference, hci international 2016, toronto, on, canada, july 17-22, 2016. proceedings, part iii 1 Treffer
- inflammopharmacology 1 Treffer
- inflammopharmacology: experimental and therapeutic studies 1 Treffer
- innovative security solutions for information technology and communications : 11th international conference, secitc 2018, bucharest, romania, november 8-9, 2018, revised selected papers 1 Treffer
- j endocrinol invest 1 Treffer
- journal of endocrinological investigation: official journal of italian society of endocrinology (sie) 1 Treffer
- journal of racial and ethnic health disparities 1 Treffer
- journal of radioanalytical and nuclear chemistry: an international journal dealing with all aspects and applications of nuclear chemistry 1 Treffer
- knowledge science, engineering and management : 9th international conference, ksem 2016, passau, germany, october 5-7, 2016, proceedings 1 Treffer
- landslide dynamics: isdr-icl landslide interactive teaching tools 1 Treffer
- landslide dynamics: isdr-icl landslide interactive teaching tools : volume 2: testing, risk management and country practices 1 Treffer
- languages and compilers for parallel computing : 27th international workshop, lcpc 2014, hillsboro, or, usa, september 15-17, 2014, revised selected papers 1 Treffer
- learning analytics: fundaments, applications, and trends : a view of the current state of the art to enhance e-learning 1 Treffer
- sports medicine open 1 Treffer
- world journal of surgery: official journal of the international society of surgery/societe internationale de chirurgie 1 Treffer
Sprache
Geographischer Bezug
271 Treffer
-
In: Journal of Radioanalytical and Nuclear Chemistry: An International Journal Dealing with All Aspects and Applications of Nuclear Chemistry, Jg. 323 (2020-03-01), Heft 3, S. 1209-1216Online academicJournalZugriff:
-
2018Online E-BookZugriff:
-
In: Cognitive Implications for Raising Cross-language Awareness in Foreign Language Acquisition; (2023) S. 159-188Online E-BookZugriff:
-
2016Online E-BookZugriff:
-
2016Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff:
-
2018Online E-BookZugriff: