„Program Analysis“

Suchergebnisse

7.892 Treffer

• 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, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
  Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
• High Performance Computing in Science and Engineering – Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
  Kozubek, Tomas ; Blaheta, Radim ; Šístek, Jakub ; Rozložník, Miroslav ; Čermák, Martin 2016 Springer International Publishing
• Web Services, Formal Methods, and Behavioral Types – 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
  Hildebrandt, Thomas ; Ravara, António ; van der Werf, Jan Martijn ; Weidlich, Matthias 2016 Springer International Publishing
• Genetic Programming – 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
  Heywood, Malcolm ; McDermott, James ; Castelli, Mauro ; Costa, Ernesto ; Sim, Kevin 2016 Springer International Publishing
• Graphical Models for Security – Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
  Mauw, Sjouke ; Kordy, Barbara ; Jajodia, Sushil 2016 Springer International Publishing
• Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
  Ganty, Pierre ; Loreti, Michele 2016 Springer International Publishing
• Feasibility analysis and opposition white shark optimizer for optimizing modified EfficientNetV2 model for road crack classification
  Al-Shalabi, Mohammed ; Mahdi, Mohammed A. ; Braik, Malik ; Al-Betar, Mohammed Azmi ; Ahamad, Shahanawaj ; Saad, Sawsan A.
• Digital forensic analysis for vehicle infotainment systems based on packet fingerprinting
  Shin, Yeonghun ; Yu, Geon ; Shon, Taeshik
• Geoheritage Research Trends: A Comparative Bibliometric Analysis of Global and Türkiye Perspectives Using R Programming
  Göktaş, Yaren ; Boyraz, Zeki
• State of the art in program analysis
  Monat, Raphaël ; Rubio-González, Cindy
• A Practical Guide to Sentiment Analysis
  Cambria, Erik ; DAS, DIPANKAR ; Bandyopadhyay, Sivaji ; Feraco, Antonio 2017 Springer International Publishing
• Optimization and Its Applications in Control and Data Sciences – In Honor of Boris T. Polyak’s 80th Birthday
  Goldengorin, Boris 2016 Springer International Publishing
• Transactions on Petri Nets and Other Models of Concurrency XI
  2016 Springer International Publishing
• Analyzing Financial Data and Implementing Financial Models Using R
  2021 Springer International Publishing
• Computational Engineering – Theorie und Praxis der Transportmodelle
  Geiser, Jürgen 2018 Springer Fachmedien Wiesbaden
• Trends and Perspectives in Linear Statistical Inference – Proceedings of the LINSTAT2016 meeting held 22-25 August 2016 in Istanbul, Turkey
  Tez, Müjgan ; Rosen, Dietrich ˜vonœ 2018 Springer International Publishing
• Data Science and Social Research – Epistemology, Methods, Technology and Applications
  Lauro, Carlo ; Amaturo, Enrica ; Grassia, Maria Gabriella ; Aragona, Biagio ; Marino, Marina 2017 Springer International Publishing
• Actors, Institutions, and the Making of EU Gender Equality Programs
  Ahrens, Petra 2018 Palgrave Macmillan UK
• Data Science – Innovative Developments in Data Analysis and Clustering
  Palumbo, Francesco ; Montanari, Angela ; Vichi, Maurizio 2017 Springer International Publishing
• Efficacy and safety of belumosudil for treatment of cGVHD: multicenter retrospective analysis of the French cohort of the compassionate use program, on behalf of the French Society of Bone Marrow Transplantation and Cellular Therapy
  Michonneau, David ; Malard, Florent ; Grand, Sophie Le ; Magro, Leonardo ; D’Aveni, Maud ; Tudesq, Jean Jacques ; Villate, Alban ; Meunier, Mathieu ; Maillard, Natacha ; Castilla-Llorente, Cristina ; Marçais, Ambroise ; Cabrera, Quentin ; Huynh, Anne ; Menard, Anne-Lise ; Forcade, Edouard ; Labussière-Wallet, Hélène ; Raus, Nicole ; Loschi, Michael