Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Name: Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Price: 94.95 CAD
Availability: InStock
Author: Karl Meinke
ISBN: 9783319965611

Amel Bennaceur Edited by Reiner Hähnle , Karl Meinke

Jul 21, 2018

$94.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 475 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

257

Programming and Software Engineering

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783319965611

Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Matthias S. Müller Paperback
$80.50
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Marcello M. Bonsangue Paperback
$80.50
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Frank S. de Boer Hardcover
$80.50
Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

Constantine Stephanidis Paperback
$80.50
Graph Algorithms for the day before your coding interview

Ue Kiao Paperback
$9.50
Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991

Paperback
$71.50
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$94.95
2 formats available
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Paperback
$58.50
Building Enterprise IoT Solutions with Eclipse IoT Technologies: An Open Source Approach to Edge Computing

Frédéric Desbiens Paperback
$72.95
2 formats available
Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools

Ivan Murashko Paperback
$50.99
Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

Julia M. Badger Paperback
$109.50
2 formats available
String Algorithms for the day before your Coding Interview

Ue Kiao Paperback
$9.72
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Axel Legay Paperback
$80.50
2 formats available
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

David England Paperback
$80.50
AI Monetization of your Faceless YouTube Channel: Ai Side Hustle Niche

Raymond Wayne Paperback
$12.95
Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II

Klaus Miesenberger Paperback
$80.50
Pro ASP.NET MVC 5 Platform

Adam Freeman Paperback
$124.50
2 formats available
Resource-oriented Computing With Netkernel: Taking Rest Ideas To The Next Level

Tom Geudens Paperback
$26.99
2 formats available
Jump Start Mysql: Master The Database That Powers The Web

Timothy Boronczyk Paperback
$34.95
2 formats available
Software Estimation: Demystifying The Black Art

Steve McConnell Paperback
$56.24
2 formats available

Editorial reviews

reiner hahnle

Author

From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Juliana Bowles Paperback
$94.95
2 formats available
Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers

Sandra Wienke Paperback
$76.50
2 formats available
System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Pau Fonseca i Casas Paperback
$80.50
2 formats available
Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Paperback
$80.50
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Paperback
$80.50
2 formats available
Research into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

George Heineman Paperback
$80.50
Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

David Kaeli Paperback
$80.50
System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Ferhat Khendek Paperback
$80.50
2 formats available
Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Yiannis Papadopoulos Paperback
$80.50
2 formats available
Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Alexander Romanovsky Paperback
$80.50
2 formats available
Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Sridutt Bhalachandra Paperback
$80.50
2 formats available
Scaling up Learning for Sustained Impact: 8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013, Proceedings

Davinia Hernández-Leo Paperback
$80.50
Sustaining TEL: From Innovation to Learning and Practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings

Martin Wolpers Paperback
$160.95
Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Myra B. Cohen Paperback
$102.50
Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Holger Hermanns Paperback
$80.50
2 formats available
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Gregor Engels Hardcover
$160.95
Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Sridutt Bhalachandra Paperback
$87.95
2 formats available
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Eran Yahav Paperback
$80.50
Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

Christos Kaklamanis Paperback
$262.95
2 formats available
HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings

Andreas Holzinger Hardcover
$80.50

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Overview

You May Also Like

Evolving OpenMP in an Age of Extreme Parallelism: 5th International Workshop on OpenMP, IWOMP 2009, Dresden, Germany, June 3-5, 2009 Proceedings

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

Graph Algorithms for the day before your coding interview

Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Building Enterprise IoT Solutions with Eclipse IoT Technologies: An Open Source Approach to Edge Computing

Clang Compiler Frontend: Get to grips with the internals of a C/C++ compiler frontend and create your own tools

Nasa Formal Methods: 11th International Symposium, Nfm 2019, Houston, Tx, Usa, May 7-9, 2019, Proceedings

String Algorithms for the day before your Coding Interview

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

AI Monetization of your Faceless YouTube Channel: Ai Side Hustle Niche

Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II

Pro ASP.NET MVC 5 Platform

Resource-oriented Computing With Netkernel: Taking Rest Ideas To The Next Level

Jump Start Mysql: Master The Database That Powers The Web

Software Estimation: Demystifying The Black Art

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

From Data to Models and Back: 9th International Symposium, Datamod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

Accelerator Programming Using Directives: 6th International Workshop, Waccpd 2019, Denver, Co, Usa, November 18, 2019, Revised Selected Papers

System Analysis And Modeling. Languages, Methods, And Tools For Industry 4.0: 11th International Conference, Sam 2019, Munich, Germany, September 16-17, 2019, Proceedings

Software Composition: 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers

Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Research into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings

Computer Performance Evaluation and Benchmarking: SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009, Proceedings

System Analysis And Modeling. Languages, Methods, And Tools For Systems Engineering: 10th International Conference, Sam 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings

Model-based Safety And Assessment: 6th International Symposium, Imbsa 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings

Software Engineering For Resilient Systems: 9th International Workshop, Serene 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

Accelerator Programming Using Directives: 7th International Workshop, Waccpd 2020, Virtual Event, November 20, 2020, Proceedings

Scaling up Learning for Sustained Impact: 8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013, Proceedings

Sustaining TEL: From Innovation to Learning and Practice: 5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings

Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

Measurement, Modelling And Evaluation Of Computing Systems: 20th International Gi/itg Conference, Mmb 2020, Saarbrucken, Germany, March 16-18, 2020, Proceedings

Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings

Accelerator Programming Using Directives: 8th International Workshop, Waccpd 2021, Virtual Event, November 14, 2021, Proceedings

Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Approximation And Online Algorithms: 18th International Workshop, Waoa 2020, Virtual Event, September 9-10, 2020, Revised Selected Papers

HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007, Proceedings