Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(17)
Bayer, Josef, contributor.
(2)
Botma, Bert, contributor.
(2)
Dikken, Marcel den, contributor.
(2)
Ershov, I͡Uriĭ Leonidovich.
(2)
Dil
Yayın Yılı
-
Konu
Recursion theory.
(8)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(5)
Syntax.
(4)
Grammar, Comparative and general -- Phonology.
(3)
Grammar, Comparative and general -- Syntax.
(3)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
44 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
A Beginners Guide to Python 3 Programming için kapak resmi
A Beginners Guide to Python 3 Programming
Yazar 
Hunt, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35122-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings için kapak resmi
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Yazar 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applications için kapak resmi
Data Analytics and Computational Intelligence: Novel Models, Algorithms and Applications
Yazar 
Rivera, Gilberto. editor. (orcid)0000-0002-2365-4651 Cruz-Reyes, Laura. editor. Dorronsoro, Bernabé. editor. Rosete, Alejandro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38325-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Mathematical Foundations of Software Engineering A Practical Guide to Essentials için kapak resmi
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven? için kapak resmi
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Yazar 
Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Mathematics for Computer Scientists A Practice-Oriented Approach için kapak resmi
Mathematics for Computer Scientists A Practice-Oriented Approach
Yazar 
Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany için kapak resmi
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Yazar 
Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26651-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Representing Phonological Detail. Part I, Segmental Structure and Representations için kapak resmi
Representing Phonological Detail. Part I, Segmental Structure and Representations
Yazar 
Audring, Jenny, contributor. Benkő, Agnes, contributor. Botma, Bert, contributor. Bree, Cor van, contributor. Brink, Eline van den, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110730098
https://www.degruyter.com/isbn/9783110730098
Cover https://www.degruyter.com/document/cover/isbn/9783110730098/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings için kapak resmi
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Yazar 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings için kapak resmi
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Yazar 
Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17142-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings için kapak resmi
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Yazar 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: