Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(28)
Ershov, I͡Uriĭ Leonidovich.
(2)
Fenstad, Jens Erik.
(2)
Goodstein, R. L. (Reuben Louis)
(2)
Kunen, Kenneth.
(2)
Dil
Yayın Yılı
-
Konu
Recursion theory.
(11)
Computer science.
(5)
Computer science -- Mathematics.
(4)
Computational intelligence.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
60 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches için kapak resmi
Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches
Yazar 
Shmaliy, Yuriy, author. Zhao, Shunyi, author.
Yer Numarası 
QA402.3 .S53 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Strategic engineering için kapak resmi
Strategic engineering
Yazar 
Arcade, Jacques, author.
Yer Numarası 
TA190
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821342
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Statistically Speaking : A Dictionary of Quotations. için kapak resmi
Statistically Speaking : A Dictionary of Quotations.
Yazar 
Gaither, C. C. Cavazos-Gaither, Alma E.
Yer Numarası 
QA273
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429187124
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Programming interviews exposed : coding your way through the interview için kapak resmi
Programming interviews exposed : coding your way through the interview
Yazar 
Mongan, John, 1976- author. Kindler, Noah, author. Giguère, Eric, 1967- author.
Yer Numarası 
HF5549.5 .I6 M664 2018
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119418504
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Application of graph rewriting to natural language processing için kapak resmi
Application of graph rewriting to natural language processing
Yazar 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası 
P98
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Reinsurance : actuarial and statistical aspects için kapak resmi
Reinsurance : actuarial and statistical aspects
Yazar 
Albrecher, Hansjörg, author. Beirlant, Jan, author. Teugels, Jef L., author.
Yer Numarası 
HG8083
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119412540
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics için kapak resmi
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Yazar 
Draheim, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55198-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Limits of Computation From a Programming Perspective için kapak resmi
Limits of Computation From a Programming Perspective
Yazar 
Reus, Bernhard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27889-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications için kapak resmi
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists için kapak resmi
Cool Math for Hot Music A First Introduction to Mathematics for Music Theorists
Yazar 
Mazzola, Guerino. author. Mannone, Maria. author. Pang, Yan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42937-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets