- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
- Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
- The Haskell School of Expression: Learning Functional Programming through Multimedia
- LaTeX: A Document Preparation System (2nd Edition)
- Denotational Semantics
- Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
- Programs and Machines
- The Denotational Description of Programming Languages: An Introduction
We can't make this file beautiful and searchable because it's too large.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| OPERATION_ID,TYPE,USER_ID,PRODUCTION,CONSUME,CONSUME_OTHERS,USER_VOLUME,USER_DENSITY,USER_ROLE,FILE_ID,FILE_SIZE,TOPIC_ID,TOPIC_VOLUME,TOPIC_DENSITY,TOPIC_ROLE | |
| 1,UPLOAD,43114731,0.011119759813188036,0.0,0.23351495607694875,1764,9.966666668653488,Gamma,100,4,17,5167328,47838.2333265692,Alpha | |
| 2,DOWNLOAD,1405534545,0.0,0.022239519626376072,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 2,DOWNLOAD,1405534545,0.0,0.022239519626376072,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 3,DOWNLOAD,640881322,0.0,0.011119759813188036,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 4,DOWNLOAD,1416963334,0.0,0.011119759813188036,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 5,DOWNLOAD,2189419908,0.0,0.033359279439564106,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 5,DOWNLOAD,2189419908,0.0,0.033359279439564106,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 5,DOWNLOAD,2189419908,0.0,0.033359279439564106,0.0,0,0.0,,100,4,17,5167328,47838.2333265692,Alpha | |
| 6,DOWNLOAD,1664876423,0.0,0.011119759813188036, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CIPHER=AES | |
| HASH_FUNCTION=SHA512 | |
| KEY_LENGTH=256 | |
| ITERATIONS=1000 | |
| OPERATION_MODE=CBC | |
| CSV_OUTPUT_PATH=/result | |
| DATA_FOLDER_PATH=/data | |
| DECRYPT_FOLDER_PATH=/decrypted | |
| ENCRYPT_FOLDER_PATH=/encrypted | |
| CIPHER_MODE=0 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| FILE_NAME | FILE_SIZE | TIME | KDF | CIPHER | TRANSFORMATION | KEY_LENGTH | |
|---|---|---|---|---|---|---|---|
| 650.txt | 1048575 | 381 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 916.txt | 1048575 | 131 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 276.txt | 1048575 | 102 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 1483.txt | 1048575 | 87 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 1122.txt | 1048575 | 87 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 1061.txt | 1048575 | 82 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 1297.txt | 1048575 | 79 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 219.txt | 1048575 | 74 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 | |
| 1067.txt | 1048575 | 79 | PBKDF2WithHmacSHA1 | DES | DES/CBC/PKCS5Padding | 64 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Importamos React | |
| import RC from 'react' | |
| # Importamos otro FunctionComponent el cual sirve como base. | |
| import { BaseInfo } from './BaseInfo.page' | |
| # Importar imagen de PDF (Recuerda agregar su imagen al folder images/) | |
| import pdf from '../../images/distributions/pdf.png' | |
| # Importar imagen de CDF (Recuerda agregar su imagen al folder images/) | |
| import cdf from '../../images/distributions/pdf.png' | |
| # Componente de React(Una simple funcion que retorna un HTML Element u otros FunctionComponents) |
People
:bowtie: |
😄 :smile: |
😆 :laughing: |
|---|---|---|
😊 :blush: |
😃 :smiley: |
:relaxed: |
😏 :smirk: |
😍 :heart_eyes: |
😘 :kissing_heart: |
😚 :kissing_closed_eyes: |
😳 :flushed: |
😌 :relieved: |
😆 :satisfied: |
😁 :grin: |
😉 :wink: |
😜 :stuck_out_tongue_winking_eye: |
😝 :stuck_out_tongue_closed_eyes: |
😀 :grinning: |
😗 :kissing: |
😙 :kissing_smiling_eyes: |
😛 :stuck_out_tongue: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * Demonstrate using an http server and an HTML form to control an LED. | |
| * The http server runs on the ESP8266. | |
| * | |
| * Connect to "http://esp8266WebForm.local" or "http://<IP address>" | |
| * to bring up an HTML form to control the LED connected GPIO#0. This works | |
| * for the Adafruit ESP8266 HUZZAH but the LED may be on a different pin on | |
| * other breakout boards. | |
| * | |
| * Imperatives to turn the LED on/off using a non-browser http client. |
NewerOlder