„Type check“

Suchergebnisse

202 Treffer

• Guide pratique de la vente – tous les conseils, guides d'entretiens, formulaires d'organisation, contrats types et check-lists pour accroître votre efficacité commerciale
  Ed. WEKA
• Formal techniques for distributed systems – proceedings
  Beyer, Dirk ; Boreale, Michele 2013 Springer
• Residual Types In Time Series Analysis – Residual Types and Applications
  Unsal, Mehmet Guray ; Kasap, Resat 2013 LAP LAMBERT Academic Publishing
• A machine-checked, type-safe model of Java concurrency – language, virtual machine, memory model, and verified compiler
  Lochbihler, Andreas 2012 KIT Scientific Publ.
• Japan Diabetes Outcome Intervention Trial-1(J-DOIT1), a nationwide cluster randomized trial of type 2 diabetes prevention by telephone-delivered lifestyle support for high-risk subjects detected at health checkups: rationale, design, and recruitment
  Sakane, Naoki ; Kotani, Kazuhiko ; Takahashi, Kaoru ; Sano, Yoshiko ; Tsuzaki, Kokoro ; Okazaki, Kentaro ; Sato, Juichi ; Suzuki, Sadao ; Morita, Satoshi ; Izumi, Kazuo ; Kato, Masayuki ; Ishizuka, Naoki ; Noda, Mitsuhiko ; Kuzuya, Hideshi
• Checkpoints modulation by the Human T-lymphotropic virus type 1 Tax protein
  Carpentier, Alexandre ; Barez, Pierre-Yves ; Boxus, Mathieu ; Willems, Luc
• Concept for an extended type checker for the Z specification language
  Burghardt, Jochen 1996 GMD-Forschungszentrum Informationstechnik
• Fundamentals of software engineering – 4th IPM international conference ; revised selected papers
  Arbab, Farhad ; Sirjani, Marjan 2012 Springer
• Immune checkpoint therapy and type 1 diabetes
  Ikegami, Hiroshi ; Kawabata, Yumiko ; Noso, Shinsuke
• On normalization and type checking for tree transducers
  Friese, Sylvia
• Object-oriented programming – 25th European conference ; proceedings
  Mezini, Mira 2011 Springer
• Feasibility intervention trial of two types of improved cookstoves in three resource-limited settings: study protocol for a randomized controlled trial
  Klasen, Elizabeth ; Miranda, J Jaime ; Khatry, Subarna ; Menya, Diana ; Gilman, Robert H. ; Tielsch, James M. ; Kennedy, Caitlin ; Dreibelbis, Robert ; Naithani, Neha ; Kimaiyo, Sylvester ; Chiang, Marilu ; Carter, E Jane ; Sherman, Charles B. ; Breysse, Patrick N. ; Checkley, William
• Computational identification of novel natural inhibitors of glucagon receptor for checking type II diabetes mellitus
  Grover, Sonam ; Dhanjal, Jaspreet Kaur ; Goyal, Sukriti ; Grover, Abhinav ; Sundar, Durai
• Type checking C++ template instantiation by graph programs – (long version) ; Bericht
  Azab, Karl ; Pennemann, Karl-Heinz 2007 Fak. II, Dep. für Informatik, Abt. Sprachen, Univ.
• Type checking XML transformations
  Perst, Thomas
• Definition of a type system for generic and reflective graph transformations
  Legros, Elodie
• Exact XML type checking in polynomial time
  Maneth, Sebastian ; Perst, Thomas ; Seidl, Helmut 2006 Univ., Mathematik/Informatik
• A generator for type checkers
  Gast, Holger
• Calendars as types – data modeling, constraint reasoning, and type checking with calendars
  Spranger, Stephanie 2006 Utz
• Effects of Y -type spillway lateral contraction ratios on debris-flowpatterns and scour features downriver of a check dam
  Chen, Huayong ; Liu, Jinfeng ; Zhao, Wanyu