Theory and Applications of Satisfiability Testing

Agosto 2022    

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings: 7317 Used Book in Good Condition...

Febbraio 2022  

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003 Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers: 2919...

06 Aprile    

Proceedings of 2nd International Conference on Intelligent Computing and Applications: ICICA 2015: 467...

04 Aprile    

2009 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications (Cimsa)...

Oggi 02:05    

2008 16th International Conference on Advanced Computing and Communications (Adcom)...

17 Aprile    

2009 International Conference on Game Theory for Networks (Gamenets 2009)...

Settembre 2023    

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016)...

Settembre 2023    

International Conference on Theory and Application in Nonlinear Dynamics (ICAND 2012)...

Ottobre 2023    

Optimization Theory, Decision Making, and Operations Research Applications: Proceedings of the 1st International Symposium and 10th Balkan Conference on. .. & Statistics Book 31) (English Edition)...

Gennaio 2022    

Testing Vue.js Applications...

Ottobre 2023    

Advances in Cryptology - ASIACRYPT 2017: 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong,. .. Science Book 10624) (English Edition)...

Aprile 2023    

Computer Vision, Imaging and Computer Graphics Theory and Applications: 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27 -. .. Science Book 693) (English Edition)...

Marzo 2022    

Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings: 8244...

Aprile 2023    

Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II: 9828...

Luglio 2023    

Equilibrium Theory And Applications: Proceedings of the Sixth International Symposium in Economic Theory and Econometrics...

Dicembre 2021    

Network Flows: Pearson New International Edition: Theory, Algorithms, and Applications...

Oggi 15:30    

Introduction to Automata Theory, Languages, and Computation: Pearson New International Edition (English Edition)...

Aprile 2023    

Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016) (Lecture Notes in Networks and Systems Book 6) (English Edition)...

Febbraio 2022    

9th International Conference on Robotic, Vision, Signal Processing and Power Applications: Empowering Research and Innovation (Lecture Notes in Electrical Engineering Book 398) (English Edition)...

Ottobre 2023    

Computerized Multistage Testing: Theory and Applications (Chapman & Hall/CRC Statistics in the Social and Behavioral Sciences) (English Edition)...

Ottobre 2023    

Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings - - [Volume editor Jetty Kleijn ] published on (August, 2007)...

Oggi 02:02    

VLSI: Integrated Systems on Silicon: IFIP TC10 WG10.5 International Conference on Very Large Scale Integration 26-30 August 1997, Gramado, RS, Brazil. .. in Information and Communication Technology) 1997 edition by Reis, Ricardo A., Claesen, Luc (1997) Hardcover...

24 Aprile    

2008 IEEE 2nd International Power and Energy Conference (Pecon)...

Novembre 2023    

Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. .. Science Book 9883) (English Edition)...

Oggi 12:51   330   Hp    

Hp 23.8 qhd conference usb-c...

19 Aprile    

Abstracts - 3rd International Conference and Poster Exhibition, Micro Materials, MicroMat 2000...

14 Aprile    

3rd International Conference on Technological Innovation in Building 2018: Abstracts...

09 Aprile    

2007 15th International Conference on Advanced Computing and Communications (Adcom)...

Ottobre 2023    

Game Theory for Networks: Third International ICST Conference, GameNets 2012, Vancouver, Canada, May 24-26, 2012, Revised Selected Papers: 105...

Oggi 15:13    

Scade: Language and Applications...

Oggi 02:11    

Malliavin Calculus and Its Applications...

Ieri 18:40    

Linear Algebra & Its Applications...

12 Aprile    

Algorithmic Learning Theory: 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific) (Paperback) - Common...

Oggi 12:53    

Betrayal: A gripping suspense thriller testing family loyalty (English Edition)...

Oggi 11:12    

Kali Linux Wireless Penetration Testing Essentials (English Edition)...

Ieri 20:58    

Exploring Language Assessment and Testing: Language in Action...

Settembre 2023    

Database and Expert Systems Applications: 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I - - [Edited by Abdelkader Hameurlain ] published on (September, 2011)...

Luglio 2023    

Database and Expert Systems Applications: 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I (Lecture Notes. .. Science Book 10438) (English Edition)...

Aprile 2023    

Database and Expert Systems Applications: 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II (Lecture. .. Science Book 9262) (English Edition)...

Agosto 2022    

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming,. .. Papers (Lecture Notes in Computer Science) (2010-06-02)...