Egyéb keresési lehetőségek:
mathematical » mathematics (Keresés kiterjesztése)
languages » language (Keresés kiterjesztése)
Megjelenítés: 41 - 48 / 48 - kulcsszavak: '"Mathematical Logic and Formal Languages."', keresési idő: 0.18mp Találatok szűrése
41
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
42
Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
43
Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
44
On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
45
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
46
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
47
On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
48
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Mathematical Logic and Formal Languages....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése