Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1601)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Ebu Ali Hüseyin b. Abdullah b. Hasan el-Belhi İbn Sina, 428/1037, (İbn Sina)
(9)
Liu, Zhiming. editor.
(8)
Dil
Yayın Yılı
-
Konu
Computer science.
(1061)
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(753)
Formal Languages and Automata Theory.
(611)
Machine theory.
(611)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
1800 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
49. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-4471-2500-6
Format: 
Alıntı: 
Sets, Logic and Maths for Computing Makinson, David. author.
50. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
by 
Benthem, Johan van, 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Alıntı: 
Logic, Symbolic and mathematical -- Handbooks, manuals, etc.
51. 
A Concise Introduction to Mathematical Logic için kapak resmi
A Concise Introduction to Mathematical Logic
by 
Rautenberg, Wolfgang. author.
https://doi.org/10.1007/978-1-4419-1221-3
Format: 
Alıntı: 
A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang. author.
52. 
A Course on Mathematical Logic için kapak resmi
A Course on Mathematical Logic
by 
Srivastava, Shashi Mohan. author.
https://doi.org/10.1007/978-0-387-76277-7
Format: 
Alıntı: 
A Course on Mathematical Logic Srivastava, Shashi Mohan. author.
53. 
Extensionalism: The Revolution in Logic için kapak resmi
Extensionalism: The Revolution in Logic
by 
Bar-Am, Nimrod. author.
https://doi.org/10.1007/978-1-4020-8168-2
Format: 
Alıntı: 
Extensionalism: The Revolution in Logic Bar-Am, Nimrod. author.
54. 
Elementary Logic For Software Development için kapak resmi
Elementary Logic For Software Development
by 
Lover, Robert. author.
https://doi.org/10.1007/978-1-84800-082-7
Format: 
Alıntı: 
Elementary Logic For Software Development / Lover, Robert. author.
55. 
Sets, Logic and Maths for Computing için kapak resmi
Sets, Logic and Maths for Computing
by 
Makinson, David. author.
https://doi.org/10.1007/978-1-84628-845-6
Format: 
Alıntı: 
Sets, Logic and Maths for Computing Makinson, David. author.
56. 
Temporal Logic and State Systems için kapak resmi
Temporal Logic and State Systems
by 
Kröger, Fred. author.
https://doi.org/10.1007/978-3-540-68635-4
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
57. 
Introduction to Fuzzy Logic using MATLAB için kapak resmi
Introduction to Fuzzy Logic using MATLAB
by 
Sivanandam, S.N. author.
https://doi.org/10.1007/978-3-540-35781-0
Format: 
Alıntı: 
Introduction to Fuzzy Logic using MATLAB Sivanandam, S.N. author.
58. 
A Concise Introduction to Mathematical Logic için kapak resmi
A Concise Introduction to Mathematical Logic
by 
Rautenberg, Wolfgang. author.
https://doi.org/10.1007/0-387-34241-9
Format: 
Alıntı: 
A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang. author.
59. 
Fuzzy Logic Applications in Engineering Science için kapak resmi
Fuzzy Logic Applications in Engineering Science
by 
Harris, J. author.
https://doi.org/10.1007/1-4020-4078-4
Format: 
Alıntı: 
Fuzzy Logic Applications in Engineering Science Harris, J. author.
60. 
Fuzzy Logic, Identification and Predictive Control için kapak resmi
Fuzzy Logic, Identification and Predictive Control
by 
Espinosa Oviedo, Jairo Jose. author.
https://doi.org/10.1007/b138626
Format: 
Alıntı: 
Fuzzy Logic, Identification and Predictive Control Espinosa Oviedo, Jairo Jose. author.
Eylem Seç