„Program Analysis“

Suchergebnisse

7.892 Treffer

• Graph Transformation – 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings
  Harmer, Russ ; Kosiol, Jens 2024 Springer Nature Switzerland, Imprint: Springer
• Integer Programming and Combinatorial Optimization – 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3–5, 2024, Proceedings
  Vygen, Jens ; Byrka, Jarosław 2024 Springer Nature Switzerland, Imprint: Springer
• Data Science and Social Research II – Methods, Technologies and Applications
  2021 Springer International Publishing
• Operational Research – IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013
  Almeida, João Paulo ; Oliveira, José F. ; Pinto, Alberto Adrego 2015 Springer International Publishing
• Optimization in the Real World – Toward Solving Real-World Optimization Problems
  Fujisawa, Katsuki ; Shinano, Yuji ; Waki, Hayato 2016 Springer Japan
• Computational Collective Intelligence – 7th International Conference, ICCCI 2015 Madrid, Spain, September 21–23, 2015. Proceedings, Part I
  Núñez, Manuel ; Nguyen, Ngoc Thanh ; Camacho, David ; Trawinski, Bogdan 2015 Springer International Publishing
• A repeated cross-sectional analysis of SARS-CoV-2 seroprevalence in Manila, the Philippines after implementation of the national COVID-19 vaccination program
  Malijan, Greco Mark B. ; Suzuki, Shuichi ; Sayo, Ana Ria ; Villanueva, Annavi Marie ; Agrupis, Kristal An ; Ortal-Cruz, Abigail ; Salazar, Mary Ann ; Evangelista, Jan Wendzl ; Solante, Rontgene ; Go, Grace Devota ; Saludar, Naomi Ruth ; Miranda, Dinarazad ; Dimapilis, Alexis ; Ariyoshi, Koya ; Smith, Chris
• Multi-material design optimization of optical properties of particulate products by discrete dipole approximation and sequential global programming
  Nees, Nico ; Pflug, Lukas ; Mann, Benjamin ; Stingl, Michael
• Tools and Methods of Program Analysis – 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
  2021 Springer Singapore
• Transactions on Petri Nets and Other Models of Concurrency XV
  Koutny, Maciej 2021 Springer International Publishing
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVII – Special Issue on Digital Ecosystems and Social Networks
  Hameurlain, Abdelkader ; Tjoa, A Min ; Chbeir, Richard 2021 Springer Berlin Heidelberg
• The Role and Relevance of Higher Education Policy in EU External Relations – An Analysis of the Transmissive, Transformative and Transactional Qualities of University Institutions and Programmes
  Wulk, Sophie 2015 Nomos
• Tools and Algorithms for the Construction and Analysis of Systems – 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  Chechik, Marsha ; Raskin, Jean-François 2016 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
  Falaschi, Moreno 2015 Springer International Publishing
• Algorithms, Probability, Networks, and Games – Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
  Zaroliagis, Christos ; Pantziou, Grammati ; Kontogiannis, Spyros C. 2015 Springer International Publishing
• Dynamic Data-Driven Environmental Systems Science – First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers
  Ravela, Sai ; Sandu, Adrian 2015 Springer International Publishing
• AI-Enhanced threat analysis and risk assessment for connected and autonomous vehicles
  Ahmad, Usman ; Han, Mu ; Mahmood, Shahid
• Data-driven confidence bound for structural response using segmented least squares: a mixed-integer programming approach
  Kanno, Yoshihiro
• Safety Engineering – Das Praxisbuch für funktionale Sicherheit
  Rembold, Derk 2024 Rheinwerk Verlag
• Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
  Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander 2016 Springer International Publishing