Filtre: Engleză Paperback Șterge tot

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

385-480 din 2,255 rezultate

Software Engineering 1: Abstraction and Modelling

Texts in Theoretical Computer Science. An EATCS Series

Autor Dines Bjørner

12 feb 2010

Preț: 587^.56 lei 734^.44 lei

43-57 zile

-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

43-57 zile

-20%

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Autor Claude Girault et al.

15 dec 2010

Preț: 581^.37 lei 726^.72 lei

43-57 zile

-20%

An Integrated Approach to Software Engineering

Texts in Computer Science

Autor Pankaj Jalote

15 dec 2010

Preț: 579^.46 lei 724^.33 lei

43-57 zile

-20%

Applied Computer Sciences in Engineering: 9th Workshop on Engineering Applications, WEA 2022, Bogotá, Colombia, November 30 – December 2, 2022, Proceedings

Communications in Computer and Information Science, nr. 1685

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

4 noi 2022

Preț: 575^.82 lei 719^.78 lei

43-57 zile

-20%

Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage: Third International Conference, TMM_CH 2023, Athens, Greece, March 20–23, 2023, Revised Selected Papers

Communications in Computer and Information Science, nr. 1889

Editat de Antonia Moropoulou et al.

3 sep 2023

Preț: 573^.14 lei 716^.42 lei

43-57 zile

-20%

Applied Computer Sciences in Engineering: 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1–3, 2023, Proceedings

Communications in Computer and Information Science, nr. 1928

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

27 oct 2023

Preț: 573^.14 lei 716^.42 lei

43-57 zile

-20%

Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers

Communications in Computer and Information Science, nr. 1924

Editat de Marta Tabares et al.

14 noi 2023

Preț: 572^.64 lei 715^.79 lei

43-57 zile

-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

43-57 zile

-20%

Autor Kai Qian et al.

26 noi 2014

Preț: 571^.06 lei 713^.83 lei

43-57 zile

-20%

Monographs in Computer Science

Autor David Gries

feb 1987

Preț: 569^.81 lei 712^.26 lei

43-57 zile

-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

43-57 zile

-20%

Bridging the Gap between Requirements Engineering and Software Architecture: A Problem-Oriented and Quality-Driven Method

Autor Azadeh Alebrahim

13 apr 2017

Preț: 565^.97 lei 707^.46 lei

22-36 zile | 5-11 zile

-20%

Developing Business Applications with OpenStep™

Autor Nik Gervae et al.

12 dec 1996

Preț: 563^.29 lei 704^.12 lei

43-57 zile

-20%

Testing IT: An Off-the-Shelf Software Testing Process

Autor John Watkins et al.

5 dec 2010

Preț: 563^.15 lei 703^.93 lei

43-57 zile

-20%

Energy Efficient Hardware-Software Co-Synthesis Using Reconfigurable Hardware

Chapman & Hall/CRC Computer and Information Science Series

Autor Jingzhao Ou et al.

14 iun 2017

Preț: 562^.51 lei 703^.14 lei

43-57 zile

-20%

How to Build a Business Rules Engine: Extending Application Functionality through Metadata Engineering

The Morgan Kaufmann Series in Data Management Systems

Autor Malcolm Chisholm

13 ian 2004

Preț: 561^.95 lei 702^.43 lei

43-57 zile

-20%

Transactions on Aspect-Oriented Software Development V: Focus: Aspects, Dependencies and Interactions

Lecture Notes in Computer Science, nr. 5490

Awais Rashid et al.

2 iun 2009

Preț: 560^.93 lei 701^.15 lei

22-36 zile

-20%

Software Verification and Validation: An Engineering and Scientific Approach

Autor Marcus S. Fisher

29 oct 2010

Preț: 560^.62 lei 700^.78 lei

43-57 zile

-20%

Pragmatic Evaluation of Software Architectures

The Fraunhofer IESE Series on Software and Systems Engineering

Autor Jens Knodel et al.

15 iun 2016

Preț: 560^.31 lei 700^.38 lei

43-57 zile

-20%

Software Science and Engineering

Autor James W. Hooper et al.

21 oct 2012

Preț: 615^.45 lei 769^.31 lei

43-57 zile

-20%

Lecture Notes in Computer Science, nr. 4750

Editat de C. J. Kenneth Tan

25 apr 2008

Preț: 556^.96 lei 696^.20 lei

22-36 zile

-20%

Model-Driven Software Development with UML and Java

Autor Kevin (King's College Lano

5 apr 2009

Preț: 556^.27 lei 852^.37 lei

22-36 zile

-35%

Distributed Applications and Interoperable Systems: 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14677

Editat de Rolando Martins et al.

12 iun 2024

Preț: 556^.19 lei 695^.24 lei

43-57 zile

-20%

Software Architecture for Big Data and the Cloud

Editat de Ivan Mistrik et al.

12 iun 2017

Preț: 549^.47 lei 909^.31 lei

36-50 zile | 5-11 zile

-40%

Practical Software Testing: A Process-Oriented Approach

Springer Professional Computing

Autor Ilene Burnstein

15 dec 2010

Preț: 541^.75 lei 677^.19 lei

43-57 zile

-20%

Software Quality Assurance: In Large Scale and Complex Software-intensive Systems

Editat de Ivan Mistrik et al.

19 oct 2015

Preț: 536^.19 lei 736^.85 lei

36-50 zile

-27%

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13701

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 533^.81 lei 667^.27 lei

22-36 zile | 5-11 zile

-20%

Autor Patrick Li

26 mai 2011

Preț: 533^.22 lei

38-44 zile

Autor Mordechai Ben-Ari

17 apr 2009

Preț: 533^.01 lei 666^.27 lei

22-36 zile

-20%

Software Engineering: Proceedings of CSI 2015

Advances in Intelligent Systems and Computing, nr. 731

Editat de M. N. Hoda et al.

13 iun 2018

Preț: 532^.39 lei 665^.49 lei

43-57 zile

-20%

Global Optimization Methods Based on Tabu Search: Insights from Cern Physicists

Autor Svetlana Stepanenko

20 iul 2015

Preț: 528^.76 lei 660^.95 lei

43-57 zile

-20%

Organic Computing – Technical Systems for Survival in the Real World

Autonomic Systems

Autor Christian Müller-Schloer et al.

19 ian 2018

Preț: 525^.74 lei 657^.18 lei

43-57 zile

-20%

Java Methods for Financial Engineering: Applications in Finance and Investment

Autor Philip Barker

13 oct 2010

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

43-57 zile

-20%

Software Development and Reality Construction

Editat de Christiane Floyd et al.

16 dec 2011

Preț: 523^.69 lei 654^.61 lei

43-57 zile

-20%

Autor RG Epstein

26 noi 1996

Preț: 523^.68 lei 654^.60 lei

43-57 zile

-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

43-57 zile

-20%

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13085

Editat de Radu Calinescu et al.

3 dec 2021

Preț: 522^.70 lei 653^.38 lei

43-57 zile

-20%

Autor Josh Fallon et al.

15 oct 2003

Preț: 522^.52 lei 653^.15 lei

22-36 zile

-20%

Monographs in Computer Science

Autor Jan L.A. van de Snepscheut

22 sep 2011

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

43-57 zile

-20%

Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6–9, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14320

Editat de João Paulo A. Almeida et al.

29 oct 2023

Preț: 519^.39 lei 649^.24 lei

43-57 zile

-20%

Advanced Parallel Processing Technologies: 15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14103

Editat de Chao Li et al.

8 noi 2023

Preț: 519^.24 lei 649^.05 lei

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14464

Editat de Holger Hermanns et al.

15 dec 2023

Preț: 518^.44 lei 648^.05 lei

43-57 zile

-20%

Advanced Information Systems Engineering: 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings

Lecture Notes in Computer Science, nr. 811

Editat de Gerard Wijers et al.

20 mai 1994

Preț: 518^.13 lei 647^.65 lei

43-57 zile

-20%

Autor Joyce Farrell

31 dec 2016

Preț: 516^.73 lei 686^.31 lei

43-57 zile

-25%

Agile Modeling with UML: Code Generation, Testing, Refactoring

Autor Bernhard Rumpe

25 iul 2018

Preț: 516^.21 lei 645^.25 lei

43-57 zile

-20%

Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24–25, 2023, Revised Selected Papers

Communications in Computer and Information Science, nr. 2028

Editat de Hermann Kaindl et al.

10 iul 2024

Preț: 678^.21 lei 847^.76 lei

43-57 zile

-20%

Simulation Tools and Techniques: 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, nr. 519

Editat de José-Luis Guisado-Lizar et al.

29 apr 2024

Preț: 512^.58 lei 640^.71 lei

43-57 zile

-20%

Technologies and Innovation: 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13–16, 2023, Proceedings

Communications in Computer and Information Science, nr. 1873

Editat de Rafael Valencia-García et al.

24 oct 2023

Preț: 511^.78 lei 639^.72 lei

43-57 zile

-20%

Prototyping: An Approach to Evolutionary System Development

P. Bacon et al.

13 dec 2011

Preț: 507^.51 lei 634^.39 lei

43-57 zile

-20%

Editat de Ivan Mistrik et al.

17 iun 2014

Preț: 501^.73 lei 627^.16 lei

36-50 zile

-20%

Software Engineering: A Methodical Approach

Autor Elvis Foster

8 dec 2014

Preț: 499^.02 lei 623^.78 lei

43-57 zile

-20%

High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12151

Editat de Ponnuswamy Sadayappan et al.

16 iun 2020

Preț: 498^.59 lei 623^.23 lei

22-36 zile | 5-11 zile

-20%

The Complete Guide to the NEXTSTEP™ User Environment

Autor Michael B. Shebanek

16 sep 1993

Preț: 497^.10 lei 621^.38 lei

43-57 zile

-20%

Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20–23, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13533

Editat de Aurora González-Vidal et al.

2 ian 2023

Preț: 496^.54 lei 620^.67 lei

22-36 zile | 5-11 zile

-20%

Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings

Communications in Computer and Information Science, nr. 1481

Editat de Ladjel Bellatreche et al.

7 oct 2021

Preț: 495^.12 lei 618^.89 lei

22-36 zile | 5-11 zile

-20%

Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12–14, 2022, Proceedings

Communications in Computer and Information Science, nr. 1621

Editat de Antonio Vallecillo et al.

15 aug 2022

Preț: 495^.07 lei 618^.84 lei

22-36 zile | 5-11 zile

-20%

Reference Architectures for Critical Domains: Industrial Uses and Impacts

Editat de Elisa Yumi Nakagawa et al.

apr 2024

Preț: 493^.08 lei 616^.36 lei

Indisponibil temporar

-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

43-57 zile

-20%

Conceptual Modeling: 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13011

Editat de Aditya Ghose et al.

16 oct 2021

Preț: 490^.60 lei 613^.25 lei

43-57 zile

-20%

Foundations of Inductive Logic Programming

Lecture Notes in Computer Science, nr. 1228

Autor Shan-Hwei Nienhuys-Cheng et al.

18 apr 1997

Preț: 489^.98 lei 612^.48 lei

43-57 zile

-20%

Model and Data Engineering: 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14396

Editat de Mohamed Mosbah et al.

3 ian 2024

Preț: 489^.35 lei 611^.69 lei

43-57 zile

-20%

Software Architecture: 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14212

Editat de Bedir Tekinerdogan et al.

27 aug 2023

Preț: 488^.23 lei 610^.29 lei

43-57 zile

-20%

Development of Safety-Critical Systems: Architecture and Software

Autor Gopinath Karmakar et al.

11 oct 2023

Preț: 487^.91 lei 609^.89 lei

43-57 zile

-20%

Cornerstones of Computing

Autor Jeremy Gibbons et al.

26 mar 2003

Preț: 487^.68 lei 609^.60 lei

43-57 zile

-20%

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13931

Editat de Cristina David et al.

28 iun 2023

Preț: 487^.61 lei 609^.51 lei

43-57 zile

-20%

Quality of Information and Communications Technology: 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

Communications in Computer and Information Science, nr. 1010

Editat de Mario Piattini et al.

8 aug 2019

Preț: 487^.29 lei 609^.11 lei

43-57 zile

-20%

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 14165

Editat de Anne E. Haxthausen et al.

17 aug 2023

Preț: 486^.34 lei 607^.92 lei

43-57 zile

-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

43-57 zile

-20%

Embedded Software Development for Safety-Critical Systems, Second Edition

Autor Chris Hobbs

9 aug 2019

Preț: 485^.17 lei 606^.46 lei

22-36 zile | 5-11 zile

-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

43-57 zile

-20%

Transactions on Modularity and Composition I

Lecture Notes in Computer Science, nr. 9800

Editat de Shigeru Chiba et al.

10 oct 2016

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

43-57 zile

-20%

Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1708

Editat de Luís Ferreira Pires et al.

4 aug 2023

Preț: 482^.72 lei 603^.40 lei

43-57 zile

-20%

Advances in Model and Data Engineering in the Digitalization Era: MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2–4, 2023, Proceedings

Communications in Computer and Information Science, nr. 2071

Editat de Mohamed Mosbah et al.

21 mar 2024

Preț: 482^.36 lei 602^.95 lei

43-57 zile

-20%

Autor Paolo Rocchi

25 mar 2012

Preț: 482^.33 lei 819^.07 lei

22-36 zile

-41%

Software Engineering: Principles and Practice

Autor Hans van Vliet

8 mai 2008

Preț: 482^.16 lei 602^.71 lei

43-57 zile

-20%

Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

Lecture Notes in Business Information Processing, nr. 408

Editat de Adam Przybyłek et al.

6 ian 2021

Preț: 479^.99 lei 599^.99 lei

43-57 zile

-20%

Relating System Quality and Software Architecture

Editat de Ivan Mistrik et al.

12 aug 2014

Preț: 476^.27 lei 737^.17 lei

36-50 zile

-35%

A Software Engineering Approach to LabVIEW

National Instruments Virtual Instrumentation

Autor Jon Conway et al.

30 apr 2003

Preț: 476^.13 lei 560^.16 lei

Indisponibil temporar

-15%

Requirements Engineering – A Good Practice Guide

Autor I Sommerville

18 mar 1997

Preț: 472^.98 lei 591^.23 lei

22-36 zile | 5-11 zile

-20%

A Practitioner's Guide to Software Test Design

Artech House Computing Library

Autor Lee Copeland

29 noi 2003

Preț: 470^.64 lei 528^.80 lei

43-57 zile

-11%

Embedded Linux System Design and Development

Autor P. Raghavan et al.

23 sep 2019

Preț: 469^.76 lei 587^.20 lei

43-57 zile

-20%

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude

Undergraduate Topics in Computer Science

Autor Peter Csaba Ölveczky

22 feb 2018

Preț: 469^.33 lei 586^.66 lei

38-44 zile

-20%

Advances in Software Engineering: Comprehension, Evaluation, and Evolution

Editat de Hakan Erdogmus et al.

15 dec 2011

Preț: 468^.92 lei 586^.15 lei

43-57 zile

-20%

Euro-Par 2019: Parallel Processing: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11725

Editat de Ramin Yahyapour

13 aug 2019

Preț: 468^.69 lei 585^.86 lei

43-57 zile

-20%

Jenkins Continuous Integration Cookbook - Second Edition

Autor Alan Mark Berg

30 ian 2015

Preț: 468^.66 lei

38-44 zile

Autor Janos Gyerik

15 mai 2013

Preț: 466^.46 lei

38-44 zile

Autor Bhavani Thuraisingham

18 sep 2018

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

43-57 zile

-20%

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14245

Editat de Panagiotis Katsaros et al.

2 oct 2023

Preț: 466^.31 lei 582^.89 lei

43-57 zile

-20%

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium: Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers

Lecture Notes in Computer Science, nr. 14590

Editat de Bedir Tekinerdoğan et al.

8 sep 2024

Preț: 465^.92 lei 582^.41 lei

43-57 zile

-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

43-57 zile

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13702

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 463^.44 lei 579^.30 lei

43-57 zile

-20%

Lecture Notes in Business Information Processing

22 mar 2025

Preț: 462^.36 lei 577^.94 lei

Indisponibil temporar

-20%

Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12971

Editat de Zhe Hou et al.

14 oct 2021

Preț: 461^.25 lei 576^.57 lei

22-36 zile | 5-11 zile

-20%

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Autor Kurt Jensen et al.

2 noi 2014

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

43-57 zile

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 460^.35 lei 575^.44 lei

22-36 zile | 5-11 zile

-20%

Papetărie, jocuri, reviste

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