51 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Zhang, Yue. author.
Format:
Electronic Resources
Alıntı:
Appl.Mathematics/Computational Methods of Engineering.
Yazar
Kindratenko, Volodymyr. editor.
Format:
Electronic Resources
Alıntı:
Appl.Mathematics/Computational Methods of Engineering.
View Other Search Results
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Kim, Chang-Hun. author.
Format:
Electronic Resources
Alıntı:
Mathematical Methods in Physics.
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
De Nivelle, Hans. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Gupta, Gopal. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Aycock, John. author.
Format:
Electronic Resources
Alıntı:
professionals and advanced-level students in computer science, engineering, and mathematics but would also be of
Yazar
Torra, Vicenç. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
12.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing
51 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: