Software Language Engineering: 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
Editat de Anthony Sloane et al.
11 apr 2012
Paperback
Preț: 335.18 lei 418.97 lei
6-8 săpt.
-20%
Programming and Software Engineering
Games, Actions, and Social Software: Multidisciplinary Aspects
Editat de Jan van Eijck et al.
25 apr 2012
Paperback
Preț: 326.70 lei 408.38 lei
6-8 săpt.
-20%
Topics in Performance Evaluation, Measurement and Characterization: Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29- September 3, 2011. Revised Selected Papers
Editat de Raghunath Nambiar et al.
20 iul 2012
Paperback
Preț: 422.48 lei 528.10 lei
6-8 săpt.
-20%
Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
Editat de Zhiming Liu et al.
6 iul 2012
Paperback
Preț: 423.13 lei 528.92 lei
6-8 săpt.
-20%
Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers
Editat de Alexis De Vos et al.
20 apr 2012
Paperback
Preț: 406.88 lei 508.59 lei
6-8 săpt.
-20%
Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures
Editat de Andrea De Lucia et al.
11 ian 2013
Paperback
Preț: 299.42 lei 374.27 lei
6-8 săpt.
-20%
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Editat de Marco Carbone et al.
23 apr 2012
Paperback
Preț: 408.64 lei 510.79 lei
6-8 săpt.
-20%
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Editat de Ricardo Peña et al.
13 iul 2012
Paperback
Preț: 294.83 lei 368.54 lei
6-8 săpt.
-20%
Runtime Verification: Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Editat de Koushik Sen et al.
11 mai 2012
Paperback
Preț: 338.65 lei 423.31 lei
6-8 săpt.
-20%
Service-Oriented Computing - ICSOC 2011 Workshops: ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers
Editat de George Pallis et al.
25 iul 2012
Paperback
Preț: 328.83 lei 411.03 lei
6-8 săpt.
-20%
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Editat de Robert L. Constable et al.
11 apr 2012
Paperback
Preț: 335.35 lei 419.19 lei
6-8 săpt.
-20%
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
Editat de Andy Schürr et al.
28 sep 2012
Paperback
Preț: 424.94 lei 531.17 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Editat de Farhad Arbab et al.
23 noi 2012
Paperback
Preț: 334.06 lei 417.57 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Editat de Kerstin Eder et al.
9 oct 2012
Paperback
Preț: 424.94 lei 531.17 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Editat de Holger Giese et al.
31 mai 2012
Paperback
Preț: 329.63 lei 412.03 lei
6-8 săpt.
-20%
Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
Editat de Marjan Sirjani
31 mai 2012
Paperback
Preț: 329.63 lei 412.03 lei
6-8 săpt.
-20%
Multicore Software Engineering, Performance and Tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings
Editat de Victor Pankratius et al.
20 iun 2012
Paperback
Preț: 406.19 lei 507.74 lei
6-8 săpt.
-20%
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Editat de Achim Brucker et al.
16 mai 2012
Paperback
Preț: 409.47 lei 511.83 lei
6-8 săpt.
-20%
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
Editat de Thomas Gschwind et al.
16 mai 2012
Paperback
Preț: 325.54 lei 406.93 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Editat de Zhenjiang Hu et al.
16 mai 2012
Paperback
Preț: 331.29 lei 414.11 lei
6-8 săpt.
-20%
OpenMP in a Heterogeneous World: 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
Editat de Barbara Chapman et al.
6 iun 2012
Paperback
Preț: 331.29 lei 414.11 lei
6-8 săpt.
-20%
ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings
Editat de James Noble
23 mai 2012
Paperback
Preț: 354.21 lei 442.75 lei
6-8 săpt.
-20%
Analytical and Stochastic Modeling Techniques and Applications: 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings
Editat de Khalid Al-Begain et al.
21 mai 2012
Paperback
Preț: 332.07 lei 415.10 lei
6-8 săpt.
-20%
Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings
Editat de Stefano A. Cerri et al.
11 iun 2012
Paperback
Preț: 414.52 lei
6-8 săpt.
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Editat de Marco Bernardo et al.
14 iun 2012
Paperback
Preț: 338.65 lei 423.31 lei
6-8 săpt.
-20%
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
6 iun 2012
Paperback
Preț: 334.54 lei 418.17 lei
6-8 săpt.
-20%
Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings
Editat de Oscar Dieste et al.
31 mai 2012
Paperback
Preț: 336.19 lei 420.23 lei
6-8 săpt.
-20%
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
Editat de Antonio Vallecillo et al.
28 iun 2012
Paperback
Preț: 338.00 lei 422.50 lei
6-8 săpt.
-20%
Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday
Editat de Maritta Heisel
31 mai 2012
Paperback
Preț: 411.13 lei 513.91 lei
6-8 săpt.
-20%
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Editat de Bernhard Beckert et al.
19 iul 2012
Paperback
Preț: 308.73 lei 385.92 lei
6-8 săpt.
-20%
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Editat de Dimitra Giannakopoulou et al.
21 iul 2012
Paperback
Preț: 340.26 lei 425.33 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings
Editat de Mariëlle Stoelinga et al.
17 iul 2012
Paperback
Preț: 298.91 lei 373.64 lei
6-8 săpt.
-20%
Rules on the Web: Research and Applications: 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings
Editat de Antonis Bikakis et al.
20 iul 2012
Paperback
Preț: 332.07 lei 415.10 lei
6-8 săpt.
-20%
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Editat de Antoine Mine et al.
3 aug 2012
Paperback
Preț: 338.47 lei 423.09 lei
6-8 săpt.
-20%
Software Engineering for Self-Adaptive Systems: International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Editat de Rogério de Lemos et al.
11 ian 2013
Paperback
Preț: 335.18 lei 418.97 lei
6-8 săpt.
-20%
Recent Advances in the Message Passing Interface: 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Editat de Jesper Larsson Träff et al.
17 aug 2012
Paperback
Preț: 331.10 lei 413.87 lei
6-8 săpt.
-20%
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Editat de Rohit Gheyi et al.
11 aug 2012
Paperback
Preț: 423.28 lei 529.10 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Editat de George Eleftherakis et al.
28 aug 2012
Paperback
Preț: 335.04 lei 418.80 lei
6-8 săpt.
-20%
Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings
Editat de Michela Milano
31 aug 2012
Paperback
Preț: 677.06 lei 846.33 lei
6-8 săpt.
-20%
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings
Editat de Gordon Fraser et al.
14 aug 2012
Paperback
Preț: 330.78 lei 413.48 lei
6-8 săpt.
-20%
Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings
Editat de Paris Avgeriou
10 aug 2012
Paperback
Preț: 421.01 lei 526.26 lei
6-8 săpt.
-20%
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Editat de Radu Calinescu et al.
14 sep 2012
Paperback
Preț: 336.19 lei 420.23 lei
6-8 săpt.
-20%
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Editat de Bernhard Beckert et al.
3 ian 2013
Paperback
Preț: 333.42 lei 416.77 lei
6-8 săpt.
-20%
Programming Languages: 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012, Proceedings
Editat de Francisco Heron de Carvalho Junior et al.
14 aug 2012
Paperback
Preț: 420.18 lei 525.22 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
Editat de Madhavan Mukund et al.
16 aug 2012
Paperback
Preț: 337.49 lei 421.86 lei
6-8 săpt.
-20%
21st Century Learning for 21st Century Skills: 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings
Editat de Andrew Ravenscroft et al.
14 aug 2012
Paperback
Preț: 343.37 lei 429.21 lei
6-8 săpt.
-20%
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
Editat de Robert Glück et al.
4 ian 2013
Paperback
Preț: 299.57 lei 374.46 lei
6-8 săpt.
-20%
Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
Editat de Mirco Tribastone et al.
3 feb 2013
Paperback
Preț: 424.43 lei 530.54 lei
6-8 săpt.
-20%
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings
Editat de Robert B. France et al.
23 aug 2012
Paperback
Preț: 356.98 lei 446.22 lei
6-8 săpt.
-20%
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
Editat de Flavio De Paoli et al.
17 aug 2012
Paperback
Preț: 301.71 lei 377.13 lei
6-8 săpt.
-20%
Model and Data Engineering: 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings
Editat de Alberto Abelló et al.
29 aug 2012
Paperback
Preț: 421.32 lei 526.65 lei
6-8 săpt.
-20%
Computer Safety, Reliability, and Security: 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Editat de Frank Ortmeier et al.
31 aug 2012
Paperback
Preț: 336.19 lei 420.23 lei
6-8 săpt.
-20%
Human-Centered Software Engineering: 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012, Proceedings
Editat de Marco Winckler et al.
21 sep 2012
Paperback
Preț: 334.54 lei 418.17 lei
6-8 săpt.
-20%
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Editat de Toshiaki Aoki et al.
19 sep 2012
Paperback
Preț: 341.24 lei 426.55 lei
6-8 săpt.
-20%
Service-Oriented Computing: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012, Proceedings
Editat de Chengfei Liu et al.
20 sep 2012
Paperback
Preț: 351.75 lei 439.69 lei
6-8 săpt.
-20%
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Editat de Brian Nielsen et al.
9 oct 2012
Paperback
Preț: 328.97 lei 411.21 lei
6-8 săpt.
-20%
Middleware 2012: ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings
Editat de Priya Narasimhan et al.
23 noi 2012
Paperback
Preț: 340.77 lei 425.96 lei
6-8 săpt.
-20%
Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
Editat de Ralf Lämmel et al.
3 ian 2013
Paperback
Preț: 338.14 lei 422.68 lei
6-8 săpt.
-20%
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Editat de Bertrand Meyer et al.
30 noi 2012
Paperback
Preț: 296.46 lei 370.58 lei
6-8 săpt.
-20%
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Editat de Corina S. Pasareanu et al.
9 ian 2013
Paperback
Preț: 425.73 lei 532.16 lei
6-8 săpt.
-20%
Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Editat de Shaz Qadeer et al.
11 ian 2013
Paperback
Preț: 331.93 lei 414.91 lei
6-8 săpt.
-20%
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Editat de Ranjit Jhala et al.
29 oct 2012
Paperback
Preț: 335.18 lei 418.97 lei
6-8 săpt.
-20%
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers
Editat de Ricardo J. Machado et al.
14 mai 2013
Paperback
Preț: 294.65 lei 368.32 lei
6-8 săpt.
-20%
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Editat de Antonin Kucera et al.
9 ian 2013
Paperback
Preț: 326.70 lei 408.38 lei
6-8 săpt.
-20%
System Analysis and Modeling: Theory and Practice: 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
Editat de Oystein Haugen et al.
2 feb 2013
Paperback
Preț: 424.24 lei 530.30 lei
6-8 săpt.
-20%
Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Editat de Krzysztof Czarnecki et al.
8 ian 2013
Paperback
Preț: 336.34 lei 420.42 lei
6-8 săpt.
-20%
Construction and Evolution of Code Generators: A Model-Driven and Service-Oriented Approach
Editat de Sven Jörges
9 ian 2013
Paperback
Preț: 328.83 lei 411.03 lei
6-8 săpt.
-20%
Selected Topics in Performance Evaluation and Benchmarking: 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers
Editat de Raghunath Nambiar et al.
31 ian 2013
Paperback
Preț: 298.13 lei 372.66 lei
6-8 săpt.
-20%
Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers
Editat de Aditya Ghose et al.
9 apr 2013
Paperback
Preț: 339.11 lei 423.89 lei
6-8 săpt.
-20%
Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Editat de Matthias Felleisen et al.
20 feb 2013
Paperback
Preț: 346.84 lei 433.55 lei
6-8 săpt.
-20%
Requirements Engineering: Foundation for Software Quality: 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
Editat de Joerg Doerr et al.
13 apr 2013
Paperback
Preț: 336.19 lei 420.23 lei
6-8 săpt.
-20%
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Editat de Maurice H. ter Beek et al.
25 apr 2013
Paperback
Preț: 295.31 lei 369.14 lei
6-8 săpt.
-20%
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Editat de David Clarke et al.
26 mar 2013
Paperback
Preț: 341.10 lei 426.37 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Editat de Armin Biere et al.
19 iul 2013
Paperback
Preț: 301.71 lei 377.13 lei
6-8 săpt.
-20%
Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
Editat de Marco Vieira et al.
25 mai 2013
Paperback
Preț: 297.95 lei 372.44 lei
6-8 săpt.
-20%
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Editat de Guillaume Brat et al.
17 apr 2013
Paperback
Preț: 340.44 lei 425.55 lei
6-8 săpt.
-20%
Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings
Editat de Rocco De Nicola et al.
17 mai 2013
Paperback
Preț: 328.65 lei 410.81 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Editat de Dirk Beyer et al.
16 mai 2013
Paperback
Preț: 331.93 lei 414.91 lei
6-8 săpt.
-20%
Reliable Software Technologies -- Ada-Europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
Editat de Hubert B. Keller et al.
16 mai 2013
Paperback
Preț: 296.65 lei 370.81 lei
6-8 săpt.
-20%
End-User Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings
Editat de Yvonne Dittrich et al.
17 mai 2013
Paperback
Preț: 331.29 lei 414.11 lei
6-8 săpt.
-20%
Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings
Editat de Keith Duddy et al.
25 mai 2013
Paperback
Preț: 423.13 lei 528.92 lei
6-8 săpt.
-20%
ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Editat de Giuseppe Castagna
6 iun 2013
Paperback
Preț: 353.04 lei 441.30 lei
6-8 săpt.
-20%
Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings
Editat de John Favaro et al.
6 iun 2013
Paperback
Preț: 333.88 lei 417.35 lei
6-8 săpt.
-20%
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Editat de Francesco Logozzo et al.
6 iun 2013
Paperback
Preț: 340.44 lei 425.55 lei
6-8 săpt.
-20%
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Editat de Marco Bernardo et al.
7 iun 2013
Paperback
Preț: 296.65 lei 370.81 lei
6-8 săpt.
-20%
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Editat de Einar Broch Johnsen et al.
24 mai 2013
Paperback
Preț: 338.00 lei 422.50 lei
6-8 săpt.
-20%
Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Editat de Margus Veanes et al.
7 iun 2013
Paperback
Preț: 423.45 lei 529.32 lei
6-8 săpt.
-20%
Human Factors in Computing and Informatics: First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings
Editat de Andreas Holzinger et al.
19 iun 2013
Paperback
Preț: 358.10 lei 447.63 lei
6-8 săpt.
-20%
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
Editat de Gerhard W. Dueck et al.
6 iun 2013
Paperback
Preț: 425.07 lei 531.34 lei
6-8 săpt.
-20%
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Editat de Pieter Van Gorp et al.
6 iun 2013
Paperback
Preț: 299.42 lei 374.27 lei
6-8 săpt.
-20%
Software Architecture: 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Editat de Khalil Drira
6 iun 2013
Paperback
Preț: 333.73 lei 417.17 lei
6-8 săpt.
-20%
Analytical and Stochastic Modeling Techniques and Applications: 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013, Proceedings
Editat de Alexander Dudin et al.
19 iul 2013
Paperback
Preț: 339.30 lei 424.13 lei
6-8 săpt.
-20%
Theory, Practice, and Applications of Rules on the Web: 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
Editat de Leora Morgenstern et al.
19 iul 2013
Paperback
Preț: 300.41 lei 375.50 lei
6-8 săpt.
-20%
Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, Saint Petersburg, Russia, August 19-20, 2013, Proceedings
Editat de João M. Lourenço et al.
14 iul 2013
Paperback
Preț: 293.36 lei 366.70 lei
6-8 săpt.
-20%
Search Based Software Engineering: 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Editat de Günther Ruhe et al.
19 iul 2013
Paperback
Preț: 332.25 lei 415.32 lei
6-8 săpt.
-20%
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Editat de Walter Binder et al.
30 iul 2013
Paperback
Preț: 323.09 lei 403.85 lei
6-8 săpt.
-20%