Mathematical Software – ICMS 2018

QRコード

Mathematical Software – ICMS 2018

保存先:

書誌詳細
主要な著者:	Davenport, James H., Kauers, Manuel, Labahn, George, Urban, Josef
フォーマット:	図書
言語:	English
出版事項:	Springer International Publishing 2020
主題:	Computer Science Discrete Mathematics in Computer Science Programming Techniques
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/87911
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Foundations of Software Science and Computation Structures
著者:: Bojańczyk, Mikołaj, 等
出版事項: (2020)

Number-Theoretic Methods in Cryptology
著者:: Kaczorowski, Jerzy, 等
出版事項: (2020)

Guide to Discrete Mathematics. 1st ed.
著者:: O'Regan, Gerard
出版事項: (2020)

Computer Science – Theory and Applications
著者:: Fomin, Fedor V., 等
出版事項: (2020)

Descriptional Complexity of Formal Systems
著者:: Konstantinidis, Stavros, 等
出版事項: (2020)

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
出版事項: (2020)

Theoretical Computer Science and Discrete Mathematics
著者:: Arumugam, S., 等
出版事項: (2020)

Rigorous Methods for Software Construction and Analysis
出版事項: (2020)

Toán rời rạc
著者:: Nguyễn, Đức Nghĩa
出版事項: (2009)

High Confidence Software Reuse in Large Systems
著者:: Mei, Hong
出版事項: (2020)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
出版事項: (2020)

Applications and Theory of Petri Nets 2005
出版事項: (2020)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
著者:: Hoeve, Willem-Jan van
出版事項: (2020)

Applications and Theory of Petri Nets
出版事項: (2020)

Combinatorial Optimization
著者:: Lee, Jon, 等
出版事項: (2020)

Computers and Games
出版事項: (2020)

SOFSEM 2005: Theory and Practice of Computer Science
出版事項: (2020)

Mathematical Morphology and Its Applications to Signal and Image Processing. 1st ed. 2017
著者:: Angulo, Jesús, 等
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Duan, Zhenhua, 等
出版事項: (2020)

Engineering Trustworthy Software Systems
著者:: Bowen, Jonathan P., 等
出版事項: (2020)

Component-Based Software Engineering
出版事項: (2020)

Journal of Discrete Mathematical Sciences & Cryptography. Volume 14, Number 2, 2011
出版事項: (2011)

Journal of Discrete Mathematical Sciences & Cryptography. Volume 14, Number 1, 2011
出版事項: (2011)

Verified Software: Theories, Tools, Experiments
著者:: Meyer, Bertrand, 等
出版事項: (2020)

Extreme Programming and Agile Processes in Software Engineering
出版事項: (2020)

Agile Processes in Software Engineering and Extreme Programming
著者:: Concas, Giulio, 等
出版事項: (2020)

Transactions on Aspect-Oriented Software Development VI
出版事項: (2020)

Information Security and Cryptology - ICISC 2004
出版事項: (2020)

Combinatorial Algorithms
著者:: Iliopoulos, Costas, 等
出版事項: (2020)

Topics in Cryptology -- CT-RSA 2005
出版事項: (2020)

Advances in Computer Games
著者:: Herik, H. Jaap van den, 等
出版事項: (2020)

Algorithms and Discrete Applied Mathematics. 1st ed. 2017
著者:: Gaur, Daya, 等
出版事項: (2020)

Information Security Applications
出版事項: (2020)

Fourier Analysis—A Signal Processing Approach
著者:: Sundararajan, D.
出版事項: (2020)

Advances in Bioinformatics and Computational Biology
著者:: Alves, Ronnie
出版事項: (2020)

Network Analysis
出版事項: (2020)

Fuzzy Mathematical Programming and Fuzzy Matrix Games
著者:: Bector, C. R., 等
出版事項: (2020)

New Opportunities for Software Reuse
著者:: Capilla, Rafael, 等
出版事項: (2020)

Computers and Games
著者:: Herik, H. Jaap van den, 等
出版事項: (2020)

Proceedings of the International Conference on Computing, Mathematics and Statistics (iCMS 2015). 1st ed. 2017
著者:: Ahmad, Abd-Razak, 等
出版事項: (2020)