Filtre:

Programming and Software Engineering

Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5521

Editat de John Field et al.

25 mai 2009

Preț: 340^.04 lei 425^.05 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Roderick Bloem et al.

22 feb 2022

Preț: 344^.04 lei 430^.06 lei

43-57 zile

-20%

Accelerator Programming Using Directives

Programming and Software Engineering

Editat de Sridutt Bhalachandra et al.

15 mai 2022

Preț: 341^.59 lei 426^.99 lei

43-57 zile

-20%

Scaling up Learning for Sustained Impact

Programming and Software Engineering

Editat de Davinia Hernández-Leo et al.

12 sep 2013

Preț: 340^.15 lei 425^.19 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Mohamed Adel Serhani et al.

13 feb 2022

Preț: 339^.75 lei 424^.69 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3707

Editat de Doron A. Peled et al.

19 sep 2005

Preț: 330^.54 lei 413^.16 lei

22-36 zile

-20%

Creating New Learning Experiences on a Global Scale: Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4753

Editat de Erik Duval et al.

31 aug 2007

Preț: 386^.52 lei

43-57 zile

Times of Convergence. Technologies Across Learning Contexts: Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5192

Editat de Pierre Dillenbourg et al.

8 sep 2008

Preț: 385^.99 lei

43-57 zile

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers

Lecture Notes in Computer Science, nr. 5235

Editat de Ralf Lämmel et al.

8 oct 2008

Preț: 332^.10 lei 415^.13 lei

43-57 zile

-20%

Analytical and Stochastic Modeling Techniques and Applications: 16th International Conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5513

Editat de Khalid Al-Begain et al.

25 mai 2009

Preț: 334^.49 lei 418^.11 lei

43-57 zile

-20%

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5649

Editat de Patricia M. Hill et al.

24 iun 2009

Preț: 335^.29 lei 419^.11 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Yamine Ait-Ameur et al.

6 oct 2019

Preț: 334^.04 lei 417^.55 lei

43-57 zile

-20%

Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6285

Editat de Muhammad Ali Babar et al.

11 aug 2010

Preț: 333^.68 lei 417^.09 lei

43-57 zile

-20%

Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

Lecture Notes in Computer Science, nr. 6491

Editat de João M. Fernandes et al.

3 ian 2011

Preț: 330^.54 lei 413^.16 lei

43-57 zile | 6-12 zile

-20%

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6617

Editat de Mihaela Bobaru et al.

6 apr 2011

Preț: 333^.68 lei 417^.09 lei

43-57 zile

-20%

Towards Ubiquitous Learning: 6th European Conference on Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6964

Editat de Carlos Delgado Kloos et al.

9 sep 2011

Preț: 333^.68 lei 417^.09 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6996

Editat de Tevfik Bultan et al.

21 sep 2011

Preț: 332^.10 lei 415^.13 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Bor-Yuh Evan Chang

6 oct 2019

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

ECOOP 2011--Object-Oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6813

Editat de Mira Mezini

18 iul 2011

Preț: 337^.66 lei 422^.08 lei

43-57 zile

-20%

Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6981

Editat de Jon Whittle et al.

23 sep 2011

Preț: 341^.47 lei 426^.84 lei

43-57 zile

-20%

Information Quality in e-Health: 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7058

Editat de Andreas Holzinger et al.

18 noi 2011

Preț: 340^.54 lei 425^.67 lei

43-57 zile

-20%

Service Oriented Computing: 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7084

Editat de Gerti Kappel et al.

29 noi 2011

Preț: 338^.78 lei 423^.48 lei

43-57 zile

-20%

Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Lecture Notes in Computer Science, nr. 7165

Editat de Alexis De Vos et al.

20 apr 2012

Preț: 394^.21 lei 492^.75 lei

43-57 zile

-20%

Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7176

Editat de Marco Carbone et al.

23 apr 2012

Preț: 395^.90 lei 494^.88 lei

43-57 zile

-20%

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7211

Editat de Helmut Seidl

14 mar 2012

Preț: 336^.55 lei 420^.69 lei

43-57 zile

-20%

Multicore Software Engineering, Performance and Tools: International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7303

Editat de Victor Pankratius et al.

20 iun 2012

Preț: 393^.54 lei 491^.92 lei

43-57 zile

-20%

Programming and Software Engineering

Editat de Rocco De Nicola et al.

4 feb 2015

Preț: 342^.00 lei 427^.51 lei

43-57 zile

-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

43-57 zile

-20%

ECOOP 2012 -- Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7313

Editat de James Noble

23 mai 2012

Preț: 343^.23 lei 429^.04 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 7792

Editat de Matthias Felleisen et al.

20 feb 2013

Preț: 336^.09 lei 420^.11 lei

43-57 zile

-20%

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7871

Editat de Guillaume Brat et al.

17 apr 2013

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7935

Editat de Francesco Logozzo et al.

6 iun 2013

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Human Factors in Computing and Informatics: First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7946

Editat de Andreas Holzinger et al.

19 iun 2013

Preț: 347^.00 lei 433^.74 lei

43-57 zile

-20%

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers

Lecture Notes in Computer Science, nr. 7991

Editat de Antonio Cerone et al.

11 mar 2014

Preț: 374^.91 lei

43-57 zile

Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8767

Editat de Juergen Dingel et al.

22 sep 2014

Preț: 339^.73 lei 424^.65 lei

43-57 zile

-20%

Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8831

Editat de Xavier Franch et al.

27 oct 2014

Preț: 335^.29 lei 419^.11 lei

43-57 zile

-20%

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Programming and Software Engineering

Editat de Simon Collart-Dutilleul et al.

24 apr 2019

Preț: 376^.87 lei 471^.08 lei

43-57 zile

-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

Lecture Notes in Computer Science, nr. 7563

Editat de Andrew Ravenscroft et al.

14 aug 2012

Preț: 332^.74 lei 415^.93 lei

43-57 zile

-20%

Aliasing in Object-Oriented Programming: Types, Analysis and Verification

Lecture Notes in Computer Science, nr. 7850

Editat de David Clarke et al.

26 mar 2013

Preț: 330^.54 lei 413^.16 lei

43-57 zile

-20%

ECOOP 2013 -- Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings

Lecture Notes in Computer Science, nr. 7920

Editat de Giuseppe Castagna

6 iun 2013

Preț: 342^.11 lei 427^.64 lei

43-57 zile

-20%

ECOOP 2014 -- Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8586

Editat de Richard Jones

6 aug 2014

Preț: 340^.04 lei 425^.05 lei

43-57 zile

-20%

Search-Based Software Engineering: 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8636

Editat de Claire Le Goues et al.

8 aug 2014

Preț: 347^.26 lei 434^.08 lei

43-57 zile

-20%

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8858

Editat de Jacques Garrigue

23 oct 2014

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9255

Editat de Gilles Pesant

13 aug 2015

Preț: 342^.25 lei 427^.81 lei

43-57 zile

-20%

Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

Lecture Notes in Computer Science, nr. 9278

Editat de Danny Weyns et al.

26 aug 2015

Preț: 347^.70 lei 434^.62 lei

38-44 zile

-20%

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9364

Editat de Bernd Finkbeiner et al.

22 noi 2015

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Service-Oriented Computing: 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9435

Editat de Alistair Barros et al.

26 noi 2015

Preț: 330^.36 lei 412^.95 lei

43-57 zile

-20%

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9458

Editat de Xinyu Feng et al.

10 dec 2015

Preț: 330^.68 lei 413^.35 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9459

Editat de Pekka Abrahamsson et al.

10 noi 2015

Preț: 336^.09 lei 420^.11 lei

43-57 zile

-20%

Intelligent Tutoring Systems: 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9684

Editat de Alessandro Micarelli et al.

3 iun 2016

Preț: 388^.78 lei

43-57 zile

Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9837

Editat de Xavier Rival

31 aug 2016

Preț: 330^.54 lei 413^.16 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9938

Editat de Cyrille Artho et al.

22 sep 2016

Preț: 331^.48 lei 414^.35 lei

43-57 zile

-20%

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9995

Editat de John Fitzgerald et al.

8 noi 2016

Preț: 344^.30 lei 430^.38 lei

43-57 zile

-20%

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10012

Editat de Yliès Falcone et al.

20 sep 2016

Preț: 331^.17 lei 413^.96 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10027

Editat de Pekka Abrahamsson et al.

6 noi 2016

Preț: 343^.53 lei 429^.41 lei

43-57 zile

-20%

Theory and Models for Cyber Situation Awareness

Lecture Notes in Computer Science, nr. 10030

Editat de Peng Liu et al.

7 iul 2017

Preț: 344^.26 lei 430^.31 lei

43-57 zile

-20%

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10300

Editat de Johann Blieberger et al.

30 mai 2017

Preț: 345^.82 lei 432^.28 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10416

Editat de J. Christopher Beck

23 aug 2017

Preț: 341^.79 lei 427^.24 lei

43-57 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2017 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10573

Editat de Hervé Panetto et al.

20 oct 2017

Preț: 343^.37 lei 429^.20 lei

43-57 zile

-20%

Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10610

Editat de Zhenhua Duan et al.

14 oct 2017

Preț: 330^.23 lei 412^.79 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10611

Editat de Michael Felderer et al.

28 oct 2017

Preț: 336^.55 lei 420^.69 lei

43-57 zile

-20%

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10623

Editat de Simone Cavalheiro et al.

12 noi 2017

Preț: 390^.38 lei 487^.97 lei

22-36 zile | 6-12 zile

-20%

Performance Evaluation and Benchmarking for the Analytics Era: 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10661

Editat de Raghunath Nambiar et al.

10 ian 2018

Preț: 342^.56 lei 428^.19 lei

43-57 zile

-20%

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence: 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10679

Editat de Manjunath Gorentla Venkata et al.

10 ian 2018

Preț: 342^.25 lei 427^.81 lei

43-57 zile

-20%

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10695

Editat de Bor-Yuh Evan Chang

19 noi 2017

Preț: 332^.92 lei 416^.15 lei

43-57 zile

-20%

Accelerator Programming Using Directives: 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10732

Editat de Sunita Chandrasekaran et al.

31 ian 2018

Preț: 342^.38 lei 427^.97 lei

43-57 zile

-20%

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10760

Editat de Marten Lohstroh et al.

20 iul 2018

Preț: 332^.60 lei 415^.75 lei

43-57 zile

-20%

Intelligent Tutoring Systems: 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10858

Editat de Roger Nkambou et al.

17 mai 2018

Preț: 387^.47 lei

43-57 zile

Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10966

Editat de Hai Jin et al.

19 iun 2018

Preț: 330^.98 lei 413^.73 lei

43-57 zile

-20%

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Lecture Notes in Computer Science, nr. 11026

Editat de Amel Bennaceur et al.

21 iul 2018

Preț: 373^.16 lei 466^.46 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11138

Editat de Shuvendu K. Lahiri et al.

30 sep 2018

Preț: 365^.80 lei 457^.25 lei

38-44 zile

-20%

On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11230

Editat de Hervé Panetto et al.

18 oct 2018

Preț: 335^.74 lei 419^.68 lei

43-57 zile

-20%

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11254

Editat de Tiago Massoni et al.

24 oct 2018

Preț: 373^.80 lei 467^.25 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11434

Editat de Xiao Liu et al.

10 apr 2019

Preț: 329^.91 lei 412^.39 lei

43-57 zile

-20%

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11497

Editat de Michael Kirkedal Thomsen et al.

23 mai 2019

Preț: 372^.54 lei 465^.68 lei

43-57 zile

-20%

End-User Development: 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11553

Editat de Alessio Malizia et al.

3 iul 2019

Preț: 373^.35 lei 466^.69 lei

43-57 zile

-20%

Software Architecture: 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11681

Editat de Tomas Bures et al.

30 aug 2019

Preț: 355^.52 lei 444^.40 lei

22-36 zile | 6-12 zile

-20%

Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11698

Editat de Alexander Romanovsky et al.

8 aug 2019

Preț: 376^.49 lei 470^.62 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11781

Editat de Yu-Fang Chen et al.

6 oct 2019

Preț: 332^.42 lei 415^.53 lei

43-57 zile

-20%

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11800

Editat de Maurice H. ter Beek et al.

15 sep 2019

Preț: 343^.53 lei 429^.41 lei

43-57 zile

-20%

Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11802

Editat de Thomas Schiex et al.

30 aug 2019

Preț: 344^.48 lei 430^.60 lei

43-57 zile

-20%

Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11893

Editat de Anthony Widjaja Lin

9 noi 2019

Preț: 329^.74 lei 412^.17 lei

43-57 zile

-20%

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11895

Editat de Sami Yangui et al.

26 oct 2019

Preț: 334^.34 lei 417^.93 lei

43-57 zile

-20%

Product-Focused Software Process Improvement: 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11915

Editat de Xavier Franch et al.

14 noi 2019

Preț: 343^.37 lei 429^.20 lei

43-57 zile

-20%

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11918

Editat de Wolfgang Ahrendt et al.

15 noi 2019

Preț: 332^.92 lei 416^.15 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2019 Workshops: WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12019

Editat de Sami Yangui et al.

12 apr 2020

Preț: 341^.57 lei 426^.96 lei

38-44 zile

-20%

Intelligent Tutoring Systems: 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12149

Editat de Vivekanandan Kumar et al.

3 iun 2020

Preț: 382^.85 lei

43-57 zile

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Lecture Notes in Computer Science, nr. 12233

Editat de Emil Sekerinski et al.

11 aug 2020

Preț: 333^.87 lei 417^.33 lei

43-57 zile

-20%

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12302

Editat de Dang Van Hung et al.

12 oct 2020

Preț: 333^.68 lei 417^.09 lei

43-57 zile

-20%

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12399

Editat de Jyotirmoy Deshmukh et al.

8 oct 2020

Preț: 332^.29 lei 415^.36 lei

43-57 zile

-20%

From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12611

Editat de Juliana Bowles et al.

5 mar 2021

Preț: 371^.74 lei 464^.68 lei

43-57 zile

-20%

Service-Oriented Computing – ICSOC 2020 Workshops: AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12632

Editat de Hakim Hacid et al.

30 mai 2021

Preț: 337^.35 lei 421^.69 lei

43-57 zile

-20%

Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12677

Editat de Alexandra I. Cristea et al.

9 iul 2021

Preț: 387^.47 lei

43-57 zile

Search-Based Software Engineering: 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12914

Editat de Una-May O'Reilly et al.

oct 2021

Preț: 341^.88 lei 427^.35 lei

43-57 zile

-20%

Advances in Conceptual Modeling: ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13012

Editat de Iris Reinhartz-Berger et al.

13 oct 2021

Preț: 340^.26 lei 425^.33 lei

43-57 zile

-20%

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 13065

Editat de Ezio Bartocci et al.

28 sep 2021

Preț: 342^.96 lei 428^.69 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Programming and Software Engineering