Filtre: Engleză Paperback Șterge tot

Cărți inginerie software, pagina 9 în limba Engleză

769-864 din 2,255 rezultate

CONCUR 2011 -- Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6901

Editat de Joost-Pieter Katoen et al.

26 aug 2011

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

22-36 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%

Knowledge Science, Engineering and Management: 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8041

Editat de Mingzheng Wang

14 iul 2013

Preț: 335^.11 lei 418^.89 lei

43-57 zile

-20%

Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986

Lecture Notes in Computer Science, nr. 244

Editat de Reidar Conradi et al.

18 mar 1987

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

43-57 zile

-20%

Elements of Hypermedia Design: Techniques for Navigation & Visualization in Cyberspace

Autor Peter Gloor

feb 1997

Preț: 334^.67 lei 418^.33 lei

43-57 zile

-20%

Autor Derk-Jan de Grood

19 oct 2010

Preț: 353^.14 lei 441^.41 lei

43-57 zile

-20%

Conceptual Modeling - ER 2008: 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5231

Editat de Qing Li et al.

7 oct 2008

Preț: 334^.49 lei 418^.11 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%

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 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. 7214

Editat de Cormac Flanagan et al.

14 mar 2012

Preț: 334^.49 lei 418^.11 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%

Principles and Practice of Constraint Programming - CP'96: Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings

Lecture Notes in Computer Science, nr. 1118

Editat de Eugene C. Freuder

7 aug 1996

Preț: 334^.18 lei 417^.72 lei

43-57 zile

-20%

Conceptual Modeling: 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11788

Editat de Alberto H. F. Laender et al.

26 oct 2019

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

43-57 zile

-20%

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Lecture Notes in Computer Science, nr. 11865

Editat de Maurice H. ter Beek et al.

14 sep 2019

Preț: 333^.68 lei 417^.09 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%

Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6346

Editat de Mark de Berg et al.

30 aug 2010

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

22-36 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%

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Lecture Notes in Computer Science, nr. 6659

Editat de Marco Bernardo et al.

3 iun 2011

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

22-36 zile

-20%

Conceptual Modeling – ER 2011: 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6998

Editat de Manfred Jeusfeld et al.

12 oct 2011

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

22-36 zile

-20%

UNIX and Perl to the Rescue!: A Field Guide for the Life Sciences (and Other Data-rich Pursuits)

Autor Keith Bradnam et al.

18 iul 2012

Preț: 333^.60 lei 417^.00 lei

43-57 zile

-20%

Conceptual Modeling: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9974

Editat de Isabelle Comyn-Wattiau et al.

7 oct 2016

Preț: 333^.38 lei 416^.72 lei

43-57 zile

-20%

Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2215

Editat de Naoki Kobayashi et al.

12 oct 2001

Preț: 333^.38 lei 416^.72 lei

43-57 zile

-20%

Autor Rob Fletcher

18 mai 2017

Preț: 333^.29 lei 416^.62 lei

43-57 zile

-20%

Editat de Emilia Mendes et al.

12 feb 2010

Preț: 354^.88 lei 443^.60 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%

Empirical Foundations of Information and Software Science V

Editat de Pranas Zunde et al.

13 mar 2012

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

43-57 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8802

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 332^.60 lei 415^.75 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%

Persistent Object Systems: Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5–9 September 1994

Workshops in Computing

Editat de Malcolm Atkinson et al.

21 mar 1995

Preț: 332^.42 lei 415^.53 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%

Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10650

Editat de Heinrich C. Mayr et al.

24 oct 2017

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

43-57 zile

-20%

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4110

Editat de Josep Diaz et al.

11 aug 2006

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

43-57 zile

-20%

CONCUR'93: 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings

Lecture Notes in Computer Science, nr. 715

Editat de Eike Best

13 aug 1993

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

43-57 zile

-20%

Object Technologies for Advanced Software: First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings

Lecture Notes in Computer Science, nr. 742

Editat de Shojiro Nishio et al.

7 oct 1993

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

43-57 zile

-20%

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings

Lecture Notes in Computer Science, nr. 287

Editat de Kesav V. Nori

25 noi 1987

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

43-57 zile

-20%

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%

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6602

Editat de Gilles Barthe

22 mar 2011

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

22-36 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%

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Lecture Notes in Computer Science, nr. 7041

Editat de Gilles Barthe et al.

21 oct 2011

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

22-36 zile

-20%

Solving Problems in Scientific Computing Using Maple and MATLAB®

Editat de Walter Gander et al.

7 iun 2004

Preț: 331^.62 lei 414^.53 lei

43-57 zile

-20%

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5503

Editat de Marsha Chechik et al.

9 mar 2009

Preț: 331^.62 lei 414^.53 lei

43-57 zile

-20%

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Lecture Notes in Computer Science, nr. 6418

Editat de Howard Barringer et al.

19 oct 2010

Preț: 331^.62 lei 414^.53 lei

22-36 zile

-20%

Springer Professional Computing

Autor Sinan Si Alhir

6 iun 2012

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

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 331^.48 lei 414^.35 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%

Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers

Lecture Notes in Computer Science, nr. 3840

Editat de Mingshu Li et al.

16 ian 2006

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

43-57 zile

-20%

Autor D. John Cooke

8 noi 2004

Preț: 331^.30 lei 414^.13 lei

43-57 zile

-20%

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

Lecture Notes in Computer Science, nr. 197

Editat de Stephen D. Brookes et al.

aug 1985

Preț: 331^.30 lei 414^.13 lei

43-57 zile

-20%

Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

Lecture Notes in Computer Science, nr. 717

Editat de Ian Sommerville et al.

30 aug 1993

Preț: 331^.30 lei 414^.13 lei

43-57 zile

-20%

Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings

Lecture Notes in Computer Science, nr. 989

Editat de Wilhelm Schäfer et al.

13 sep 1995

Preț: 331^.30 lei 414^.13 lei

43-57 zile

-20%

Design Requirements Engineering: A Ten-Year Perspective: Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

Lecture Notes in Business Information Processing, nr. 14

Editat de Kalle Lyytinen et al.

20 ian 2009

Preț: 331^.30 lei 414^.13 lei

43-57 zile

-20%

Animated Program Design: Intermediate Program Design Using Video Game Development

Texts in Computer Science

Autor Marco T. Morazán

25 sep 2023

Preț: 331^.17 lei 413^.96 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%

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings

Lecture Notes in Computer Science, nr. 206

Editat de S.N. Maheshwari

noi 1985

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

43-57 zile

-20%

The Munich Project CIP: Volume II: The Programme Transformation System CIP-S

Lecture Notes in Computer Science, nr. 292

F. L. Bauer et al.

13 ian 1988

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

43-57 zile

-20%

Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India, December 21-23, 1988. Proceedings

Lecture Notes in Computer Science, nr. 338

Editat de Kesav V. Nori et al.

17 noi 1988

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

43-57 zile

-20%

ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings

Lecture Notes in Computer Science, nr. 550

Editat de Axel van Lamsweerde et al.

9 oct 1991

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

43-57 zile

-20%

Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings

Lecture Notes in Computer Science, nr. 788

Editat de Donald Sannella

23 mar 1994

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

43-57 zile

-20%

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 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. 7212

Editat de Juan de Lara et al.

14 mar 2012

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

43-57 zile

-20%

Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995

Editat de Gerhard Rabe

12 oct 1995

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

43-57 zile

-20%

Conceptual Modeling – ER 2010: 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6412

Editat de Jeffrey Parsons et al.

19 oct 2010

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

22-36 zile

-20%

Advances in Computing: 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

Communications in Computer and Information Science, nr. 885

Editat de Jairo E. Serrano C. et al.

19 aug 2018

Preț: 330^.85 lei 413^.56 lei

43-57 zile

-20%

UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings

Lecture Notes in Computer Science, nr. 2185

Editat de Martin Gogolla et al.

19 sep 2001

Preț: 330^.85 lei 413^.56 lei

43-57 zile

-20%

Autor J. E. Cooling

1991

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

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3920

Editat de Holger Hermanns et al.

15 mar 2006

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

43-57 zile

-20%

Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

Lecture Notes in Computer Science, nr. 2679

Editat de Wil van der Aalst et al.

4 iun 2003

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

43-57 zile

-20%

SSADM & GRAPES: Two Complementary Major European Methodologies for Information Systems Engineering

Autor A. Aue et al.

27 mai 1992

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

43-57 zile

-20%

Behavioural Models: From Modelling Finite Automata to Analysing Business Processes

Autor Matthias Kunze et al.

15 iun 2018

Preț: 330^.65 lei 413^.31 lei

38-44 zile

-20%

The Adventurous and Practical Journey to a Large-Scale Enterprise Solution: Threading the Way to Implementing an ERP through MIDRP Practice

Autor Vahid Hajipour

16 mar 2023

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

43-57 zile

-20%

Quality of Information and Communications Technology: 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings

Communications in Computer and Information Science, nr. 1266

Editat de Martin Shepperd et al.

31 aug 2020

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

43-57 zile

-20%

Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Lecture Notes in Computer Science, nr. 656

Editat de Michael Rusinowitch et al.

29 ian 1993

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

43-57 zile

-20%

Ruby on Rails for PHP and Java Developers

Autor Deepak Vohra

aug 2007

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

43-57 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6015

Editat de Javier Esparza et al.

17 mar 2010

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

43-57 zile

-20%

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6351

Editat de Erwin Schoitsch

3 sep 2010

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

22-36 zile

-20%

Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6337

Editat de Radhia Cousot et al.

9 sep 2010

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

22-36 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%

Conceptual Modelling in Information Systems Engineering

Editat de John Krogstie et al.

15 oct 2010

Preț: 350^.27 lei 437^.84 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%

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%

Parallel Processing and Applied Mathematics: 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Lecture Notes in Computer Science, nr. 10778

Editat de Roman Wyrzykowski et al.

23 mar 2018

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

43-57 zile

-20%

Iterative Software Engineering for Multiagent Systems: The MASSIVE Method

Lecture Notes in Computer Science, nr. 1994

Autor Jürgen Lind

30 mai 2001

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

43-57 zile

-20%

VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings

Lecture Notes in Computer Science, nr. 328

Editat de Robin E. Bloomfield et al.

30 aug 1988

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

43-57 zile

-20%

Software Engineering on Sun Workstations®

Editat de Bill Cureton

27 ian 2012

Preț: 330^.05 lei 412^.56 lei

43-57 zile

-20%

Model-Driven Engineering and Software Development: 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 991

Editat de Slimane Hammoudi et al.

feb 2019

Preț: 329^.91 lei 412^.39 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%

Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers

Communications in Computer and Information Science, nr. 1375

Editat de Raian Ali et al.

27 feb 2021

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

43-57 zile

-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

43-57 zile

-20%

ESEC '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings

Lecture Notes in Computer Science, nr. 387

Editat de Carlo Ghezzi et al.

30 aug 1989

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

43-57 zile

-20%

The Common Component Modeling Example: Comparing Software Component Models

Lecture Notes in Computer Science, nr. 5153

Editat de Andreas Rausch et al.

26 aug 2008

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

43-57 zile

-20%

High Performance Computing for Computational Science -- VECPAR 2010: 9th International Conference, Berkeley, CA, USA, June 22-25, 2010, Revised, Selected Papers

Lecture Notes in Computer Science, nr. 6449

Editat de José M. Laginha M. Palma et al.

23 feb 2011

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

43-57 zile

-20%

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6603

Editat de Dimitra Giannakopoulou et al.

22 mar 2011

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

22-36 zile

-20%

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6664

Editat de Michael Butler et al.

16 iun 2011

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

22-36 zile

-20%

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Lecture Notes in Computer Science, nr. 7000

Editat de Gul Agha et al.

13 oct 2011

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

43-57 zile

-20%

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10482

Editat de Deepak D'Souza et al.

4 oct 2017

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-20%

Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine

Autor David Harel et al.

5 noi 2012

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-20%

Analyzing Computer System Performance with Perl::PDQ

Autor Neil J. Gunther

28 noi 2014

Preț: 329^.60 lei 412^.00 lei

43-57 zile

-20%

Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

Communications in Computer and Information Science, nr. 916

Editat de Juan Carlos Figueroa-García et al.

13 sep 2018

Preț: 329^.41 lei 411^.77 lei

43-57 zile

-20%

Papetărie, jocuri, reviste

Cărți inginerie software, pagina 9 în limba Engleză