電子書書目整合查詢結果

分類號

總筆數:401

 
書名作者出版年查看回報錯誤連結
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. 查看
回報問題連結
上一頁 第1頁/共27頁/跳至 下一頁