Тема, жанр, tags: Programmin » Page 6 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programmin » Page 6

book Getting Started with CNC: Personal Digital Fabrication with Shapeoko and Other Computer-Controlled Routers

Getting Started with CNC: Personal Digital Fabrication with Shapeoko and Other Computer-Controlled Routers

pdf

Author: Ford
Language: English
Year: 2016

00

27.01.2024

1

0

book Java SE 7 Programmer I: O guia para sua certificação Oracle Certified Associate

Java SE 7 Programmer I: O guia para sua certificação Oracle Certified Associate

pdf

Author: Guilherme Silveira Mário Amaral
Language: Portuguese
Year: 2015

00

27.01.2024

0

0

book Introduction to 3D Game Programming with DirectX 12

Introduction to 3D Game Programming with DirectX 12

epub

Author: Frank Luna
Language: English
Year: 2016

00

27.01.2024

0

0

book Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering

Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering

pdf

Author: Ahmed Seffah (auth.)
Language: English
Year: 2015

00

27.01.2024

0

0

book Mastering Python Design Patterns

Mastering Python Design Patterns

epub

Author: Sakis Kasampalis
Language: English
Year: 2015

00

27.01.2024

0

0

book The Object-Z Specification Language

The Object-Z Specification Language

djvu

Author: Graeme Smith (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Software engineering with OBJ: algebraic specification in action

Software engineering with OBJ: algebraic specification in action

djvu

Author: Joseph A. Goguen Timothy Winkler José Meseguer Kokichi Futatsugi (auth.) Joseph Goguen Grant Malcolm (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Computer-aided reasoning: ACL2 case studies

Computer-aided reasoning: ACL2 case studies

djvu

Author: Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.) Matt Kaufmann Panagiotis Manolios J. Strother Moore (eds.)
Language: English
Year: 2000

00

27.01.2024

0

0

book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

pdf

Author: David Aspinall Stephen Gilmore (auth.) Gilles Barthe Lilian Burdy Marieke Huisman Jean-Louis Lanet Traian Muntean (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0