Performance Evaluation and Benchmarking
Editat de Raghunath Nambiar et al.
4 aug 2021
Paperback
Preț: 312.41 lei 390.51 lei
43-57 zile
-20%
Programming and Software Engineering
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Editat de Stephen Poole et al.
4 mar 2014
Paperback
Preț: 315.31 lei 394.14 lei
43-57 zile
-20%
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Editat de Steve Counsell et al.
apr 2014
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance: 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Editat de Kai Fischbach et al.
4 mar 2014
Paperback
Preț: 337.64 lei 422.04 lei
38-44 zile
-20%
Service-Oriented Computing--ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers
Editat de Alessio Lomuscio et al.
21 mai 2014
Paperback
Preț: 634.94 lei 793.68 lei
43-57 zile
-20%
Models@run.time: Foundations, Applications, and Roadmaps
Editat de Nelly Bencomo et al.
18 iul 2014
Paperback
Preț: 321.49 lei 401.86 lei
43-57 zile
-20%
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Editat de Emilio Tuosto et al.
25 iul 2014
Paperback
Preț: 260.47 lei 325.59 lei
43-57 zile
-20%
Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Editat de Camille Salinesi et al.
2 apr 2014
Paperback
Preț: 322.11 lei 402.64 lei
43-57 zile
-20%
Risk Assessment and Risk-Driven Testing: First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
Editat de Thomas Bauer et al.
25 iul 2014
Paperback
Preț: 258.10 lei 322.62 lei
43-57 zile
-20%
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Editat de Julia M. Badger et al.
2 apr 2014
Paperback
Preț: 324.03 lei 405.04 lei
43-57 zile
-20%
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Editat de Cliff Jones et al.
9 apr 2014
Paperback
Preț: 642.89 lei 803.61 lei
43-57 zile
-20%
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%
Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Editat de Ugo Dal Lago et al.
6 noi 2014
Paperback
Preț: 259.19 lei 323.98 lei
43-57 zile
-20%
Rules on the Web: From Theory to Applications: 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
Editat de Antonis Bikakis et al.
4 aug 2014
Paperback
Preț: 322.93 lei 403.66 lei
43-57 zile
-20%
Software Architecture: 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Editat de Paris Avgeriou et al.
4 aug 2014
Paperback
Preț: 325.79 lei 407.24 lei
43-57 zile
-20%
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Editat de Claire Le Goues et al.
8 aug 2014
Paperback
Preț: 347.26 lei 434.08 lei
43-57 zile
-20%
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
Editat de Barry O'Sullivan
19 aug 2014
Paperback
Preț: 652.56 lei 815.69 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Editat de Andrea Bondavalli et al.
20 aug 2014
Paperback
Preț: 323.86 lei 404.83 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Editat de Andrea Bondavalli et al.
23 sep 2014
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Editat de Dimitra Giannakopoulou et al.
4 aug 2014
Paperback
Preț: 325.47 lei 406.84 lei
43-57 zile
-20%
Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Editat de Benoit Combemale et al.
23 sep 2014
Paperback
Preț: 323.10 lei 403.87 lei
43-57 zile
-20%
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Editat de Frédéric Lang et al.
20 aug 2014
Paperback
Preț: 315.93 lei 394.92 lei
43-57 zile
-20%
Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
Editat de András Horváth et al.
23 sep 2014
Paperback
Preț: 319.42 lei 399.28 lei
43-57 zile
-20%
Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Editat de Borzoo Bonakdarpour et al.
23 sep 2014
Paperback
Preț: 323.55 lei 404.44 lei
43-57 zile
-20%
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Editat de Elvira Albert et al.
15 sep 2014
Paperback
Preț: 324.81 lei 406.00 lei
43-57 zile
-20%
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Editat de Yamine Ait Ameur et al.
23 sep 2014
Paperback
Preț: 322.61 lei 403.26 lei
43-57 zile
-20%
Using and Improving OpenMP for Devices, Tasks, and More: 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Editat de Luiz DeRose et al.
23 sep 2014
Paperback
Preț: 317.23 lei 396.54 lei
43-57 zile
-20%
Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Editat de Juergen Dingel et al.
22 sep 2014
Paperback
Preț: 339.73 lei 424.65 lei
43-57 zile
-20%
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Editat de Daniel Amyot et al.
12 sep 2014
Paperback
Preț: 321.66 lei 402.08 lei
43-57 zile
-20%
Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Editat de Fernando Magno Quintao Pereira
22 sep 2014
Paperback
Preț: 259.19 lei 323.98 lei
43-57 zile
-20%
Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Editat de István Majzik et al.
25 sep 2014
Paperback
Preț: 260.30 lei 325.37 lei
43-57 zile
-20%
Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Editat de Frank Ortmeier et al.
2 oct 2014
Paperback
Preț: 316.11 lei 395.14 lei
43-57 zile
-20%
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Editat de Stephan Merz et al.
23 sep 2014
Paperback
Preț: 328.48 lei 410.60 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Editat de Franck Cassez et al.
29 sep 2014
Paperback
Preț: 327.36 lei 409.20 lei
43-57 zile
-20%
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Editat de Eran Yahav
6 noi 2014
Paperback
Preț: 320.86 lei 401.08 lei
43-57 zile
-20%
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
Editat de Jacques Garrigue
23 oct 2014
Paperback
Preț: 329.74 lei 412.17 lei
43-57 zile
-20%
Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Editat de Andreas Jedlitschka et al.
20 noi 2014
Paperback
Preț: 321.98 lei 402.47 lei
43-57 zile
-20%
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Editat de Petr Hliněný et al.
26 ian 2015
Paperback
Preț: 259.19 lei 323.98 lei
43-57 zile
-20%
Service-Oriented Computing - ICSOC 2014 Workshops: WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers
Editat de Farouk Toumani et al.
12 sep 2015
Paperback
Preț: 327.99 lei 409.99 lei
43-57 zile
-20%
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Editat de Ivan Lanese et al.
18 feb 2015
Paperback
Preț: 324.50 lei 405.63 lei
43-57 zile
-20%
Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Editat de Tom Holvoet et al.
13 mai 2015
Paperback
Preț: 318.17 lei 397.71 lei
43-57 zile
-20%
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Editat de Ralf Hinze et al.
12 iun 2015
Paperback
Preț: 321.81 lei 402.26 lei
43-57 zile
-20%
Practical Aspects of Declarative Languages: 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Editat de Enrico Pontelli et al.
iun 2015
Paperback
Preț: 258.73 lei 323.41 lei
43-57 zile
-20%
Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Editat de Jean Krivine et al.
iul 2015
Paperback
Preț: 319.92 lei 399.90 lei
43-57 zile
-20%
Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Editat de Dimitris Kolovos et al.
7 iul 2015
Paperback
Preț: 317.55 lei 396.94 lei
43-57 zile
-20%
Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings
Editat de Gabriele Taentzer et al.
9 iul 2015
Paperback
Preț: 261.24 lei 326.55 lei
43-57 zile
-20%
Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Editat de Jasmin Christian Blanchette et al.
iul 2015
Paperback
Preț: 316.73 lei 395.91 lei
43-57 zile
-20%
Rule Technologies: Foundations, Tools, and Applications: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
Editat de Nick Bassiliades et al.
23 iul 2015
Paperback
Preț: 329.25 lei 411.55 lei
43-57 zile
-20%
Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Editat de Gilles Pesant
13 aug 2015
Paperback
Preț: 342.25 lei 427.81 lei
43-57 zile
-20%
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Editat de Marta Beltrán et al.
14 aug 2015
Paperback
Preț: 320.86 lei 401.08 lei
43-57 zile
-20%
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Editat de Alessandro Fantechi et al.
19 aug 2015
Paperback
Preț: 258.41 lei 323.01 lei
43-57 zile
-20%
Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Editat de Márcio Barros et al.
5 aug 2015
Paperback
Preț: 323.41 lei 404.26 lei
43-57 zile
-20%
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Editat de Radu Calinescu et al.
21 aug 2015
Paperback
Preț: 323.86 lei 404.83 lei
43-57 zile
-20%
Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Editat de Danny Weyns et al.
26 aug 2015
Paperback
Preț: 347.97 lei 434.96 lei
38-44 zile
-20%
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editat de Lev D. Beklemishev et al.
27 aug 2015
Paperback
Preț: 321.49 lei 401.86 lei
43-57 zile
-20%
Service Oriented and Cloud Computing: 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
Editat de Schahram Dustdar et al.
8 sep 2015
Paperback
Preț: 318.97 lei 398.71 lei
43-57 zile
-20%
Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Editat de Alberto Pardo et al.
15 noi 2015
Paperback
Preț: 258.41 lei 323.01 lei
43-57 zile
-20%
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Editat de Ezio Bartocci et al.
11 sep 2015
Paperback
Preț: 327.19 lei 408.99 lei
43-57 zile
-20%
Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Editat de Floor Koornneef et al.
12 sep 2015
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
OpenMP: Heterogenous Execution and Data Movements: 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
Editat de Christian Terboven et al.
20 oct 2015
Paperback
Preț: 319.42 lei 399.28 lei
43-57 zile
-20%
Model and Data Engineering: 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
Editat de Ladjel Bellatreche et al.
11 sep 2015
Paperback
Preț: 322.93 lei 403.66 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Editat de Bernd Finkbeiner et al.
22 noi 2015
Paperback
Preț: 331.17 lei 413.96 lei
43-57 zile
-20%
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies: Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers
Editat de Manjunath Gorentla Venkata et al.
9 dec 2015
Paperback
Preț: 261.09 lei 326.37 lei
43-57 zile
-20%
Globalizing Domain-Specific Languages: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
Editat de Benoit Combemale et al.
10 noi 2015
Paperback
Preț: 256.18 lei 320.22 lei
43-57 zile
-20%
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Editat de Michael Butler et al.
2 dec 2015
Paperback
Preț: 327.67 lei 409.59 lei
43-57 zile
-20%
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editat de Xuandong Li et al.
27 oct 2015
Paperback
Preț: 321.81 lei 402.26 lei
43-57 zile
-20%
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editat de Nir Piterman
27 oct 2015
Paperback
Preț: 320.55 lei 400.68 lei
43-57 zile
-20%
Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Editat de Khaled El-Fakih et al.
10 noi 2015
Paperback
Preț: 319.13 lei 398.90 lei
43-57 zile
-20%
Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Editat de Pekka Abrahamsson et al.
10 noi 2015
Paperback
Preț: 336.09 lei 420.11 lei
43-57 zile
-20%
Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers
Editat de Fredrik Seehusen et al.
13 noi 2015
Paperback
Preț: 257.29 lei 321.61 lei
43-57 zile
-20%
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Editat de Mehdi Dastani et al.
11 oct 2017
Paperback
Preț: 318.67 lei 398.33 lei
43-57 zile
-20%