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

Time Series Analysis Using Sas Enterprise Guide

Timina Liu Paperback
$102.50
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
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
Realm: Building Modern Swift Apps with Realm Database

Marin Todorov Paperback
$71.50
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Paperback
$80.50
2 formats available
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
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Paperback
$80.50
2 formats available
Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

David Naumann Paperback
$65.95
Linux for Small Business Owners: Using Free and Open Source Software to Power your Dreams

David Both Paperback
$87.95
2 formats available
Hardening Your Macs: Keeping Apple Computers Safe at the Hardware and Software Level

Jesus Vigo, Jr. Paperback
$94.95
2 formats available
Introducing Azure Bot Service: Building Bots For Business

Charles Waghmare Paperback
$65.95
2 formats available
Android Espresso Revealed: Writing Automated Ui Tests

Denys Zelenchuk Paperback
$94.95
2 formats available
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
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig Paperback
$80.50
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Paperback
$80.50
Cross-Cultural Design. Methods, Tools and User Experience: 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

Pei-Luen Patrick Rau 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
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Hardcover
$52.99
Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Ezechiel Hayes Paperback
$39.99
Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

Anthony Bonato Paperback
$80.50
2 formats available

Editorial reviews

reiner hahnle

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

Time Series Analysis Using Sas Enterprise Guide

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

Realm: Building Modern Swift Apps with Realm Database

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

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

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Linux for Small Business Owners: Using Free and Open Source Software to Power your Dreams

Hardening Your Macs: Keeping Apple Computers Safe at the Hardware and Software Level

Introducing Azure Bot Service: Building Bots For Business

Android Espresso Revealed: Writing Automated Ui Tests

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

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Cross-Cultural Design. Methods, Tools and User Experience: 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

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

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Microsoft Word 2023: The Most Updated Crash Course from Beginner to Advanced Learn All the Functions and Features to Become a Pro in 7 Days or Less

Algorithms and Models for the Web Graph: 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017, Revised Selected Papers

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, Proceedings

Innovative Internet Computing Systems: Second International Workshop, Iics 2002, Kuhlungsborn, Germany, June 20-22, 2002, Proceedings

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Job Scheduling Strategies for Parallel Processing: 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers

Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007, Revised Selected Papers

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings

Enhanced Material, Parts Optimization and Process Intensification: Proceedings of the First International Joint Conference on Enhanced Material and Part Optimization and Process Intensification, EMPOrIA 2020, May 19-20, 2020, Aachen, Germany

Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, 2000 Proceedings

CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, Aachen, September 17 - 19, 1986. Proceedings

Mathematical Morphology And Its Applications To Signal And Image Processing: 14th International Symposium, Ismm 2019, Saarbrucken, Germany, July 8-10, 2019, Proceedings

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Entertainment Computing and Serious Games: International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5-10, 2015, Revised Selected Papers

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

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