Filtre: Tipărit la comandă

Programming and Software Engineering

Accelerator Programming Using Directives

Editat de Sridutt Bhalachandra et al.

15 mai 2022

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

6-8 săpt.

-20%

Formal Methods: Foundations and Applications

Programming and Software Engineering

Editat de Leila Ribeiro et al.

13 noi 2016

Preț: 319^.36 lei 399^.20 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Mohamed Adel Serhani et al.

13 feb 2022

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

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Roderick Bloem et al.

22 feb 2022

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

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 5835

Editat de Rogério de Lemos et al.

2 noi 2009

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-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

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%

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

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

Lecture Notes in Computer Science, nr. 7273

Editat de Holger Giese et al.

31 mai 2012

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Coordination Models and Languages: 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7274

Editat de Marjan Sirjani

31 mai 2012

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 7320

Editat de Marco Bernardo et al.

14 iun 2012

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7343

Editat de Oscar Dieste et al.

31 mai 2012

Preț: 325^.79 lei 407^.24 lei

6-8 săpt.

-20%

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 7682

Editat de Bertrand Meyer et al.

30 noi 2012

Preț: 287^.32 lei 359^.15 lei

6-8 săpt.

-20%

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8356

Editat de Stephen Poole et al.

4 mar 2014

Preț: 315^.31 lei 394^.14 lei

6-8 săpt.

-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

Lecture Notes in Computer Science, nr. 8368

Editat de Steve Counsell et al.

apr 2014

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-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

Lecture Notes in Computer Science, nr. 8376

Editat de Kai Fischbach et al.

4 mar 2014

Preț: 337^.64 lei 422^.04 lei

38-44 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

Lecture Notes in Computer Science, nr. 8418

Editat de Thomas Bauer et al.

25 iul 2014

Preț: 258^.10 lei 322^.62 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%

Software Engineering in Health Care: 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9062

Editat de Michaela Huhn et al.

27 iul 2017

Preț: 317^.68 lei 397^.10 lei

6-8 săpt.

-20%

Service-Oriented Computing – ICSOC 2015 Workshops: WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9586

Editat de Alex Norta et al.

26 apr 2016

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

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

6-8 săpt.

-20%

Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9839

Editat de Bedir Tekinerdogan et al.

4 noi 2016

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-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

6-8 săpt.

-20%

System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9959

Editat de Jens Grabowski et al.

13 sep 2016

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9962

Editat de Federica Sarro et al.

24 sep 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9964

Editat de Marko van Eekelen et al.

27 sep 2016

Preț: 312^.30 lei 390^.38 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9971

Editat de Sandrine Blazy et al.

8 noi 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9976

Editat de Franz Wotawa et al.

4 oct 2016

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Scala: From a Functional Programming Perspective: An Introduction to the Programming Language

Lecture Notes in Computer Science, nr. 9980

Autor Vicenç Torra

21 sep 2016

Preț: 312^.30 lei 390^.38 lei

6-8 săpt.

-20%

Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9984

Editat de Martin Fränzle et al.

6 oct 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10009

Editat de Kazuhiro Ogata et al.

15 oct 2016

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

6-8 săpt.

-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

6-8 săpt.

-20%

Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10017

Editat de Atsushi Igarashi

9 oct 2016

Preț: 328^.62 lei 410^.77 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10028

Editat de Roderick Bloem et al.

noi 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-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

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%

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things: 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10080

Editat de Raghunath Nambiar et al.

18 feb 2017

Preț: 314^.22 lei 392^.77 lei

6-8 săpt.

-20%

Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10137

Editat de Yuliya Lierler et al.

17 dec 2016

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10153

Editat de Paul Grünbacher et al.

21 feb 2017

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10160

Editat de Thomas Gibson-Robinson et al.

18 dec 2016

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10224

Editat de Jürgen Großmann et al.

25 apr 2017

Preț: 313^.74 lei 392^.17 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Reversible Computation: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10301

Editat de Iain Phillips et al.

25 mai 2017

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Coordination Models and Languages: 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10319

Editat de Jean-Marie Jacquet et al.

27 mai 2017

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10364

Editat de Stefania Costantini et al.

14 iun 2017

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Serviceology for Services: 5th International Conference, ICServ 2017, Vienna, Austria, July 12-14, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10371

Editat de Yoshinori Hara et al.

4 iul 2017

Preț: 317^.85 lei 397^.31 lei

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10378

Editat de Nigel Thomas et al.

9 iun 2017

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Theory and Practice of Model Transformation

Programming and Software Engineering

Editat de Esther Guerra et al.

20 iun 2017

Preț: 316^.06 lei 395^.08 lei

6-8 săpt.

-20%

Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Lecture Notes in Computer Science, nr. 10223

Editat de Jácome Cunha et al.

29 iun 2017

Preț: 317^.55 lei 396^.94 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Anthony Anjorin et al.

20 iun 2017

Preț: 322^.82 lei 403^.53 lei

6-8 săpt.

-20%

Mastering Scale and Complexity in Software Reuse: 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10221

Editat de Goetz Botterweck et al.

5 apr 2017

Preț: 317^.36 lei 396^.70 lei

6-8 săpt.

-20%

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10227

Editat de Clark Barrett et al.

9 apr 2017

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10231

Editat de Olga Kouchnarenko et al.

13 apr 2017

Preț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%

End-User Development: 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10303

Editat de Simone Barbosa et al.

14 mai 2017

Preț: 315^.31 lei 394^.14 lei

6-8 săpt.

-20%

Challenges and Opportunity with Big Data

Programming and Software Engineering

Editat de Lin Zhang et al.

4 aug 2017

Preț: 317^.08 lei 396^.35 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10321

Editat de Ahmed Bouajjani et al.

28 mai 2017

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-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

6-8 săpt.

-20%

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10437

Editat de Marco Bozzano et al.

2 aug 2017

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Search Based Software Engineering: 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10452

Editat de Tim Menzies et al.

17 aug 2017

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Scaling OpenMP for Exascale Performance and Portability: 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10468

Editat de Bronis R. de Supinski et al.

17 aug 2017

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10475

Editat de Antónia Lopes et al.

16 aug 2017

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10479

Editat de Alexander Romanovsky et al.

12 aug 2017

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10488

Editat de Stefano Tonetta et al.

17 aug 2017

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11232

Editat de Jing Sun et al.

11 oct 2018

Preț: 329^.25 lei 411^.55 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%

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity: 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11283

Editat de Swaroop Pophale et al.

19 mar 2019

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Software Analysis, Testing, and Evolution: 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11293

Editat de Lei Bu et al.

20 noi 2018

Preț: 316^.73 lei 395^.91 lei

6-8 săpt.

-20%

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11460

Editat de Julia M. Badger et al.

28 mai 2019

Preț: 434^.83 lei 543^.54 lei

6-8 săpt.

-20%

Services Computing – SCC 2019: 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11515

Editat de Joao Eduardo Ferreira et al.

19 iun 2019

Preț: 312^.17 lei 390^.21 lei

6-8 săpt.

-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

6-8 săpt.

-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

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%

Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12017

Editat de Sandra Wienke et al.

25 iun 2020

Preț: 314^.04 lei 392^.55 lei

6-8 săpt.

-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^.85 lei 427^.31 lei

38-44 zile

-20%

Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12045

Editat de Nazim Madhavji et al.

19 mar 2020

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 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. 12134

Editat de Simon Bliudze et al.

10 iun 2020

Preț: 325^.79 lei 407^.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%

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

6-8 săpt.

Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12165

Editat de Wolfgang Ahrendt et al.

20 iun 2020

Preț: 315^.00 lei 393^.74 lei

6-8 săpt.

-20%

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Lecture Notes in Computer Science, nr. 12180

Editat de Andreas Blass et al.

23 mai 2020

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12227

Editat de Ivan Lanese et al.

9 iul 2020

Preț: 319^.75 lei 399^.68 lei

6-8 săpt.

-20%

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

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%

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%

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%

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%

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13077

Editat de Gwen Salaün et al.

5 noi 2021

Preț: 287^.32 lei 359^.15 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Chung-Chien Shan

18 noi 2013

Preț: 325^.88 lei 407^.36 lei

6-8 săpt.

-20%

Programming and Software Engineering

Editat de Martin Erwig et al.

26 sep 2013

Preț: 326^.27 lei 407^.84 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