Introduction0 码力 | 8 页 | 27.61 MB | 4 月前3
Introduction0 码力 | 8 页 | 379.61 KB | 4 月前3- An Introduction to LeanAn Introduction to Lean Jeremy Avigad Leonardo de Moura Gabriel Ebner and Sebastian Ullrich Version 1fc176a, updated at 2017-01-09 14:16:26 -0500 2 Contents Contents 3 1 Overview 5 1.1 Perspectives Automation in Lean 46 6 Metaprogramming in Lean 47 3 CONTENTS 4 Bibliography 48 1 Overview This introduction offers a tour of Lean and its features, with a number of examples for you to play around with0 码力 | 48 页 | 191.92 KB | 1 年前3
- 钟阳红-Apache Ballista Introduction第三届中国Rust开发者大会 Apache Ballista Introduction 钟阳红 (John Zhong) Software Engineer @ eBay nju_yaho@apache.org Agenda • Overview • Cluster Setup • SQL Execution • Data Cache • Future Apache Ballista0 码力 | 17 页 | 2.66 MB | 1 年前3
- Apache ServiceComb Introduction of Microservice Innovation Projecthttp://servicecomb.apache.org [Github ] https://github.com/apache?q=servicecomb Apache ServiceComb Introduction of Microservice Innovation Project [Website] http://servicecomb.apache.org [Github ] https://github0 码力 | 13 页 | 1.13 MB | 1 年前3
- Introduction aux frameworks PHP02.Introduction aux frameworks PHP 19 décembre 2023 Développement web il3 Introduction aux frameworks PHP HE-Arc 2016-24 DGR et YBL Framework1 • Fonctionnalités similaires pour de nombreuses applis0 码力 | 24 页 | 1.03 MB | 1 年前3
- When Lock-Free Still Isn't Enough: An Introduction to Wait-Free Programming and Concurrency Techniques0 码力 | 33 页 | 817.96 KB | 5 月前3
- Java 应用与开发 - Java 技术概述及开发环境0 码力 | 33 页 | 1.17 MB | 1 年前3
- ivan cukic cppcon 2021Ivan Čukić DESIGN IDIOMS FROM AN ALTERNATE UNIVERSE INTRODUCTION DATA FUNCTIONS AND DATA ABSTRACTIONS FUNCTIONS Ivan Čukić KDAB CppCon 2021 INTRODUCTION DATA FUNCTIONS AND DATA ABSTRACTIONS FUNCTIONS ABOUT Ivan Čukić KDAB CppCon 2021 INTRODUCTION DATA FUNCTIONS AND DATA ABSTRACTIONS FUNCTIONS COMPOSITION Doug McIlroy and Dennis Ritchie Ivan Čukić KDAB CppCon 2021 INTRODUCTION DATA FUNCTIONS AND DATA ABSTRACTIONS A-Za-z ’\n’ | tr A-Z a-z | sort | uniq -c | sort -rn | sed ${1}q Ivan Čukić KDAB CppCon 2021 INTRODUCTION DATA FUNCTIONS AND DATA ABSTRACTIONS FUNCTIONS Doug McIlroy, Bell System Technical Journal, 1978:0 码力 | 77 页 | 3.33 MB | 5 月前3
- The Shapes of Multidimensional ArraysIntroduction Standardization Design EDSL Extents Going beyond Conclusion The Shapes of Multi-Dimensional Arrays Vincent Reverdy September 17th, 2020 CppCon - Vincent Reverdy - September 17th, 2020 CC0 1.0 Universal - Public Domain Dedication 1Introduction Standardization Design EDSL Extents Going beyond Conclusion Table of contents 1 Introduction 2 Standardization 3 Design 4 EDSL 5 Extents Online CC0 1.0 Universal - Public Domain Dedication 2Introduction Standardization Design EDSL Extents Going beyond Conclusion Introduction 1 Introduction 2 Standardization 3 Design 4 EDSL 5 Extents0 码力 | 62 页 | 1.38 MB | 5 月前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100