743 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
61. 
Nonsymmetric Operads in Combinatorics için kapak resmi
Nonsymmetric Operads in Combinatorics
Nonsymmetric Operads in Combinatorics
Yazar 
Giraudo, Samuele. author.
https://doi.org/10.1007/978-3-030-02074-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
62. 
Axiomatic Method and Category Theory için kapak resmi
Axiomatic Method and Category Theory
Axiomatic Method and Category Theory
Yazar 
Rodin, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-00404-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
63. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
64. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
65. 
Numerical Methods of Mathematics Implemented in Fortran için kapak resmi
Numerical Methods of Mathematics Implemented in Fortran
Numerical Methods of Mathematics Implemented in Fortran
Yazar 
Bose, Sujit Kumar. author.
https://doi.org/10.1007/978-981-13-7114-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
66. 
The Incomputable Journeys Beyond the Turing Barrier için kapak resmi
The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Yazar 
Cooper, S. Barry. editor.
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
67. 
David Makinson on Classical Methods for Non-Classical Problems için kapak resmi
David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
Yazar 
Hansson, Sven Ove. editor.
http://dx.doi.org/10.1007/978-94-007-7759-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
68. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author.
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
69. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Provably Correct Systems
Yazar 
Hinchey, Mike. editor.
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
70. 
Computational Artifacts Towards a Philosophy of Computer Science için kapak resmi
Computational Artifacts Towards a Philosophy of Computer Science
Computational Artifacts Towards a Philosophy of Computer Science
Yazar 
Turner, Raymond. author.
https://doi.org/10.1007/978-3-662-55565-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
71. 
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings için kapak resmi
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Yazar 
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
https://doi.org/10.1007/978-3-319-69904-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Tümünü Seç
743 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(719)
IEEE Xplore (Online Service), distributor.
(11)
Bouchon-Meunier, Bernadette. editor.
(8)
MIT Press, publisher.
(8)
Yager, Ronald R. editor.
(8)
Format
Dil
Basım Yılı
Konu
Mathematical Logic and Formal Languages.
(559)
Computer science.
(512)
Mathematical logic.
(394)
Artificial intelligence.
(369)
Logics and Meanings of Programs.
(322)
Materyal Türü
Lokasyon
Kütüphane
Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

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

Powered by Informascope