Theory and Applications of Satisfiability Testing – SAT 2017

Κώδικας QR

Theory and Applications of Satisfiability Testing – SAT 2017

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Gaspers, Serge, Walsh, Toby
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Springer International Publishing 2020
Θέματα:	Computer Science Theory of Computation Software Engineering
Διαθέσιμο Online:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81348
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Theory and Applications of Satisfiability Testing – SAT 2018
ανά: Beyersdorff, Olaf, κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing – SAT 2019
ανά: Janota, Mikoláš, κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing - SAT 2009
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing - SAT 2007
ανά: Marques-Silva, Joao, κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing
ανά: Hoos, Holger H., κ.ά.
Έκδοση: (2020)

Theory and Applications of Satisfiability Testing
Έκδοση: (2020)

Verified Software. Theories, Tools, and Experiments
ανά: Paskevich, Andrei, κ.ά.
Έκδοση: (2020)

SOFSEM 2007: Theory and Practice of Computer Science
ανά: Leeuwen, Jan van, κ.ά.
Έκδοση: (2020)

SOFSEM 2008: Theory and Practice of Computer Science
ανά: Geffert, Villiam, κ.ά.
Έκδοση: (2020)

Formal Methods: Applications and Technology
ανά: Brim, Lubos, κ.ά.
Έκδοση: (2020)

Formal Methods: Foundations and Applications
ανά: Cavalheiro, Simone, κ.ά.
Έκδοση: (2020)

Models of Computation. 1st ed. 2017
ανά: Bruni, Roberto, κ.ά.
Έκδοση: (2020)

High Performance Computing for Computational Science – VECPAR 2016. 1st ed. 2017
ανά: Dutra, Inês, κ.ά.
Έκδοση: (2020)

Computational Science and Its Applications – ICCSA 2017
ανά: Gervasi, Osvaldo, κ.ά.
Έκδοση: (2020)

Genetic Programming Theory and Practice IV
ανά: Riolo, Rick, κ.ά.
Έκδοση: (2020)

Leveraging Applications of Formal Methods, Verification and Validation
Έκδοση: (2020)

Thinking-Driven Testing
ανά: Roman, Adam
Έκδοση: (2020)

Formal Methods for Performance Evaluation
ανά: Bernardo, Marco, κ.ά.
Έκδοση: (2020)

Autonomic and Trusted Computing
ανά: Xiao, Bin, κ.ά.
Έκδοση: (2020)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ανά: Fantechi, Alessandro, κ.ά.
Έκδοση: (2020)

Architecting Dependable Systems III
ανά: Lemos, Rogério de, κ.ά.
Έκδοση: (2020)

Analysis and Design of Information Systems
ανά: Langer, Arthur M.
Έκδοση: (2020)

Services Computing
ανά: Zhang, Liang-Jie, κ.ά.
Έκδοση: (2020)

Symposium on Real-Time and Hybrid Systems
ανά: Jones, Cliff, κ.ά.
Έκδοση: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
ανά: Kleijn, Jetty, κ.ά.
Έκδοση: (2020)

Architecture Description Languages
Έκδοση: (2020)

Formal Methods for Industrial Critical Systems
ανά: Leue, Stefan, κ.ά.
Έκδοση: (2020)

Formal Methods and Stochastic Models for Performance Evaluation
ανά: Wolter, Katinka
Έκδοση: (2020)

ZB 2005: Formal Specification and Development in Z and B
Έκδοση: (2020)

Models, Algorithms, Logics and Tools
ανά: Aceto, Luca, κ.ά.
Έκδοση: (2020)

Process Algebras for Petri Nets. 1st ed. 2017
ανά: Gorrieri, Roberto
Έκδοση: (2020)

Application and Theory of Petri Nets and Concurrency
ανά: Khomenko, Victor, κ.ά.
Έκδοση: (2020)

Application and Theory of Petri Nets and Concurrency
ανά: Aalst, Wil van der, κ.ά.
Έκδοση: (2020)

Hyper-Heuristics: Theory and Applications
ανά: Pillay, Nelishia, κ.ά.
Έκδοση: (2020)

Dependable Software Engineering. Theories, Tools, and Applications
ανά: Larsen, Kim Guldstrand, κ.ά.
Έκδοση: (2020)

Applications and Theory of Petri Nets
Έκδοση: (2020)

Basic Graph Theory. 1st ed. 2017
ανά: Rahman, Md. Saidur
Έκδοση: (2020)

Applications and Theory of Petri Nets
ανά: Hee, Kees van, κ.ά.
Έκδοση: (2020)

Applications and Theory of Petri Nets 2005
Έκδοση: (2020)

Testing computer software
ανά: Kaner, Cem
Έκδοση: (1999)