Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Engineering & Applied Sciences 8,137
- Computer Science 5,889
- Development 3,873
- Application software 3,060
- Computer networks 2,731
- Computer programs 2,221
- Electrical & Computer Engineering 2,117
- Management 1,960
- Computer security 1,899
- Computer software 1,802
- Cloud computing 1,800
- Computer science 1,763
- Security measures 1,706
- Data processing 1,680
- Python (Computer program language) 1,633
- Telecommunications 1,632
- Computer programming 1,614
- Operating systems (Computers) 1,426
- Information Technology 1,389
- Java (Computer program language) 1,307
- Artificial intelligence 1,275
- Computer Science (Hardware & Networks) 1,254
- Design 1,195
- Computer graphics 1,185
- Examinations 1,175
- Programming 1,159
- Història 1,136
- Historia 1,129
- Indústria i comerç 1,124
- History 1,111
-
2241
-
2242por Molina Vila, CarlotaMaterias: “…Compra pública Espanya…”
Publicado 2016
Accés restringit als usuaris d'ESADE
Tesis -
2243
-
2244Publicado 2004Materias:Revista digital
-
2245
-
2246
-
2247por IEEE Computer Society StaffMaterias: “…Compilers (Computer programs) Congresses…”
Publicado 2006
Libro electrónico -
2248Publicado 2013Materias: “…Compilers (Computer programs) Congresses…”
Libro electrónico -
2249Publicado 2020Materias: “…Compilers (Computer programs)…”
Libro electrónico -
2250Publicado 2023Tabla de Contenidos: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages…”
Libro electrónico -
2251
-
2252
-
2253
-
2254
-
2255
-
2256
-
2257
-
2258
-
2259
-
2260Publicado 2021“…Così Sciascia volle presentare questo bellissimo libro di racconti, scritti fra il 1959 e il 1972: «... mi pare di aver messo assieme una specie di sommario della mia attività fino ad ora e da cui vien fuori (e non posso nascondere che ne sono in un certo modo soddisfatto, dentro la mia più generale e continua insoddisfazione) che in questi anni ho continuato per la mia strada, senza guardare né a destra né a sinistra (e cioè guardando a destra e a sinistra), senza incertezze, senza dubbi, senza crisi (e cioè con molte incertezze, con molti dubbi, con profonde crisi); e che tra il primo e l’ultimo di questi racconti si stabilisce come una circolarità: una circolarità che non è quella del cane che si morde la coda» -- Contracubierta…”
Libro
