Struct - PDFSEARCH.IO - Document Search Engine

Struct
Results: 936

#	Item
151	Under consideration for publication in Math. Struct. in Comp. Science Proof nets and semi-⋆-autonomous categories Willem Heijltjes1 and Lutz Straßburger2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-09 06:18:26
152	Under consideration for publication in Math. Struct. in Comp. Science An Inductive Characterization of Matching in Binding Bigraphs T r o e l s C . D a m g a a r d1 , A r n e J . G l e n s t r u p1 , L a r s B i r k e d Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-09-26 07:53:43
153	Research papers Struct Multidisc Optim 19, 85–92  Springer-Verlag 2000 Topology optimization of continuum structures subjected to pressure loading Add to Reading List Source URL: www.c-i-d.dk Language: English - Date: 2002-06-19 06:25:24
154	Under consideration for publication in Math. Struct. in Comp. Science A System of Interaction and Structure V: The Exponentials and Splitting Alessio Guglielmi1† and Lutz Straßburger2‡ 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-12-07 09:58:41
155	Under consideration for publication in Math. Struct. in Comp. Science On the Algebra of Structural Contexts (Submitted to MSCS) FRANC ¸ OIS LAMARCHE Add to Reading List Source URL: www.loria.fr Language: English - Date: 2008-03-03 07:56:35
156	Christian Grothoff COMP 3704 Computer Security Christian Grothoff Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:47 Computer programming MD5 SHA-1 SHA-2 MD4 ALGOL 68 Struct Hash function Whirlpool Cryptographic hash functions Cryptography Computing
157	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures SpringQuiz #5: May 7, 2004 Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-01-17 10:22:28 Arrays Virtual memory C programming language C++ Memory management C++ classes Circular buffer ALGOL 68 Struct Computing Computer programming Software engineering
158	Autom Softw Eng: 119–148 DOIs10515z Generic patch inference Jesper Andersen · Julia L. Lawall Add to Reading List Source URL: www.diku.dk Language: English - Date: 2010-12-23 16:35:24 Patch Software maintenance Linux kernel Stat Diff Coccinelle Struct Computing Software System software
159	Reed-Solomon Library Programming Interface Thomas Gleixner Add to Reading List Source URL: tali.admingilde.org Language: English - Date: 2007-11-17 18:03:32 C programming language Computer programming Data transmission Reed–Solomon error correction Ip Circular buffer Sizeof Parity bit Struct Error detection and correction Computing Coding theory
160	,ch05.7955 Page 106 Friday, January 21, :41 AM CHAPTER 5 Chapter 5 Add to Reading List Source URL: lwn.net Language: English - Date: 2005-03-14 13:07:46 Semaphore Critical section Thread Mutual exclusion Lock Struct Synchronization Circular buffer Multiprocessing Concurrency control Computing Computer programming

UPDATE