Kompilátory

Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th...

EAN: 9783319723075

Recent Trends in Algebraic Development Techniques

EAN: 9783319720432

Make Your Own Python Text Adventure

EAN: 9781484232309

Real-Time Web Application Development

EAN: 9781484232699

Future Data and Security Engineering

EAN: 9783319700038

Conceptual Modeling

EAN: 9783319699035

Introduction to Python and Computer Programming

This book introduces Python programming language and fundamental concepts in algorithms and...

EAN: 9789811012433

Formalizing Data-Centric Web Services

This book presents a methodology to model and specify the data aspect of Web services, as it is...

EAN: 9783319368108

Software Testing Automation Tips

EAN: 9781484231616

Topics in Theoretical Computer Science

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference...

EAN: 9783319689524

Formal Methods and Software Engineering

The conference focuses on all areas related to formal engineering methods, such as veri?cation...

EAN: 9783319686899

Service-Oriented Computing – ICSOC 2016 Workshops

EAN: 9783319681351

Formal Aspects of Component Software

This book constitutes the thoroughly revised selected papers from the 14th International...

EAN: 9783319680330

Critical Systems: Formal Methods and Automated Verification

EAN: 9783319671123

Theoretical Aspects of Computing – ICTAC 2017

This book constitutes the refereed proceedings of the 14th International Colloquium on...

EAN: 9783319677286

High Performance Computing

EAN: 9783319676296

Integrated Formal Methods

This book constitutes the refereed proceedings of the 13th International Conference on Integrated...

EAN: 9783319668444

Model and Data Engineering

This book constitutes the refereed proceedings of the 7th International Conference on Model and...

EAN: 9783319668536

Concurrency, Security, and Puzzles

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th...

EAN: 9783319510453

Semantics, Logics, and Calculi

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the...

EAN: 9783319278094

Search Based Software Engineering

The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students...

EAN: 9783319662985

Practical Scala DSLs

EAN: 9781484230350

Practical JSF in Java EE 8

EAN: 9781484230299

Logic-Based Program Synthesis and Transformation

EAN: 9783319631387