Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
581	PHOSPHORUS Lambda User Controlled Infrastructure for European Research Integrated Project Strategic objective: Add to Reading List Source URL: www.ist-phosphorus.eu Language: English - Date: 2009-08-17 07:12:36
582	Power Supply Products Simple Function Type Compact AC-DC Power Supply RWSB Developed July 11, 2013 TDK Corporation announces the successful development of the TDK-Lambda brand RWS-B series of AC-DC power supplies. The li Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2013-07-11 04:06:18
583	Welcome to the Alpha Epsilon Lambda (AEL) Eta Chapter at Clemson University Written by President Tuesday, 08 May:07 - Last Updated Thursday, 18 April:39 AEL is an honor society for graduate and profession Add to Reading List Source URL: ael.gradschools.org Language: English - Date: 2013-07-30 17:33:43
584	On the confluence of lambda-calculus with conditional rewriting Frédéric Blanqui (INRIA) ∗ Claude Kirchner (INRIA) Colin Riba (LIP - ENS Lyon) ‡ Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2013-01-22 07:43:44
585	A connection between lambda calculus and maps Noam Zeilberger1 MSR-Inria Joint Centre OBT Workshop, Mumbai Add to Reading List Source URL: noamz.org Language: Polish - Date: 2015-01-20 11:11:29
586	A L TM A N N AMM - L1 LAMBDA REGULATOR MICRO MACHINES DIPL.-ING. CHARLES ALTMANN Add to Reading List Source URL: www.altmann.haan.de - Date: 2005-11-09 08:39:22
587	lambda led D-I krivka.eps Add to Reading List Source URL: www.omslighting.com Language: English - Date: 2015-11-06 08:10:05 Medicine Clinical medicine Physics Dielectrics Plastics Poly RAL colour standard Luminous efficacy Lambda Electrocardiography
588	A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Control flow Subroutines Computability theory Theoretical computer science Functional programming Continuation-passing style Lambda calculus Continuation Direct style Eval Stack Static single assignment form
589	Gundersen, T., Heijltjes, W. and Parigot, MAtomic lambda-calculus : A typed lambda-calculus with explicit sharing. In: Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, pp. 31 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-06-28 10:09:38
590	PHOSPHORUS Lambda User Controlled Infrastructure for European Research Integrated Project Strategic objective: Add to Reading List Source URL: www.ist-phosphorus.eu Language: English - Date: 2009-02-16 04:19:38

UPDATE