„Programs“

Suchergebnisse

10.000+ Treffer

• Computing change and specificity with equational logic programs
  Hölldobler, Steffen ; Thielscher, Michael
• On stratified disjunctive programs
  Rajasekar, Arcot ; Minker, Jack
• On computability by logic programs
  Voronkov, Andrei
• Church youth alcohol and drug education programs
  Lorch, Barbara R.
• The diagnostic consultation and rural community mental health programs
  Townes, Brenda D. ; Lytle, Carlah E. ; Wagner, Nathaniel N. ; Wimberger, Herbert C.
• Static semantics for normal and disjunctive logic programs
  Przymusinski, Teodor C.
• Mentoring programs: A question of design
  Poldre, Peeter A.
• Comparative effectiveness of two institutional treatment programs for delinquents
  Jesness, Carl F.
• The transformational derivation of parallel programs using data distribution algebras and skeletons
  Südholt, Mario
• Verification of sequential and concurrent programs
  Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger 1997 Springer
• Programming languages – implementations, logics and programs ; 9th international symposium ; proceedings
  Glaser, Hugh 1997 Springer
• Types for proofs and programs – selected papers ; international Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995
  Berardi, Stefano 1996 Springer
• In This Issue
  Bieman, James
• The Efficiency of Critical Slicing in Fault Localization
  Al-Khanjari, Z. A. ; Woodward, M. R. ; Ramadhan, Haider Ali ; Kutti, N. S.
• Early Estimation of Users’ Perception of Software Quality
  Stavrinoudis, Dimitris ; Xenos, Michalis ; Peppas, Pavlos ; Christodoulakis, Dimitris
• A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation
  Amasaki, Sousuke ; Yoshitomi, Takashi ; Mizuno, Osamu ; Takagi, Yasunari ; Kikuno, Tohru
• On the Convergence of Sampling-Based Decomposition Algorithms for Multistage Stochastic Programs
  Linowsky, K. ; Philpott, A. B.
• A Metamodel for Assessable Software Development Methodologies
  Gonzalez-Perez, Cesar ; McBride, Tom ; Henderson-Sellers, Brian
• Major mutation-assisted plant breeding programs supported by FAO/IAEA
  Jain, S. Mohan
• A science plan for regional arctic system modeling a report by the arctic research community for the National Science Foundation, Office of Polar Programs
  Roberts, A. ; Cassano, J. ; Döscher, R. ; Hinzman, L. ; Holland, M. ; Mitsudera, H. ; Sumi, A. ; Walsh, J. E. ; Alessa, L. ; Alexeev, V.