„Type check“

Suchergebnisse

1.000+ Treffer

• High levels of blood circulating immune checkpoint molecules in children with new-onset type 1 diabetes are associated with the risk of developing an additional autoimmune disease
  Bruzzaniti, Sara ; Piemonte, Erica ; Mozzillo, Enza ; Bruzzese, Dario ; Lepore, Maria Teresa ; Carbone, Fortunata ; Candia, Paola de ; Strollo, Rocky ; Porcellini, Antonio ; Marigliano, Marco ; Maffeis, Claudio ; Bifulco, Maurizio ; Ludvigsson, Johnny ; Franzese, Adriana ; Matarese, Giuseppe ; Galgani, Mario
• Datennetzwerktechnik – Informations- und Kommunikationstechnik
  2025 Vogel Communications Group GmbH & Co. KG
• Language and automata theory and applications – 7th international conference ; proceedings
  Dediu, Adrian-Horia ; Martín Vide, Carlos ; Truthe, Bianca 2013 Springer
• Introduction to Compiler Design
  Mogensen, Torben Æ. 2024 Springer International Publishing, Imprint: Springer
• Introduction to Compiler Design
  Mogensen, Torben Æ. 2017 Springer International Publishing
• Programming Language Concepts
  Sestoft, Peter 2017 Springer International Publishing
• Twin-Width and Types
  Gajarský, Jakub ; Pilipczuk, Michał ; Przybyszewski, Wojciech ; Toruńczyk, Szymon 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Development of an evidence-based checklist for the detection of drug related problems in type 2 diabetes
  Roozendaal, Bob W. van ; Krass, Ines
• Checklist of Benthic Macroinvertebrate Taxa Along Different Riparian Land Use Types in Alaknanda River Catchment of the Central Himalaya, Uttarakhand (India)
  Rana, Jitendra Singh ; Semalty, Bhaskaranand ; Singh, Pranav ; Swami, Navneet ; DEWAN, SAURABH ; Singh, Jagmohan ; Gusain, Manju Prakash ; Gusain, Om Prakash
• VDI/VDE 2647, Typprüfung von Schraubwerkzeugen - Drehmoment- und Drehmoment-/Drehwinkelprüfung – = Type testing of fastening tools - torque and torque/angle checking
  2025 DIN Media GmbH
• A Machine-Checked, Type-Safe Model of Java Concurrency – Language, Virtual Machine, Memory Model, and Verified Compiler
  Lochbihler, Andreas ; Snelting, G. 2012 KIT Scientific Publishing
• Type sound syntactic language extension
  Lorenzen, Florian ; Pepper, Peter ; Mezini, Mira ; Nestmann, Uwe 2015 Technische Universität Berlin
• Zur Sortenbewertung von Winterroggen und Winterweizen unter Standortbedingungen im nordostdeutschen Tiefland
  Macholdt, Janna Christina ; Ellmer, Frank ; Honermeier, Bernd ; Chmielewski, Frank-Michael 2013 Humboldt Universität zu Berlin, Landwirtschaftlich-Gärtnerische Fakultät
• Study on dynamic loading effects and disaster mitigation performance of open-type check dams
  Lv, Baohong ; Wang, Changming ; Zhang, Zefang ; Zhang, Mingmin
• On Normalization and Type Checking for Tree Transducers
  Friese, Sylvia ; Schulz, Klaus U. ; Seidl, Helmut 2011 Universitätsbibliothek der TU München
• On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking
  Kleeblatt, Dirk ; Pepper, Peter 2011 Universitätsbibliothek der Technischen Universität Berlin
• Type checking XML transformations
  Perst, Thomas
• A generator for type checkers
  Gast, Holger
• Fundamentals of Software Engineering – 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers
  Arbab, Farhad ; Sirjani, Marjan 2015 Springer International Publishing
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing