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 Édition : Reiner Hähnle , Karl Meinke

21 juillet 2018

94,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 475 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

257

Programming and Software Engineering

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783319965611

Beginning CouchDB

Joe Lennon Couverture souple
65,95 $
Black Hat Physical Device Security: Exploiting Hardware and Software

Drew Miller Couverture rigide
81,50 $
Fighting Back the von Neumann Bottleneck with Small- and Large-Scale Vector Microprocessors

Matheus Cavalcante Couverture souple
103,95 $
Solving Large Scale Learning Tasks. Challenges And Algorithms: Essays Dedicated To Katharina Morik On The Occasion Of Her 60th Birthday

Stefan Michaelis Couverture souple
80,50 $
2 formats offerts
Revolutionizing Reality of Apple vision pro VR: The apple vision pro version unveiled 2024

Dave Anderson Couverture souple
18,50 $
Running With Robots: The American High School's Third Century

Greg Toppo Couverture rigide
39,95 $
3 formats offerts
Shell of an Idea: The Untold History of PowerShell

Don Jones Couverture souple
43,99 $
Shell of an Idea: The Untold History of PowerShell

Don Jones Livre numérique Kobo
37,99 $
Modern Network Observability: A hands-on approach using open source tools such as Telegraf, Prometheus, and Grafana

David Flores Livre numérique Kobo
40,99 $ ~~Réduction sur le prix courant 50,99 $ à~~
Internet of Things of Big Data for Healthcare: 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Jun Qi Couverture souple
94,95 $
2 formats offerts
Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Cezara Drägoi Couverture souple
131,50 $
2 formats offerts
Internet of Things of Big Data for Healthcare: 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Jun Qi Couverture souple
58,50 $
Handling Electronically Stored Information (ESI) in the Era of the Cloud

Guy Yardeni Couverture souple
19,50 $
Computers Helping People with Special Needs: 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II

Klaus Miesenberger Couverture souple
80,50 $
Evolutionary and Biologically Inspired Music, Sound, Art and Design: Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Juan Romero Couverture souple
87,95 $
Bin-Picking: New Approaches for a Classical Problem

Dirk Buchholz Couverture souple
160,95 $
3 formats offerts
Cracking The Digital Ceiling: Women In Computing Around The World

Couverture souple
33,95 $
2 formats offerts
SPSS: The Ultimate Data Analysis Tool

Steven Bright Livre numérique Kobo
2,99 $
Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Ernst-Rüdiger Olderog Couverture souple
102,50 $
2 formats offerts
AI at the Edge: Solving Real-World Problems with Embedded Machine Learning

Daniel Situnayake Livre audio
75,50 $
2 formats offerts

Évaluation éditoriale

reiner hahnle

Auteur

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

Andy Sch Couverture souple
160,95 $
Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5, 2012, Proceedings

Robert B. France Couverture souple
80,50 $
Innovative Internet Computing Systems: Second International Workshop, Iics 2002, Kuhlungsborn, Germany, June 20-22, 2002, Proceedings

Herwig Unger Couverture souple
80,50 $
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Couverture souple
72,95 $
Advances in Conceptual Modeling: ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

Georg Grossmann Couverture souple
80,50 $
2 formats offerts
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Annie A.M. Cuyt Couverture souple
80,50 $
S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management: First International Workshop, Karlsruhe, Germany, October 22, 2009, Revised Selected Papers

Hagen Buchwald Couverture souple
80,50 $
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014. Revised Selected Papers

Marco Nehmeier Couverture souple
80,50 $
2 formats offerts
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

Jürgen Münch Couverture souple
80,50 $
Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Grace A. Lewis Couverture souple
80,50 $
Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, Proceedings

Colette Johnen Couverture souple
145,95 $
2 formats offerts
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

Uwe Reisgen Couverture souple
248,50 $
2 formats offerts
Technologies for Interactive Digital Storytelling and Entertainment: Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006, Proceedings

Stefan Göbel Couverture souple
80,50 $
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers

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

Couverture souple
71,50 $
Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Couverture rigide
193,99 $
Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings

Couverture souple
71,50 $
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

Dietmar Seipel Couverture souple
80,50 $
Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Couverture souple
91,44 $
Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers

Couverture souple
71,50 $

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

Description

Vous aimerez peut-être aussi

Beginning CouchDB

Black Hat Physical Device Security: Exploiting Hardware and Software

Fighting Back the von Neumann Bottleneck with Small- and Large-Scale Vector Microprocessors

Solving Large Scale Learning Tasks. Challenges And Algorithms: Essays Dedicated To Katharina Morik On The Occasion Of Her 60th Birthday

Revolutionizing Reality of Apple vision pro VR: The apple vision pro version unveiled 2024

Running With Robots: The American High School's Third Century

Shell of an Idea: The Untold History of PowerShell

Shell of an Idea: The Untold History of PowerShell

Modern Network Observability: A hands-on approach using open source tools such as Telegraf, Prometheus, and Grafana

Internet of Things of Big Data for Healthcare: 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Static Analysis: 28th International Symposium, Sas 2021, Chicago, Il, Usa, October 17-19, 2021, Proceedings

Internet of Things of Big Data for Healthcare: 5th International Workshop, IoTBDH 2023, Birmingham, UK, October 21-25, 2023, Proceedings

Handling Electronically Stored Information (ESI) in the Era of the Cloud

Computers Helping People with Special Needs: 13th International Conference, ICCHP 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part II

Evolutionary and Biologically Inspired Music, Sound, Art and Design: Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers

Bin-Picking: New Approaches for a Classical Problem

Cracking The Digital Ceiling: Women In Computing Around The World

SPSS: The Ultimate Data Analysis Tool

Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

AI at the Edge: Solving Real-World Problems with Embedded Machine Learning

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

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

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

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

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

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

Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

S-BPM ONE: Setting the Stage for Subject-Oriented Business Process Management: First International Workshop, Karlsruhe, Germany, October 22, 2009, Revised Selected Papers

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

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

Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Stabilization, Safety, And Security Of Distributed Systems: 23rd International Symposium, Sss 2021, Virtual Event, November 17-20, 2021, 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

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

Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers

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

Mathematical Methods of Specification and Synthesis of Software Systems ‘85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985

Algorithmic Learning Theory: 9th International Conference, Alt'98, Otzenhausen, Germany, October 8-10, 1998 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

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers