Тема, жанр, tags: Modality (Logic),Parallel programming (Computer science),Proof theory.,Proof theory,Modallogik,Synch » Page 10 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Modality (Logic),Parallel programming (Computer science),Proof theory.,Proof theory,Modallogik,Synch » Page 10

book Logic for concurrency and synchronisation

Logic for concurrency and synchronisation

pdf

Author: Queiroz Ruy J. G. B. de (ed.)
Language: English
Year: 2003

00

30.01.2024

0

0

book Introduction to parallel computing: from algorithms to programming on state-of-the-art platforms

Introduction to parallel computing: from algorithms to programming on state-of-the-art platforms

pdf

Author: Bulić Patricio, Robič Borut, Slivnik Boštjan, Trobec Roman
Language: English
Year: 2018

00

30.01.2024

2

0

book Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

Lessons in Scientific Computing: Numerical Mathematics, Computer Technology, and Scientific Discovery

pdf

Author: Norbert Schörghofer
Language: English
Year: 2018

00

30.01.2024

1

0

book Прикладной анализ текстовых данных на Python. Машинное обучение и создание приложений обработки естественного языка

Прикладной анализ текстовых данных на Python. Машинное обучение и создание приложений обработки естественного языка

pdf

Author: Бенджамин Бенгфорт Ребекка Билбро Тони Охеда
Language: Русский
Year: 2019

00

30.01.2024

2

0

book Python 3. Самое необходимое

Python 3. Самое необходимое

pdf

Author: Николай Прохоренок Владимир Дронов
Language: Русский
Year: 2019

00

30.01.2024

1

0

book Head First Kotlin: A Brain-Friendly Guide

Head First Kotlin: A Brain-Friendly Guide

epub

Author: Dawn Griffiths David Griffiths
Language: English
Year: 2019

00

30.01.2024

0

0

book Mastering Go: Create Golang production applications using network libraries, concurrency, and advanced Go data structures

Mastering Go: Create Golang production applications using network libraries, concurrency, and advanced Go data structures

pdf

Author: Mihalis Tsoukalos
Language: English
Year: 2018

00

30.01.2024

0

0

book Mastering PostgreSQL 11: Expert techniques to build scalable, reliable, and fault-tolerant database applications

Mastering PostgreSQL 11: Expert techniques to build scalable, reliable, and fault-tolerant database applications

pdf

Author: Hans-Jurgen Schonig
Language: English
Year: 2018

00

30.01.2024

0

0

book Julia Cookbook

pdf

Author: Jalem Raj Rohit
Language: English
Year: 2016

00

30.01.2024

0

0

book C++ Concurrency in Action

C++ Concurrency in Action

pdf

Author: Anthony Williams
Language: English
Year: 2019

00

30.01.2024

1

0