![]() |
Advances in Formal Design Methods for CAD... - Libro - 145,59€Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP Advances. .. Communication Technology) (English Edition)... |
-27%
![]() |
Formal Methods for Hardware Verification: 6th... - Libro - 53,49€Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,. .. May 22-27, 2006, Advances Lectures: 3965... |
-28%
![]() |
Software Engineering and Formal Methods: 15th... - Libro - 53,49€Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings: 10469... |
3
-20%
![]() |
Advances in Computer Games: Many Games, Many... - Libro - 105,95€ 165,80€Advances in Computer Games: Many Games, Many Challenges: Proceedings of the Icga/Ifip Sg16 10th Advances in Computer Games Conference Acg 10 November 24-27, 2003, Graz, Styria: 135... |
-29%
![]() |
Software Engineering and Formal Methods: 15th... - Libro - 36,39€Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings (Lecture Notes in Computer Science Book 10469) (English Edition)... |
-29%
![]() |
Software Engineering and Formal Methods: 14th... - Libro - 36,39€Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. .. Science Book 9763) (English Edition)... |
-31%
![]() |
Advances in Production Management Systems... - Libro - 106,99€Advances in Production Management Systems: Innovative Production Management Towards Sustainable Growth: IFIP WG 5.7 International Conference, APMS. .. September 7-9, 2015, Proceedings, Part I: 459... |
2
-33%
![]() |
Formal Methods for Model-Driven Engineering: 12th... - Libro - 45,29€ 74,89€Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software. .. June 18-23, 2012. Advanced Lectures: 7320... |
-19%
![]() |
Advances in Design for Inclusion: Proceedings of... - Libro - 207,66€ 213,99€Advances in Design for Inclusion: Proceedings of the Ahfe 2016 International Conference on Design for Inclusion: 500... |
2
-11%
![]() |
System Level Design from Hw/Sw to Memory for... - Libro - 58,66€ 83,46€System Level Design from Hw/Sw to Memory for Embedded Systems: 5th Ifip Tc 10 International Embedded Systems Symposium, Iess 2015, Foz Do Iguaçu, Brazil, November 36, 2015, Proceedings: 523... |
![]() |
Formal Techniques for Computer Systems and... - Libro - 124,93€Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings - - [Edited by Mario Bavetti ] published on (November, 2005)... |
3
-24%
![]() |
Human-Computer Interaction - Interact 2005: IFIP... - Libro - 43,15€ 192,59€Human-Computer Interaction - Interact 2005: IFIP TC13 International Conference, Rome, Italy, September 12 - 16, 2005 Proceedings: 3585... |
2
-8%
![]() |
Design Methods - Libro - 94,13€ 126,94€Design Methods... |
-7%
![]() |
Advances in Evolutionary and Deterministic Methods... - Libro - 24,49€Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences (Computational Methods in Applied Sciences Book 36) (English Edition)... |
![]() |
Women, Work, and Computerization: Forming New - Libro - 116€Women, Work, and Computerization: Forming New Alliances: Proceedings of the Ifip Tc 9/Wg 9.1 International Conference on Women, Work and Computeriz... |
-21%
![]() |
Wireless Sensor and Actor Networks II: Proceedings... - Libro - 106,99€Wireless Sensor and Actor Networks II: Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canada, July 14-15, 2008: 264... |
3
-27%
![]() |
Wireless Sensor and Actor Networks II: Proceedings... - Libro - 65,10€ 136,96€Wireless Sensor and Actor Networks II: Proceedings of the 2008 Ifip Conference on Wireless Sensor and Actor Networks (Wsan 08), Ottawa, Ontario, Canada, July 14-15, 2008: 264... |
![]() |
Advances in Energy Harvesting Methods (English... - Libro - 101,91€Advances in Energy Harvesting Methods (English Edition)... |
3
-16%
![]() |
Advances in Energy Harvesting Methods... - Libro - 109,93€ 192,59€Advances in Energy Harvesting Methods Used Book in Good Condition... |
2
-10%
![]() |
Advances in Mixed Methods Research: Theories and... - Libro - 47,32€ 59,28€Advances in Mixed Methods Research: Theories and Applications... |
-9%
![]() |
Situated Design Methods - Libro - 57,34€Situated Design Methods... |
3
-27%
![]() |
Formal Methods for Industrial Critical Systems... - Libro - 39,38€ 74,89€Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers: 5596... |
2
-35%
![]() |
Moda 7 - Advances in Model-oriented Design And... - Libro - 51,64€ 112,34€Moda 7 - Advances In Model-oriented Design And Analysis: Proceedings Of The 7th International Workshop On Model-oriented Design And Analysis Held In. .. in Heeze, The Netherlands, June 14-18, 2004... |
2
-33%
![]() |
Multigrid Methods VI: Proceedings of the 6th... - Libro - 67,01€ 171,19€Multigrid Methods VI: Proceedings of the 6th European Multigrid Conference Held in Gent, Belgiu M, September 27-30, 1999: Proceedings of the Sixth. .. in Gent, Belgium, September 27-30, 1999: 14... |
-22%
![]() |
Advances in Mixed Methods Research: Theories and... - Libro - 114,36€ 167,11€Advances in Mixed Methods Research: Theories and Applications Used Book in Good Condition... |
![]() |
Advances in Plant Ethylene Research: Proceedings... - Libro - 279,99€Advances in Plant Ethylene Research: Proceedings of the 7th International Symposium on the Plant Hormone Ethylene... |
![]() |
Computer Hardware Description Languages and their - Libro - 112,84€Computer Hardware Description Languages and their Applications: Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description. .. 26-28 April, 1993 (ISSN) (English Edition)... |
![]() |
Information System Development Process - Libro - 81,54€Information System Development Process: Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process, Como, Italy, 1-3 September, 1993 (ISSN) (English Edition)... |
2
![]() |
Monitoring and Securing Virtualized Networks and - Libro - 51,36€Monitoring and Securing Virtualized Networks and Services: 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and. .. June 30 -- July 3, 2014. Proceedings: 8508... |
2
![]() |
Computer Hardware Description Languages and their - Libro - 161,20€Computer Hardware Description Languages and their Applications: Proceedings of the 11th IFIP WG10.2 International Conference, Ottawa, Canada, 26-28 April 1993: v. A-32... |
2
![]() |
Higher Order Logic Theorem Proving and its - Libro - 154,96€Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP/WG10.2 International Workshop, Leuven, Belgium, 21-24 September 1992: v. A-20... |
-30%
![]() |
Information Security Theory and Practices - Libro - 53,49€Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices: 4th IFIP WG 11.2 International Workshop, WISTP. .. Germany, April 12-14, 2010, Proceedings: 6033... |
-31%
![]() |
Data and Applications Security and Privacy XXIX - Libro - 36,39€Data and Applications Security and Privacy XXIX: 29th Annual IFIP WG 11.3 Working Conference, DBSec 2015, Fairfax, VA, USA, July 13-15, 2015, Proceedings. .. Science Book 9149) (English Edition)... |
-9%
![]() |
Emerging Management Mechanisms for the Future - Libro - 53,49€Emerging Management Mechanisms for the Future Internet: 7th Ifip Wg 6.6 International Conference on Autonomous Infrastructure, Management, and. .. Spain, June 25-28, 2013, Proceedings: 7943... |
2
-20%
![]() |
Environmental Software Systems. Computer Science - Libro - 74,45€ 126,26€Environmental Software Systems. Computer Science for Environmental Protection: 12th Ifip Wg 5.11 International Symposium, Isess 2017, Zadar, Croatia, May 10-12, 2017, Proceedings: 507... |
![]() |
Solid Phase Methods in Protein Sequence Analysis... - Libro - 17,09€ 47,54€Solid Phase Methods in Protein Sequence Analysis: 2nd, 1977: International Conference Proceedings Used Book in Good Condition... |
-8%
![]() |
Recent advances in financial engineering - Libro - 140,70€Recent advances in financial engineering - proceedings of the 2008 daiwa international workshop on financial engineering... |
-12%
![]() |
Architecture and Design of Molecule Logic Gates... - Libro - 101,91€Architecture and Design of Molecule Logic Gates and Atom Circuits: Proceedings of the 2nd AtMol European Workshop (Advances in Atom and Single Molecule Machines) (English Edition)... |
![]() |
Methods and Models: a Guide to the Empirical... - Libro - 23,79€Methods and Models: A Guide to the Empirical Analysis of Formal Models in Political Science (English Edition)... |
2
-19%
![]() |
Mixed Methods Design in Evaluation... - Libro - 24,07€ 30,94€Mixed Methods Design in Evaluation... |