Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Fir
Rocco De Nicola
Paperback
Not Available
Software Architecture
Khalil Drira
Bedir Tekinerdogan
Anton Jansen
Stefan Biffl
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced
Marco Bernardo
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
Stephen Poole
Hardware and Software: Verification and Testing
Eran Yahav
Software, Services, and Systems
Software Engineering and Formal Methods
Carlos Canal
Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
Raghunath Nambiar
Requirements Engineering: Foundation for Software Quality
Samuel A Fricker
Maya Daneva
Eric Knauss
Software Engineering for Collective Autonomic Systems
Martin Wirsing
End-User Development
Paloma Díaz
Formal Methods for Industrial Critical Systems
Manuel Núñez
Maurice H ter Beek
Alberto Lluch Lafuente
Reliable Software Technologies – Ada-Europe 2015
Juan Antonio de la Puente
Practical Aspects of Declarative Languages
Enrico Pontelli
Yuliya Lierler
James Cheney
FM 2015: Formal Methods
Nikolaj Bjørner
Mathematics of Program Construction
Ralf Hinze
Graham Hutton
Rule Technologies: Foundations, Tools, and Applications
Nick Bassiliades
Search-Based Software Engineering
Márcio Barros
Shiva Nejati
Aldeida Aleti
UnaMay OReilly
Principles and Practice of Constraint Programming
Gilles Pesant
Thomas Schiex
Software Engineering for Resilient Systems
Alessandro Fantechi
Ivica Crnkovic
Alexander Romanovsky
Runtime Verification
Ezio Bartocci
Shuvendu Lahiri
Bernd Finkbeiner
Computer Safety, Reliability, and Security
Amund Skavhaug
António Casimiro
Ibrahim Habli
Testing Software and Systems
Khaled ElFakih
Franz Wotawa
Nina Yevtushenko
Christophe Gaston
Product-Focused Software Process Improvement
Xavier Franch
Service-Oriented Computing
Alistair Barros
Quan Z Sheng
Hakim Hacid
Formal Methods and Software Engineering
Michael Butler
Zhenhua Duan
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
Manjunath Gorentla Venkata
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Christiano Braga
Cloud Computing and Big Data
Weizhong Qiang
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
Anne Remke
Integrated Formal Methods
Erika Ábrahám
Reliable Software Technologies – Ada-Europe 2016
Marko Bertogna
NASA Formal Methods
Sanjai Rayadurgam
Julia M Badger
Aaron Dutle
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Ber
Analytical and Stochastic Modelling Techniques and Applications
Sabine Wittevrongel
Nigel Thomas
Marco Gribaudo
Service-Oriented and Cloud Computing
Marco Aiello
Model and Data Engineering
Ladjel Bellatreche
Christian Attiogbé
System Analysis and Modeling. Technology-Specific Aspects of Models
Jens Grabowski
Programming Languages
Fernando Castor
OpenMP: Memory, Devices, and Tasks
Naoya Maruyama
Scala: From a Functional Programming Perspective
Vicenç Torra
Search Based Software Engineering
Federica Sarro
Tim Menzies
Programming Languages and Systems
Atsushi Igarashi
Bruno C d S Oliveira
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy
Supratik Chakraborty
FM 2016: Formal Methods
John Fitzgerald
Formal Methods: Foundations and Applications
Leila Ribeiro
Gustavo Carvalho
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
Concurrency, Security, and Puzzles
Thomas GibsonRobinson
Mastering Scale and Complexity in Software Reuse
Goetz Botterweck
Risk Assessment and Risk-Driven Quality Assurance
Jürgen Großmann
Reversible Computation
Iain Phillips
Michael Kirkedal Thomsen
Ivan Lanese
Shigeru Yamashita
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Com
Ahmed Bouajjani
Rules and Reasoning
Stefania Costantini
Paul Fodor
Víctor GutiérrezBasulto
Tests and Proofs
Sebastian Gabmeyer
Dirk and 1 more
Frédéric Loulergue
Modelling Foundations and Applications
Anthony Anjorin
Theory and Models for Cyber Situation Awareness
Peng Liu
Model-Based Safety and Assessment
Marco Bozzano
Static Analysis
Francesco Ranzato
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verificatio
Laure Petrucci
SDL 2017: Model-Driven Engineering for Future Internet
Tibor Csöndes
Formal Aspects of Component Software
José Proença
Farhad Arbab
Automated Technology for Verification and Analysis
Deepak DSouza
YuFang Chen
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments
Issa Traore
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen
Nan Guan
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedi
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
Measurement, Modelling and Evaluation of Computing Systems
Dr Reinhard German
Holger Hermanns
New Opportunities for Software Reuse
Rafael Capilla
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon CollartDutilleul
Formal Methods – The Next 30 Years
On the Move to Meaningful Internet Systems: OTM 2019 Conferences
Hervé Panetto
Advances in Conceptual Modeling
Giancarlo Guizzardi
Iris ReinhartzBerger
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 201
JeanMichel Bruel
Computer Performance Engineering
Coordination Models and Languages 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTe
Simon Bliudze
Performance Evaluation and Benchmarking for the Era of Cloud(s)
Engineering Trustworthy Software Systems
Jonathan P Bowen
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops
Frontiers in Software Engineering Education
OpenMP: Portable Multi-Level Parallelism on Modern Systems
Kent Milfeld
Services Computing – SCC 2020
Qingyang Wang
Services – SERVICES 2020 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
Joao Eduardo Ferreira
Human-Centered Software Engineering
Regina Bernhaupt
Reuse in Emerging Software Engineering Practices
Sihem Ben Sassi
Software Verification
Maria Christakis
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Loek Cleophas
Logic, Computation and Rigorous Methods
Alexander Raschke
Coordination Models and Languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTe
Ferruccio Damiani
End-User Development 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings
Daniela Fogli
Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings
OpenMP: Enabling Massive Node-Level Parallelism
Simon McIntoshSmith
Performance Engineering and Stochastic Modeling
Paolo Ballarini
Services – SERVICES 2021
Mohamed Adel Serhani
Accelerator Programming Using Directives
Sridutt Bhalachandra
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
