| 書名 | 作者 | 出版年 | 查看 | 回報錯誤連結 |
|---|
| Mathematical aspects of computer and information sciences:6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / |
Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap. |
2016 |
查看
|
回報問題連結 |
| Integrated formal methods:12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings / |
Erika Abraham, Marieke Huisman. |
2016 |
查看
|
回報問題連結 |
| Cellular automata and discrete complex systems:22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / |
Matthew Cook, Turlough Neary. |
2016 |
查看
|
回報問題連結 |
| Coalgebraic Methods in Computer Science:13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / |
Ichiro Hasuo. |
2016 |
查看
|
回報問題連結 |
| NASA formal methods:8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / |
Sanjai Rayadurgam, Oksana Tkachuk. |
2016 |
查看
|
回報問題連結 |
| Dynamics of number systems:computation with arbitrary precision / |
Petr Kurka. |
2016 |
查看
|
回報問題連結 |
| Intelligent computer mathematics:9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings / |
Michael Kohlhase ... [et al.]. |
2016 |
查看
|
回報問題連結 |
| Programming for computations - Python:a gentle introduction to numerical simulations with Python / |
Svein Linge, Hans Petter Langtangen. |
2016 |
查看
|
回報問題連結 |
| Formal methods for safety and security:case studies for aerospace applications / |
Manju Nanda, Yogananda Jeppu. |
2018 |
查看
|
回報問題連結 |
| Innovative computing, optimization and its applications:modelling and simulations / |
Ivan Zelinka ... [et al.]. |
2018 |
查看
|
回報問題連結 |
| Guide to discrete mathematics:an accessible introduction to the history, theory, logic and applications / |
Gerard O'Regan. |
2016 |
查看
|
回報問題連結 |
| Critical systems:formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / |
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. |
2016 |
查看
|
回報問題連結 |
| Formal methods and software engineering:18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / |
Kazuhiro Ogata, Mark Lawford, Shaoying Liu. |
2016 |
查看
|
回報問題連結 |
| Introduction to concurrency theory:transition systems and CCS / |
Roberto Gorrieri, Cristian Versari. |
2015 |
查看
|
回報問題連結 |
| Special topics in mathematics for computer scientists:sets, categories, topologies and measures / |
Ernst-Erich Doberkat. |
2015 |
查看
|
回報問題連結 |
| Correct system design:symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings / |
Roland Meyer, Andre Platzer, Heike Wehrheim. |
2015 |
查看
|
回報問題連結 |
|
|
