Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1061)
Voronkov, Andrei. editor.
(14)
Bonsangue, Marcello M. editor.
(11)
Liu, Zhiming. editor.
(8)
Löwe, Benedikt. editor.
(8)
Dil
Yayın Yılı
-
2012
(123)
2007
(113)
2010
(112)
2011
(112)
2013
(108)
Konu
Computer Science Logic and Foundations of Programming.
(982)
Software engineering.
(734)
Compilers (Computer programs).
(544)
Compilers and Interpreters.
(544)
Formal Languages and Automata Theory.
(514)
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ç
1061 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Logic, Thought and Action için kapak resmi
Logic, Thought and Action
by 
Vanderveken, Daniel. editor.
https://doi.org/10.1007/1-4020-3167-X
Format: 
Alıntı: 
Logic, Thought and Action Vanderveken, Daniel. editor.
2. 
Krister Segerberg on Logic of Actions için kapak resmi
Krister Segerberg on Logic of Actions
by 
Trypuz, Robert. editor.
https://doi.org/10.1007/978-94-007-7046-1
Format: 
Alıntı: 
Krister Segerberg on Logic of Actions Trypuz, Robert. editor.
3. 
Handbook of Philosophical Logic Volume 14 için kapak resmi
Handbook of Philosophical Logic Volume 14
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-1-4020-6324-4
Format: 
Alıntı: 
Handbook of Philosophical Logic Volume 14 / Gabbay, Dov M. editor.
4. 
Logic, Language, Information, and Computation için kapak resmi
Logic, Language, Information, and Computation
by 
Ong, Luke. editor.
https://doi.org/10.1007/978-3-642-32621-9
Format: 
Alıntı: 
Logic, Language, Information, and Computation Ong, Luke. editor.
5. 
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.
6. 
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.
7. 
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.
8. 
Fuzzy Logic in Financial Analysis için kapak resmi
Fuzzy Logic in Financial Analysis
by 
Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929
https://doi.org/10.1007/3-540-32368-6
Format: 
Alıntı: 
Fuzzy Logic in Financial Analysis Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929
9. 
Logic Synthesis for FSM-Based Control Units için kapak resmi
Logic Synthesis for FSM-Based Control Units
by 
Barkalov, Alexander. author.
https://doi.org/10.1007/978-3-642-04309-3
Format: 
Alıntı: 
Logic Synthesis for FSM-Based Control Units Barkalov, Alexander. author.
10. 
Logic Functions and Equations Examples and Exercises için kapak resmi
Logic Functions and Equations Examples and Exercises
by 
Steinbach, Bernd. author.
https://doi.org/10.1007/978-1-4020-9595-5
Format: 
Alıntı: 
Logic Functions and Equations Examples and Exercises / Steinbach, Bernd. author.
11. 
Computation Engineering Applied Automata Theory and Logic için kapak resmi
Computation Engineering Applied Automata Theory and Logic
by 
Gopalakrishnan, Ganesh. author.
https://doi.org/10.1007/0-387-32520-4
Format: 
Alıntı: 
Computation Engineering Applied Automata Theory and Logic / Gopalakrishnan, Ganesh. author.
12. 
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
by 
Klein, Gerwin. editor.
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Alıntı: 
Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / Klein, Gerwin. editor.
Eylem Seç