Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Programming and Software Engineering

Sök »
Din sökning gav 168 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Reversible Computation

    Reversible Computation

    Häftad - 2015 - Engelska - ISBN: 9783319208596

    This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected f…

  • Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Häftad - 2015 - Engelska - ISBN: 9783319282275

    This book constitutes the refereed proceedings of the18th International Symposium on Practical Aspects of Declarative Languages,PADL 2016, held in St. Petersburg, FL, USA, in January 2016.The 11 revised papers presented were carefully reviewedand se…

  • Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Häftad - 2018 - Engelska - ISBN: 9783319747804

    This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selecte…

  • Measurement, Modelling and Evaluation of Computing Systems

    Measurement, Modelling and Evaluation of Computing Systems

    Häftad - 2018 - Engelska - ISBN: 9783319749464

    This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018. The 16 full papers, 4 PhD track papers, and 9 too…

  • End-User Development

    End-User Development

    Häftad - 2017 - Engelska - ISBN: 9783319587349

    This book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and sel…

  • Service-Oriented Computing - ICSOC 2014 Workshops

    Service-Oriented Computing - ICSOC 2014 Workshops

    Häftad - 2015 - Engelska - ISBN: 9783319228846

    This book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014.The conference hosted the following seven workshops: 10th International Worksho…

  • Principles and Practice of Constraint Programming

    Principles and Practice of Constraint Programming

    Häftad - 2018 - Engelska - ISBN: 9783319983332

    This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully re…

  • OpenMP: Memory, Devices, and Tasks

    OpenMP: Memory, Devices, and Tasks

    Häftad - 2016 - Engelska - ISBN: 9783319455495

    This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016. The 24 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were org…

  • Globalizing Domain-Specific Languages

    Globalizing Domain-Specific Languages

    Häftad - 2015 - Engelska - ISBN: 9783319261713

    The development of modern complex software-intensive systems often involves the use of multiple DSMLs that capture different system aspects. Supporting coordinated use of DSMLs leads to what we call the globalization of modeling languages, that is,…

  • Modelling Foundations and Applications

    Modelling Foundations and Applications

    Häftad - 2017 - Engelska - ISBN: 9783319614816

    This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 18 papers presented in this volume were carefully reviewed…

  • Computer Safety, Reliability, and Security

    Computer Safety, Reliability, and Security

    Häftad - 2016 - Engelska - ISBN: 9783319454764

    This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully revie…

  • Analytical and Stochastic Modelling Techniques and Applications

    Analytical and Stochastic Modelling Techniques and Applications

    Häftad - 2016 - Engelska - ISBN: 9783319439037

    This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016.The 21 full papers presented in this book were ca…

  • NASA Formal Methods

    NASA Formal Methods

    Häftad - 2017 - Engelska - ISBN: 9783319572871

    This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from…

  • Fundamentals of Software Engineering

    Fundamentals of Software Engineering

    Häftad - 2017 - Engelska - ISBN: 9783319689715

    This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were ca…

  • Coordination Models and Languages

    Coordination Models and Languages

    Häftad - 2017 - Engelska - ISBN: 9783319597454

    This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed C…

  • Formal Methods

    Formal Methods

    Häftad - 2018 - Engelska - ISBN: 9783319955810

    This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 11…

  • Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Häftad - 2016 - Engelska - ISBN: 9783319465197

    This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and sel…

  • Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Machine Learning for Dynamic Software Analysis: Potentials and Limits

    Häftad - 2018 - Engelska - ISBN: 9783319965611

    Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. Increased productivity in software engineering relies on the creation of new adaptive, scalable tools that can…

  • Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Häftad - 2015 - Engelska - ISBN: 9783319229683

    This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers we…

  • Analytical and Stochastic Modelling Techniques and Applications

    Analytical and Stochastic Modelling Techniques and Applications

    Häftad - 2015 - Engelska - ISBN: 9783319185781

    This book constitutes the refereed proceedings of the 22nd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2015, held in Albena, Bulgaria, in May 2015. The 15 full papers presented in this book were…

  • Usability- and Accessibility-Focused Requirements Engineering

    Usability- and Accessibility-Focused Requirements Engineering

    Häftad - 2016 - Engelska - ISBN: 9783319459158

    This book constitutes the thoroughly refereed post-conference proceedings of theFirst International Workshop on Usability and Accessibility focused RequirementsEngineering, UsARE 2012, held in Zurich, Switzerland, in June 2012 in conjunctionwith ICS…

  • Runtime Verification

    Runtime Verification

    Häftad - 2015 - Engelska - ISBN: 9783319238197

    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tuto…

  • Theory and Practice of Model Transformation

    Theory and Practice of Model Transformation

    Häftad - 2018 - Engelska - ISBN: 9783319933160

    This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 subm…

  • Critical Systems: Formal Methods and Automated Verification

    Critical Systems: Formal Methods and Automated Verification

    Häftad - 2017 - Engelska - ISBN: 9783319671123

    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Tu…

  • Verified Software: Theories, Tools, and Experiments

    Verified Software: Theories, Tools, and Experiments

    Häftad - 2016 - Engelska - ISBN: 9783319296128

    This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full paper…

  • Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Häftad - 2016 - Engelska - ISBN: 9783319294728

    This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from…

  • Search-Based Software Engineering

    Search-Based Software Engineering

    Häftad - 2014 - Engelska - ISBN: 9783319099392

    This book constitutes the refereed proceedings of the 6th International Symposium on Search-Based Software Engineering, SSBSE 2014, held in Fortaleza, Brazil. The 14 revised full papers presented together with 2 keynote addresses, 1 invited talk, 1…

  • Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

    Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

    Häftad - 2017 - Engelska - ISBN: 9783319691541

    This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.The 12 full papers…

  • Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Häftad - 2017 - Engelska - ISBN: 9783319733043

    This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Pro…

  • Computer Safety, Reliability, and Security

    Computer Safety, Reliability, and Security

    Häftad - 2018 - Engelska - ISBN: 9783319991290

    This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Vasteras, Sweden, in September 2018.The 19 revised full papers and 1 short paper presented toge…

  • Software Engineering

    Software Engineering

    Häftad - 2016 - Engelska - ISBN: 9783319284057

    TheLASER Summer School is intended for professionals from industry (engineers andmanagers) as well as university researchers, including PhD students.Participants learn about the most important software technology advances from pioneersin the field.…

  • FM 2016: Formal Methods

    FM 2016: Formal Methods

    Häftad - 2016 - Engelska - ISBN: 9783319489889

    This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk…

  • Model and Data Engineering

    Model and Data Engineering

    Häftad - 2016 - Engelska - ISBN: 9783319455464

    This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016.The 17 full papers and 10 short papers presented together with 2 invited talks wer…

  • Model and Data Engineering

    Model and Data Engineering

    Häftad - 2017 - Engelska - ISBN: 9783319668536

    This book constitutes the refereed proceedings of the 7th International Conference on Model and Data Engineering, MEDI 2017, held in Barcelona, Spain, in October 2017.The 20 full papers and 7 short papers presented together with 2 invited talks were…

  • Scala: From a Functional Programming Perspective

    Scala: From a Functional Programming Perspective
    av Vicenc Torra

    Häftad - 2016 - Engelska - ISBN: 9783319464800

    This book gives an introduction to the programming language Scala. It presents it from a functional programming perspective. The book explains with detail functional programming and recursivity, and includes chapters on lazy and eager evaluation, st…

  • Theory and Practice of Model Transformation

    Theory and Practice of Model Transformation

    Häftad - 2017 - Engelska - ISBN: 9783319614724

    This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and se…

  • Foundational and Practical Aspects of Resource Analysis

    Foundational and Practical Aspects of Resource Analysis

    Häftad - 2016 - Engelska - ISBN: 9783319465586

    This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and sel…

  • Human-Centered and Error-Resilient Systems Development

    Human-Centered and Error-Resilient Systems Development

    Häftad - 2016 - Engelska - ISBN: 9783319449012

    This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System De…

  • Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Häftad - 2016 - Engelska - ISBN: 9783319498140

    This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and sel…

  • Software Architecture

    Software Architecture

    Häftad - 2016 - Engelska - ISBN: 9783319489919

    This book constitutes the proceedings of the 10th European Conference on Software Architecture, ECSA 2016, held in Copenhagen, Denmark, in November/December 2016.The 13 full papers presented together with 12 short papers were carefully reviewed and…

  • Concurrency, Security, and Puzzles

    Concurrency, Security, and Puzzles

    Häftad - 2016 - Engelska - ISBN: 9783319510453

    This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebr…

  • Product-Focused Software Process Improvement

    Product-Focused Software Process Improvement

    Häftad - 2015 - Engelska - ISBN: 9783319268439

    This book constitutes the refereed proceedings of the 16th International Conference on Product-Focused Software Process Improvement, PROFES 2015, held in Bolzano, Italy, in December 2015. The 18 revised full papers presented together with 10 short p…

  • Evolving OpenMP for Evolving Architectures

    Evolving OpenMP for Evolving Architectures

    Häftad - 2018 - Engelska - ISBN: 9783319985206

    This book constitutes the proceedings of the 14th International Workshop on Open MP, IWOMP 2018, held in Barcelona, Spain, in September 2018.The 16 full papers presented in this volume were carefully reviewed and selected for inclusion in this book.…

  • Software Technologies: Applications and Foundations

    Software Technologies: Applications and Foundations

    Häftad - 2018 - Engelska - ISBN: 9783319747293

    This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 ful…

  • OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

    OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

    Häftad - 2018 - Engelska - ISBN: 9783319738130

    This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas…

  • Programming Languages

    Programming Languages

    Häftad - 2014 - Engelska - ISBN: 9783319118628

    This book constitutes the proceedings of the 18th Brazilian Symposium on Programming Languages, SBLP 2014, held in Maceio, Brazil, in October 2014. The 11 full papers were carefully reviewed and selected from 31 submissions. The papers cover topics…

  • On the Move to Meaningful Internet Systems: OTM 2016 Conferences

    On the Move to Meaningful Internet Systems: OTM 2016 Conferences

    Häftad - 2016 - Engelska - ISBN: 9783319484716

    This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2016, Ontologies, Databases, and Applications of Semantics, ODBASE 2016, and Cloud and Trusted Computing, C&TC, h…

  • Formal Aspects of Component Software

    Formal Aspects of Component Software

    Häftad - 2016 - Engelska - ISBN: 9783319289335

    This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in thisvolume were…

  • Tests and Proofs

    Tests and Proofs

    Häftad - 2018 - Engelska - ISBN: 9783319929934

    This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tuto…

  • End-User Development

    End-User Development

    Häftad - 2015 - Engelska - ISBN: 9783319184241

    This book constitutes the refereed proceedings of the 5th International Symposium on End-User Development, IS-EUD 2015, held in Madrid, Spain, in May 2015. The 10 full papers and 13 short papers were presented at the event. Additionally, the volume…