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
Διαθέσιμο Online:	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)