書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
Formal concept analysis :15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019 : proceedings / |
Diana Cristea, Florence Le Ber, Baris Sertkaya. |
|
查看
|
回報問題連結 |
Formal methods for industrial critical systems :24th International Conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / |
Kim Guldstrand Larsen, Tim Willemse. |
|
查看
|
回報問題連結 |
Formal modeling and analysis of timed systems :17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019 : proceedings / |
Etienne Andre, Marielle Stoelinga. |
|
查看
|
回報問題連結 |
Programming for computations :Python : a gentle introduction to numerical simulations with Python 3.6 / |
Svein Linge, Hans Petter Langtangen. |
|
查看
|
回報問題連結 |
Theory of evolutionary computation :recent developments in discrete optimization / |
Benjamin Doerr, Frank Neumann. |
|
查看
|
回報問題連結 |
Mathematical theory of advanced computing / |
Wolfgang W. Osterhage. |
|
查看
|
回報問題連結 |
Languages, design methods, and tools for electronic system design :selected contributions from FDL 2018 / |
Tom J. Kazmierski, Sebastian Steinhorst, Daniel GroBe. |
|
查看
|
回報問題連結 |
Foundation mathematics for computer science :a visual approach / |
John Vince. |
|
查看
|
回報問題連結 |
Formal techniques for safety-critical systems :7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019 : revised selected papers / |
Osman Hasan, Frederic Mallet. |
|
查看
|
回報問題連結 |
Relational and algebraic methods in computer science :18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020 : proceedings / |
Uli Fahrenberg, Peter Jipsen, Michael Winter. |
|
查看
|
回報問題連結 |
Optimization and applications :10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 - October 4, 2019 : revised selected papers / |
Milojica Jacimovic, Michael Khachay, Vlasta Malkova, Mikhail Posypkin. |
|
查看
|
回報問題連結 |
Recent advances in intelligent information systems and applied mathematics / |
Oscar Castillo, Dipak Kumar Jana, Debasis Giri, Arif Ahmed. |
|
查看
|
回報問題連結 |
Formal aspects of component software :16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019 : proceedings / |
Farhad Arbab, Sung-Shik Jongmans. |
|
查看
|
回報問題連結 |
Numerical computations :theory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers. |
Yaroslav D. Sergeyev, Dmitri E. Kvasov. |
|
查看
|
回報問題連結 |
Numerical computations :theory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers. |
Yaroslav D. Sergeyev, Dmitri E. Kvasov. |
|
查看
|
回報問題連結 |
Understand mathematics, understand computing :discrete mathematics that all computing students should know / |
Arnold L. Rosenberg, Denis Trystram. |
|
查看
|
回報問題連結 |
|