Discrete mathematics and graph theory a concise study companion and guide von Erciyes, Kayhan

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover

Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I

kostenfrei
kostenfrei

Frontiers of combining systems 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, proceedings

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers

Functional and constraint logic programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Logics in artificial intelligence 17th European conference, JELIA 2021, virtual event, May 17–20, 2021, proceedings

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers

Rigorous state-based methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Structured object-oriented formal language and method 10th international workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, revised selected papers

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Logic and argumentation 4th international conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, proceedings

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UER01
UPA01
UBR01
URL des Erstveröffentlichers

AI approaches to the complexity of legal systems XI-XII AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020 : revised selected...

BTU01
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
GEM01
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Descriptional complexity of formal systems 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Rigorous state-based methods 7th international conference, ABZ 2020, Ulm, Germany, May 27–29, 2020 : proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Profinite Semigroups and Symbolic Dynamics von Almeida, Jorge, Costa, Alfredo, Kyriakoglou, Revekka, Perrin, Dominique

Volltext

Runtime verification 20th international conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

The semantic web - ISWC 2020 19th International Semantic Web Conference, Athens, Greece, November 2-6, 2020 : proceedings, part II

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Foundations of information and knowledge systems 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Buchcover

Semantic technology 9th joint international conference, JIST 2019, Hangzhou, China, November 25–27, 2019, proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Logical foundations of computer science International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020 : proceedings

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBT01
UBW01
UBY01
UEI01
UER01
UPA01
URL des Erstveröffentlichers

Automated reasoning 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020 : proceedings, part I

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers

Automated Reasoning 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020 : proceedings, part II

BTU01
FHA01
FHI01
FHM01
FHN01
FHR01
FKE01
FLA01
FRO01
FWS01
FWS02
HTW01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers