Standaard Boekhandel gebruikt cookies en gelijkaardige technologieën om de website goed te laten werken en je een betere surfervaring te bezorgen.
Hieronder kan je kiezen welke cookies je wilt inschakelen:
Technische en functionele cookies
Deze cookies zijn essentieel om de website goed te laten functioneren, en laten je toe om bijvoorbeeld in te loggen. Je kan deze cookies niet uitschakelen.
Analytische cookies
Deze cookies verzamelen anonieme informatie over het gebruik van onze website. Op die manier kunnen we de website beter afstemmen op de behoeften van de gebruikers.
Marketingcookies
Deze cookies delen je gedrag op onze website met externe partijen, zodat je op externe platformen relevantere advertenties van Standaard Boekhandel te zien krijgt.
Je kan maximaal 250 producten tegelijk aan je winkelmandje toevoegen. Verwijdere enkele producten uit je winkelmandje, of splits je bestelling op in meerdere bestellingen.
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, ...Lees meer
This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on...Lees meer
This book constitutes the refereed proceedings of the 4th International Conference on Model and Data Engineering, MEDI 2014, held in Larnaca, Cyprus, ...Lees meer
Constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Braz...Lees meer
We are pleased to present the proceedings of the Second International Conf- ence on Software LanguageEngineering (SLE 2009). The conference was held i...Lees meer
2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This ...Lees meer
This book constitutes the proceedings of the Second Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2010, held in conjunction ...Lees meer
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, ...Lees meer
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Mont...Lees meer
Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference -- with the hard work they put in...Lees meer
This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 200...Lees meer
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the Internatio...Lees meer
Research in software composition investigates models and techniques to build systems from prede?ned, pretested, reusable components instead of buildin...Lees meer
It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Resear...Lees meer
This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o?er t...Lees meer
The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in ...Lees meer
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Ira...Lees meer
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application...Lees meer
This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Kore...Lees meer
This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Vale...Lees meer
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 16th International Confere...Lees meer
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during Sep...Lees meer
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third Wor...Lees meer
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany...Lees meer