Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings

Recent trends in algebraic development techniques 26th IFIP WG 1.3 international workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022 : revised selected papers
Veröffentlicht: (2023)

Frontiers of combining systems 14th international symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023 : proceedings
Veröffentlicht: (2023)

Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Veröffentlicht: (2021)

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
Veröffentlicht: (2024)

Foundations of information and knowledge systems 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, proceedings
Veröffentlicht: (2020)

Applied computer sciences in engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019 : proceedings
Veröffentlicht: (2019)

Software technologies: applications and foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017 : revised selected papers
Veröffentlicht: (2018)

Chatbot research and design third international workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019 : revised selected papers
Veröffentlicht: (2020)

Chatbot research and design third international workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019 : revised selected papers
Veröffentlicht: (2020)

Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023 : proceedings
Veröffentlicht: (2023)

Automated analysis for knowledge based modelling
von: Conlon, Tom
Veröffentlicht: (1995)

Metadata and Semantic Research 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers
Veröffentlicht: (2022)

Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations Theories and Methodologies
von: Xu, Yejun
Veröffentlicht: (2023)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Veröffentlicht: (2022)

Transactions on Rough Sets XXIII
Veröffentlicht: (2022)

Information Processing and Management of Uncertainty in Knowledge-Based Systems 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part I
Veröffentlicht: (2022)

It's all about coordination essays to celebrate the lifelong scientific achievements of Farhad Arbab
Veröffentlicht: (2018)

Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings
Veröffentlicht: (2023)

TensorFlow 2 Pocket Primer
von: Campesato, Oswald
Veröffentlicht: (2019)

Logic and argumentation 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, proceedings
Veröffentlicht: (2021)

Data analytics and management in data intensive domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018 : revised selected papers
Veröffentlicht: (2019)

Inductive logic programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, revised selected papers
Veröffentlicht: (2015)

Embracing Risk Cyber Insurance as an Incentive Mechanism for Cybersecurity
von: Liu, Mingyan
Veröffentlicht: (2021)

Analytical Methods for Network Congestion Control
von: Low, Steven
Veröffentlicht: (2017)

BATS Codes Theory and Practice
von: Yang, Shenghao
Veröffentlicht: (2017)

Communication Networks A Concise Introduction, Second Edition
von: Walrand, Jean
Veröffentlicht: (2018)

Diffusion Source Localization in Large Networks
von: Ying, Lei
Veröffentlicht: (2018)

Network Connectivity Concepts, Computation, and Optimization
von: Chen, Chen, et al.
Veröffentlicht: (2022)

Multi-Armed Bandits Theory and Applications to Online Learning in Networks
von: Zhao, Qing
Veröffentlicht: (2020)

Evolving knowledge bases specification and semantics
von: Leite, Joao Alexandre
Veröffentlicht: (2003)

Evolving knowledge bases specification and semantics
von: Leite, João Alexandre
Veröffentlicht: (2003)

R-Calculus, IV: Propositional Logic
von: Li, Wei, et al.
Veröffentlicht: (2023)

R-calculus, IV: propositional logic
von: Li, Wei 1943-, et al.
Veröffentlicht: (2023)

Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings
Veröffentlicht: (2021)

Logics in artificial intelligence 17th European conference, JELIA 2021, virtual event, May 17–20, 2021, proceedings
Veröffentlicht: (2021)

OCaml Scientific Computing Functional Programming in Data Science and Artificial Intelligence
von: Wang, Liang, et al.
Veröffentlicht: (2022)