E-Types - PDFSEARCH.IO - Document Search Engine

E-Types
Results: 2438

#	Item
561	Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Mads Chr. Olesen1 , Ren´e Rydhof Hansen1 , Julia L. Lawall2 , Nicolas Palix2 1 rrh,, http://www.cs Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:19 Data types Primitive types C programming language Coccinelle Code refactoring Software bugs Pointer C OCaml Software engineering Computing Computer programming
562	WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia L. Lawall,1 Julien Brunel,1∗ Nicolas Palix,1 Ren´e Rydhof Hansen,2 Henrik Stuart,1 Gilles Muller3 1 DIKU, University of Copenhagen, Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:25:56 Data types Coccinelle Code refactoring Null Pointer Software bug C Python Application programming interface Computing Software engineering Computer programming
563	Using R - MeasureCamp Training Richard Fergie — E-Analytica — @richardfergie Afternoon Training Session Contents 1 Introduction and Scope Add to Reading List Source URL: www.eanalytica.com Language: English - Date: 2015-05-15 02:00:27 Functional languages Procedural programming languages Data types ALGOL 68 Ggplot2 R NIL List Ensemble Kalman filter Computing Software engineering Programming language theory
564	Theoretical and Applied Climatology manuscript No. (will be inserted by the editor) Influence of circulation types on temperature extremes in Europe E.J.M. van den Besselaar · A.M.G. Klein Tank · G. van der Schrier Add to Reading List Source URL: eca.knmi.nl. Language: English - Date: 2009-07-16 07:54:33 Climate history Effects of global warming European Climate Assessment and Dataset Climate change Cryosphere Snow North Atlantic oscillation Global warming Climate of the Arctic Atmospheric sciences Earth Meteorology
565	A P P E N D I C E S DRUGS: GUIDANCE FOR SCHOOLS IN NORTHERN IRELAND APPENDIX 1: Main Types of Controlled Drugs by Class The Misuse of Drugs ActPlease note: Add to Reading List Source URL: www.deni.gov.uk Language: English - Date: 2012-05-02 06:08:55 Administrative law Legality of cannabis Misuse of Drugs Act Drug prohibition law Controlled Drug Substance abuse Single Convention on Narcotic Drugs Arguments for and against drug prohibition Drug control law Law Drug policy
566	A P P E N D I C E S DRUGS: GUIDANCE FOR SCHOOLS IN NORTHERN IRELAND APPENDIX 6: Active Learning Approaches Note: It is important that teachers should be trained to use these types of activities so that the issues, attit Add to Reading List Source URL: www.deni.gov.uk Language: English - Date: 2012-05-02 06:08:57 Drug policy Government Medicines Act Legality of cannabis Misuse of Drugs Act Prohibition of drugs Controlled Drug Arrestable offence Criminal Law Act Drug control law English criminal law Law
567	3.1 SYMBOL TABLES Algorithms F O U R T H R O B E R T Add to Reading List Source URL: t2.hhg.to Language: English - Date: 2012-04-03 10:31:41 Data types Associative arrays Null SQL Binary search algorithm Boolean data type Set C Lookup table Computing Software engineering Computer programming
568	Theoretical and Applied Climatology manuscript No. (will be inserted by the editor) Influence of circulation types on temperature extremes in Europe E.J.M. van den Besselaar · A.M.G. Klein Tank · G. van der Schrier Add to Reading List Source URL: www.ecad.eu. Language: English - Date: 2009-07-16 07:54:33 Climate history Effects of global warming European Climate Assessment and Dataset Climate change Cryosphere Snow North Atlantic oscillation Global warming Climate of the Arctic Atmospheric sciences Earth Meteorology
569	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
570	Ithaca College Library APA Citation Guide More detailed information and discussions of more resource types (e.g., manuscripts, podcasts) can be found in the Publication Manual of the American Psychological Association (6 Add to Reading List Source URL: ithacalibrary.com Language: English - Date: 2014-01-06 15:18:47 APA style Author citation Knowledge Library science Publishing Bibliography Citation Reference

UPDATE