Search Results for Topology.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity için kapak resmi

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

Yazar

Skrzypczak, Michał. author.

http://dx.doi.org/10.1007/978-3-662-52947-8

Format:

Electronic Resources

Alıntı:

theory, topology, and automata theory and provides many deep insights into the interplay between these

2.

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings için kapak resmi

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

Yazar

Höfner, Peter. editor.

http://dx.doi.org/10.1007/978-3-319-06251-8

Format:

Electronic Resources

Alıntı:

Approach to General Topology -- A Mechanised Abstract Formalisation of Concept Lattices -- A Sufficient

3.

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers için kapak resmi

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers

Yazar

Dignum, Virginia. editor.

http://dx.doi.org/10.1007/978-3-319-42691-4

Format:

Electronic Resources

Alıntı:

Topology -- Formation of Association Structures Based on Reciprocity and Their Performance in Allocation

4.

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings için kapak resmi

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Yazar

Daniel, Florian. editor.

http://dx.doi.org/10.1007/978-3-642-40176-3

Format:

Electronic Resources

Alıntı:

Integer Linear Programming -- Conformance Checking in the Large: Partitioning and Topology -- On Enabling

5.

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers için kapak resmi

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Yazar

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

https://doi.org/10.1007/978-3-319-74313-4

Format:

Electronic Resources

Alıntı:

-- Highlights of the Rice-Shapiro Theorem in Computable Topology -- A Memory Model for Deductively Verifying

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2