Semantics of the Probabilistic Typed Lambda Calculus. 1st ed. 2017

Mã QR

Semantics of the Probabilistic Typed Lambda Calculus. 1st ed. 2017

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Draheim, Dirk
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Theory of Computation Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science
Truy cập trực tuyến:	http://doi.org/10.1007/978-3-642-55198-7 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/101717
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Metaprogramming in R. 1st ed.
Bỡi: Mailund, Thomas
Được phát hành: (2020)

Advanced Object-Oriented Programming in R. 1st ed.
Bỡi: Mailund, Thomas
Được phát hành: (2020)

A Practical Approach to Compiler Construction. 1st ed. 2017
Bỡi: Watson, Des
Được phát hành: (2020)

Pro TypeScript. 2nd ed.
Bỡi: Fenton, Steve
Được phát hành: (2020)

Programming Languages and Systems
Bỡi: Ahmed, Amal
Được phát hành: (2020)

Logic Programming
Được phát hành: (2020)

Probability and Statistics for Computer Science. 1st ed.
Bỡi: Forsyth, David
Được phát hành: (2020)

Probabilistic Graphical Models: Principles and Applications
Bỡi: Sucar, Luis Enrique
Được phát hành: (2015)

Object-Oriented Design with ABAP. 1st ed.
Bỡi: McDonough, James E.
Được phát hành: (2020)

Building Web Applications with Visual Studio 2017. 1st ed.
Bỡi: Japikse, Philip, et al.
Được phát hành: (2020)

Build Mobile Apps with Ionic 2 and Firebase. 1st ed.
Bỡi: Cheng, Fu
Được phát hành: (2020)

Practical Aspects of Declarative Languages
Bỡi: Komendantskaya, Ekaterina, et al.
Được phát hành: (2020)

The Blender Python API. 1st ed.
Bỡi: Conlan, Chris
Được phát hành: (2020)

Scala for Java Developers. 1st ed.
Bỡi: Weston, Toby
Được phát hành: (2020)

C# and XML Primer. 1st ed.
Bỡi: Hartwell, Jonathan
Được phát hành: (2020)

MATLAB Machine Learning. 1st ed.
Bỡi: Paluszek, Michael, et al.
Được phát hành: (2020)

Exploring Swift Playgrounds. 1st ed.
Bỡi: Feiler, Jesse
Được phát hành: (2020)

Make Your Own Python Text Adventure. 1st ed.
Bỡi: Johnson, Phillip
Được phát hành: (2020)

Beginning Adobe Animate CC. 1st ed.
Bỡi: GREEN, TOM, et al.
Được phát hành: (2020)

JavaScript Essentials for SAP ABAP Developers. 1st ed.
Bỡi: Zaidi, Rehan
Được phát hành: (2020)

Interpreting LISP. 2nd ed.
Bỡi: Knott, Gary D.
Được phát hành: (2020)

Python Programming Fundamentals. 2nd ed.
Bỡi: Lee, Kent D.
Được phát hành: (2020)

Discrete Probability Models and Methods. 1st ed. 2017
Bỡi: Brémaud, Pierre
Được phát hành: (2020)

Integrated Formal Methods
Bỡi: Ahrendt, Wolfgang, et al.
Được phát hành: (2020)

Fundamentals of Software Engineering
Bỡi: Hojjat, Hossein, et al.
Được phát hành: (2020)

The Agent Modeling Language - AML
Được phát hành: (2020)

Complete Guide to Test Automation
Bỡi: Axelrod, Arnon
Được phát hành: (2020)

Beginning C++17
Bỡi: Horton, Ivor, et al.
Được phát hành: (2020)

Interactive C#. 1st ed.
Bỡi: Sarcar, Vaskaran
Được phát hành: (2020)

Java 9 Revealed. 1st ed.
Bỡi: Sharan, Kishori
Được phát hành: (2020)

Practical Scala DSLs. 1st ed.
Bỡi: Riti, Pierluigi
Được phát hành: (2020)

Android Apps for Absolute Beginners. 4th ed.
Bỡi: Jackson, Wallace
Được phát hành: (2020)

Code Generation with Roslyn. 1st ed.
Bỡi: Harrison, Nick
Được phát hành: (2020)

Python Unit Test Automation . 1st ed.
Bỡi: Pajankar, Ashwin
Được phát hành: (2020)

Pro Python Best Practices. 1st ed.
Bỡi: Rother, Kristian
Được phát hành: (2020)

Introduction to Python for Engineers and Scientists. 1st ed.
Bỡi: Nagar, Sandeep
Được phát hành: (2020)

Beginning Data Science in R. 1st ed.
Bỡi: Mailund, Thomas
Được phát hành: (2020)

Theoretical Aspects of Computing – ICTAC 2017
Bỡi: Hung, Dang Van, et al.
Được phát hành: (2020)

Reliable Software Technologies – Ada-Europe 2017
Bỡi: Blieberger, Johann, et al.
Được phát hành: (2020)

Reactive Programming with Angular and ngrx. 1st ed.
Bỡi: Farhi, Oren
Được phát hành: (2020)