„Program Analysis“

Suchergebnisse

7.892 Treffer

• Tools and Methods of Program Analysis – 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
  Itsykson, Vladimir ; Scedrov, Andre ; Zakharov, Viktor 2018 Springer International Publishing
• Introduction to Scilab – For Engineers and Scientists
  2017 Apress
• Partial Least Squares Path Modeling – Basic Concepts, Methodological Issues and Applications
  Latan, Hengky ; Noonan, Richard 2017 Springer International Publishing
• Mindfulness- and acceptance-based programmes for obsessive-compulsive disorder: a systematic review and meta-analysis
  Bürkle, Johannes ; Schmidt, Stefan ; Fendel, Johannes 2025 Universität
• A survey of stochastic modelling approaches for liberalised electricity markets
  Möst, Dominik ; Keles, Dogan 2025 Technische Universität Dresden
• Generalizing from qualitative data: a case example using critical realist thematic analysis and mechanism mapping to evaluate a community health worker-led screening program in India
  Broderick, Kathryn ; Vaidyanathan, Arthi ; Ponticiello, Matthew ; Hooda, Misha ; Kulkarni, Vaishali ; Chalem, Andrea ; Chebrolu, Puja ; Onawale, Ashlesha ; Baumann, Ana ; Mathad, Jyoti ; Sundararajan, Radhika
• Performance analysis of user power consumption in NR-unlicensed DRX
  Rastogi, Eshita ; Maheshwari, Mukesh Kumar ; Rastogi, Ayush
• Computer programs for single channel kinetic analysis
  Saftenku, E. É
• Program for the online analysis and display of neuronal activity
  Miall, R. C.
• Programs for X-ray analysis of polycrystals
  Shelekhov, E. V. ; Sviridova, T. A.
• Statistical Analysis with R For Dummies
  Schmuller, Joseph 2017 John Wiley & Sons
• Use of the circuit simulation program SPICE2 for analysis of the metabolism of anticancer drugs
  White, J. Courtland
• Advanced Object-Oriented Programming in R – Statistical Programming for Data Science, Analysis and Finance
  2017 Apress
• Metaprogramming in R – Advanced Statistical Programming for Data Science, Analysis and Finance
  2017 Apress
• Verification of programmable logic controller code using model checking and static analysis
  Biallas, Sebastian 2016 Shaker Verlag
• 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
  Legay, Axel ; Margaria, Tiziana 2017 Springer
• Functional Programming in R – Advanced Statistical Programming for Data Science, Analysis and Finance
  2017 Apress
• Fundamental approaches to software engineering – 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
  Huisman, Marieke ; Rubin, Julia 2017 Springer
• Test Driven Development in Ruby – A Practical Introduction to TDD Using Problem and Solution Domain Analysis
  2017 Apress
• Computational Network Analysis with R – Applications in Biology, Medicine and Chemistry
  Dehmer, Matthias ; Shi, Yongtang ; Emmert-Streib, Frank 2016 Wiley-VCH