Filtre: Tipărit la comandă

Programming and Software Engineering

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

Lecture Notes in Computer Science, nr. 3709

Editat de Peter Van Beek

22 sep 2005

Preț: 640^.83 lei 801^.03 lei

6-8 săpt.

-20%

Model Driven Engineering Languages and Systems: 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3713

Editat de Lionel Briand et al.

19 sep 2005

Preț: 641^.77 lei 802^.21 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3731

Editat de Farn Wang

26 sep 2005

Preț: 633^.70 lei 792^.12 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings

Lecture Notes in Computer Science, nr. 4053

Editat de Mitsuru Ikeda et al.

9 iun 2006

Preț: 641^.75 lei 755^.00 lei

6-8 săpt.

-15%

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4085

Editat de Jayadev Misra et al.

10 aug 2006

Preț: 636^.70 lei 795^.87 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4204

Editat de Frédéric Benhamou

26 sep 2006

Preț: 644^.63 lei 805^.79 lei

6-8 săpt.

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4229

Editat de Elie Najm et al.

27 sep 2006

Preț: 631^.31 lei 789^.14 lei

6-8 săpt.

-20%

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1

Lecture Notes in Computer Science, nr. 4348

Editat de S. Tucker Taft et al.

22 dec 2006

Preț: 644^.31 lei 805^.39 lei

6-8 săpt.

-20%

ECOOP - Object-Oriented Programming: 21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4609

Editat de Erik Ernst

27 iul 2007

Preț: 628^.32 lei 785^.39 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4741

Editat de Christian Bessiere

6 sep 2007

Preț: 649^.52 lei 811^.90 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2007: Fifth International Conference, Vienna, Austria, September 17-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4749

Editat de Bernd Krämer et al.

12 sep 2007

Preț: 637^.51 lei 796^.88 lei

6-8 săpt.

-20%

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support: Results of the IMPROVE Project

Lecture Notes in Computer Science, nr. 4970

Editat de Manfred Nagl et al.

18 iul 2008

Preț: 648^.57 lei 810^.72 lei

6-8 săpt.

-20%

Autonomic and Trusted Computing: 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5060

Editat de Chunming Rong et al.

11 iun 2008

Preț: 638^.76 lei 798^.45 lei

6-8 săpt.

-20%

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 5088

Editat de Andy Schürr et al.

15 oct 2008

Preț: 636^.86 lei 796^.08 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5091

Editat de Beverly Woolf et al.

8 iul 2008

Preț: 642^.07 lei 755^.38 lei

6-8 săpt.

-15%

ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5142

Editat de Jan Vitek

iul 2008

Preț: 640^.83 lei 801^.03 lei

6-8 săpt.

-20%

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Lecture Notes in Computer Science, nr. 5366

Editat de Maria Garcia Banda et al.

2 dec 2008

Preț: 646^.38 lei 807^.97 lei

6-8 săpt.

-20%

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Lecture Notes in Computer Science, nr. 5569

Editat de Marco Bernardo et al.

12 mai 2009

Preț: 405^.98 lei 507^.48 lei

6-8 săpt.

-20%

ECOOP 2009 -- Object-Oriented Programming: 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5653

Editat de Sophia Drossopoulou

30 iun 2009

Preț: 635^.90 lei 794^.87 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming - CP 2009: 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5732

Editat de Ian P. Gent

7 sep 2009

Preț: 649^.52 lei 811^.90 lei

6-8 săpt.

-20%

Learning in the Synergy of Multiple Disciplines: 4th European Conference on Technology Enhanced Learning, EC-TEL 2009 Nice, France, September 29--October 2, 2009 Proceedings

Lecture Notes in Computer Science, nr. 5794

Editat de Ulrike Cress et al.

15 sep 2009

Preț: 642^.07 lei 755^.38 lei

6-8 săpt.

-15%

Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5795

Editat de Andy Schürr et al.

15 sep 2009

Preț: 644^.00 lei 805^.01 lei

6-8 săpt.

-20%

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5850

Editat de Ana Cavalcanti et al.

26 oct 2009

Preț: 646^.38 lei 807^.97 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5885

Editat de Karin Breitman et al.

17 noi 2009

Preț: 643^.20 lei 804^.00 lei

6-8 săpt.

-20%

HCI and Usability for e-Inclusion: 5th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2009, Linz, Austria, November 9-10, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5889

Editat de Andreas Holzinger et al.

26 oct 2009

Preț: 635^.26 lei 794^.08 lei

6-8 săpt.

-20%

Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5900

Editat de Luciano Baresi et al.

17 noi 2009

Preț: 639^.25 lei 799^.07 lei

6-8 săpt.

-20%

Towards a Service-Based Internet. ServiceWave 2010 Workshops: International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6569

Editat de Michel Cezon et al.

12 oct 2011

Preț: 400^.70 lei 500^.88 lei

6-8 săpt.

-20%

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Lecture Notes in Computer Science, nr. 6582

Editat de Martin Wirsing et al.

9 mai 2011

Preț: 643^.20 lei 804^.00 lei

6-8 săpt.

-20%

Model and Data Engineering: First International Conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6918

Editat de Ladjel Bellatreche et al.

15 sep 2011

Preț: 403^.07 lei 503^.84 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6968

Editat de Elena A. Troubitsyna

19 sep 2011

Preț: 396^.07 lei 495^.09 lei

6-8 săpt.

-20%

Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 7007

Editat de Bertrand Meyer et al.

9 ian 2012

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Lecture Notes in Computer Science, nr. 7021

Editat de Adenilso Simao et al.

28 oct 2011

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Middleware 2011: ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7049

Editat de Fabio Kon et al.

2 dec 2011

Preț: 632^.89 lei 791^.11 lei

6-8 săpt.

-20%

Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7119

Editat de Zdeněk Kotásek et al.

10 ian 2012

Preț: 398^.63 lei 498^.29 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

Lecture Notes in Computer Science, nr. 7151

Editat de Zhiming Liu et al.

6 iul 2012

Preț: 409^.92 lei 512^.40 lei

6-8 săpt.

-20%

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7305

Editat de Achim Brucker et al.

16 mai 2012

Preț: 396^.70 lei 495^.88 lei

6-8 săpt.

-20%

Intelligent Tutoring Systems: 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7315

Editat de Stefano A. Cerri et al.

11 iun 2012

Preț: 401^.69 lei

6-8 săpt.

Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 7365

Editat de Maritta Heisel

31 mai 2012

Preț: 398^.31 lei 497^.89 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

Lecture Notes in Computer Science, nr. 7587

Editat de Mirco Tribastone et al.

3 feb 2013

Preț: 411^.19 lei 513^.99 lei

6-8 săpt.

-20%

Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Lecture Notes in Computer Science, nr. 7789

Editat de Jens Weber et al.

18 iul 2013

Preț: 409^.92 lei 512^.40 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7909

Editat de Keith Duddy et al.

25 mai 2013

Preț: 409^.92 lei 512^.40 lei

6-8 săpt.

-20%

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7942

Editat de Margus Veanes et al.

7 iun 2013

Preț: 410^.23 lei 512^.80 lei

6-8 săpt.

-20%

Reversible Computation: 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7948

Editat de Gerhard W. Dueck et al.

6 iun 2013

Preț: 411^.81 lei 514^.76 lei

6-8 săpt.

-20%

Ada 2012 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/2012 (E)

Lecture Notes in Computer Science, nr. 8339

Editat de S. Tucker Taft et al.

15 ian 2014

Preț: 978^.60 lei 1223^.24 lei

6-8 săpt.

-20%

Service-Oriented Computing--ICSOC 2013 Workshops: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

Lecture Notes in Computer Science, nr. 8377

Editat de Alessio Lomuscio et al.

21 mai 2014

Preț: 634^.94 lei 793^.68 lei

6-8 săpt.

-20%

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8442

Editat de Cliff Jones et al.

9 apr 2014

Preț: 642^.89 lei 803^.61 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8656

Editat de Barry O'Sullivan

19 aug 2014

Preț: 652^.56 lei 815^.69 lei

6-8 săpt.

-20%

Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9548

Editat de Jan Kofroň et al.

4 feb 2016

Preț: 614^.52 lei 768^.14 lei

6-8 săpt.

-20%

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9681

Editat de Erika Ábrahám et al.

24 mai 2016

Preț: 523^.37 lei 654^.21 lei

6-8 săpt.

-20%

NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9690

Editat de Sanjai Rayadurgam et al.

4 iun 2016

Preț: 407^.50 lei 509^.38 lei

6-8 săpt.

-20%

Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9718

Editat de Jose Julio Alferes et al.

28 iun 2016

Preț: 624^.51 lei 780^.63 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9892

Editat de Michel Rueher

23 aug 2016

Preț: 650^.32 lei 812^.90 lei

6-8 săpt.

-20%

Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9936

Editat de Quan Z. Sheng et al.

20 sep 2016

Preț: 647^.77 lei 809^.72 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10033

Editat de Christophe Debruyne et al.

18 oct 2016

Preț: 654^.12 lei 817^.66 lei

6-8 săpt.

-20%

Lectures on Runtime Verification: Introductory and Advanced Topics

Lecture Notes in Computer Science, nr. 10457

Editat de Ezio Bartocci et al.

11 feb 2018

Preț: 399^.27 lei 499^.08 lei

6-8 săpt.

-20%

Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10601

Editat de Michael Maximilien et al.

19 oct 2017

Preț: 643^.02 lei 803^.77 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 515^.51 lei 644^.39 lei

38-44 zile

-20%

New Opportunities for Software Reuse: 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10826

Editat de Rafael Capilla et al.

17 apr 2018

Preț: 774^.59 lei 968^.24 lei

6-8 săpt.

-20%

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10951

Editat de Klaus Havelund et al.

12 iul 2018

Preț: 585^.31 lei 731^.65 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11008

Editat de John Hooker

23 aug 2018

Preț: 644^.13 lei 805^.17 lei

6-8 săpt.

-20%

Search-Based Software Engineering: 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11036

Editat de Thelma Elita Colanzi et al.

22 aug 2018

Preț: 434^.66 lei 543^.33 lei

6-8 săpt.

-20%

Software Architecture: 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11048

Editat de Carlos E. Cuesta et al.

15 sep 2018

Preț: 433^.87 lei 542^.33 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11094

Editat de Barbara Gallina et al.

21 aug 2018

Preț: 524^.62 lei 655^.78 lei

6-8 săpt.

-20%

Service-Oriented Computing: 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11236

Editat de Claus Pahl et al.

7 noi 2018

Preț: 650^.02 lei 812^.52 lei

6-8 săpt.

-20%

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11237

Editat de Christian Colombo et al.

8 noi 2018

Preț: 492^.67 lei 615^.84 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11412

Editat de Eric Knauss et al.

8 mar 2019

Preț: 430^.40 lei 538^.01 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11535

Editat de Jorge A. Pérez et al.

29 mai 2019

Preț: 402^.75 lei 503^.44 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11699

Editat de Alexander Romanovsky et al.

9 aug 2019

Preț: 435^.46 lei 544^.33 lei

6-8 săpt.

-20%

OpenMP: Conquering the Full Hardware Spectrum: 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11718

Editat de Xing Fan et al.

9 aug 2019

Preț: 431^.48 lei 539^.35 lei

6-8 săpt.

-20%

On the Move to Meaningful Internet Systems: OTM 2019 Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11877

Editat de Hervé Panetto et al.

11 oct 2019

Preț: 588^.99 lei 736^.24 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12136

Editat de Alexey Gotsman et al.

10 iun 2020

Preț: 399^.71 lei 499^.64 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12226

Editat de Javier Camara et al.

10 sep 2020

Preț: 456^.14 lei 570^.17 lei

6-8 săpt.

-20%

NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12229

Editat de Ritchie Lee et al.

9 aug 2020

Preț: 464^.56 lei 580^.70 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12234

Editat de António Casimiro et al.

20 aug 2020

Preț: 574^.38 lei 717^.98 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12235

Editat de António Casimiro et al.

6 aug 2020

Preț: 572^.34 lei 715^.42 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing

Programming and Software Engineering

Editat de Kerstin Eder et al.

9 oct 2012

Preț: 412^.98 lei 516^.22 lei

6-8 săpt.

-20%

OpenMP: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12295

Editat de Kent Milfeld et al.

2 sep 2020

Preț: 486^.66 lei 608^.32 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Stefan Trausan-Matu et al.

21 mai 2014

Preț: 638^.96 lei 751^.71 lei

6-8 săpt.

-15%

Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12297

Editat de Marc Zeller et al.

4 sep 2020

Preț: 400^.51 lei 500^.64 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12333

Editat de Helmut Simonis

7 sep 2020

Preț: 981^.45 lei 1226^.82 lei

6-8 săpt.

-20%

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12389

Editat de David Pichardie et al.

13 ian 2021

Preț: 461^.21 lei 576^.51 lei

6-8 săpt.

-20%

Search-Based Software Engineering: 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12420

Editat de Aldeida Aleti et al.

30 sep 2020

Preț: 483^.03 lei 603^.78 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12475

Editat de Gustavo Carvalho et al.

20 noi 2020

Preț: 399^.09 lei 498^.86 lei

6-8 săpt.

-20%

Service-Oriented Computing: 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12571

Editat de Eleanna Kafeza et al.

9 dec 2020

Preț: 690^.90 lei 863^.62 lei

6-8 săpt.

-20%

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12673

Editat de Aaron Dutle et al.

17 mai 2021

Preț: 571^.69 lei 714^.62 lei

6-8 săpt.

-20%

Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12851

Editat de Sotiris Moschoyiannis et al.

2 dec 2021

Preț: 401^.45 lei 501^.82 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops: DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12853

Editat de Ibrahim Habli et al.

7 aug 2021

Preț: 568^.08 lei 710^.09 lei

6-8 săpt.

-20%

Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12857

Editat de Stefan Biffl et al.

26 aug 2021

Preț: 568^.52 lei 710^.66 lei

6-8 săpt.

-20%

OpenMP: Enabling Massive Node-Level Parallelism: 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12870

Editat de Simon McIntosh-Smith et al.

14 aug 2021

Preț: 453^.77 lei 567^.21 lei

6-8 săpt.

-20%

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12913

Editat de Cezara Drăgoi et al.

14 oct 2021

Preț: 520^.65 lei 650^.80 lei

6-8 săpt.

-20%

Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12974

Editat de Lu Feng et al.

6 oct 2021

Preț: 486^.04 lei 607^.55 lei

6-8 săpt.

-20%

Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13008

Editat de Hakjoo Oh

9 oct 2021

Preț: 485^.71 lei 607^.15 lei

6-8 săpt.

-20%

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13047

Editat de Marieke Huisman et al.

10 noi 2021

Preț: 699^.94 lei 874^.94 lei

6-8 săpt.

-20%

Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13104

Editat de Paolo Ballarini et al.

27 noi 2021

Preț: 466^.44 lei 583^.06 lei

6-8 săpt.

-20%

Service-Oriented Computing: 19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13121

Editat de Hakim Hacid et al.

18 noi 2021

Preț: 815^.03 lei 1018^.78 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13165

Editat de James Cheney et al.

12 ian 2022

Preț: 398^.95 lei 498^.68 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering