English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Systems identification
OPINCAA OPcode INjection for Connex-Arm Architecture (A Programming Environment For Parallel Accelerators)
Theory of automatic adjustment systems. Course notes
Ion exchange processes in environmental protection
Hierarchical regulation of the catalytic cracking process
Chemical process management systems. Applications
I 13-2015: Norm regarding the design, execution and operation of central heating installations – updated according to Ord. 170/2023
Construction design. The technical project-exemplary model. P1-dimensioning reinforced concrete structural elements
Thermal insulation of buildings. Contemporary and adaptable solutions (translation from lb.germana)
Incursion into infinity near us
Topologies and morphisms
Collection of problems for Olympics and competitions on trades – technical field –
DSP-dSPACE systems applied in power electronics
[Digital] Electronics by Example: When Hardware Greets Software
Data communications vol. 1
Using FLUX3D for dielectric analysis
Real-time operating systems and languages. Application guide
Ag-SnO2 electrical contacts for switching devices
Electromagnetism (general physics course II)
Quantum mechanics – 2nd edition revised
Physik
Web programming. Applications in HTML, CSS, JavaScript
Algorithms for face recognition
Computing Center of the University of Bucharest (CCUB), the first computer science unit established in Romania
Scholarship for all
Explanatory legislative guide for construction investments
Logistics systems. Concepts and applications
Some methods of nonlinear functional analysis
New results in functional analysis and some related applications
Discovering Geometry: An Axiomatic Approach
Rigid inertia properties
Study of machinery, equipment and work technologies for assembly in industrial constructions
Environmental management in railway transport
Experimental research on the effectiveness of radon propagation remediation systems in residential buildings
Monitoring and control of environmental factors
Hyperbaric engineering studies for professional diving
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Information technologies for the environmental investigations
Microwave remote sensing tools and ecoinformatics
Design of distributed fuzzy control systems of HVAC equipment
Dielectric and magnetic devices
Optoelectronics. Problems
Experimental results and simulations of advanced optoelectronic devices
Journals
Installation engineering magazine
Synthesis of theoretical and applied mechanics
Magazine of installations - stopped publication in 2020
International Journal of User-System Interaction
Bulletin of Romanian Chemical Engineering Society
Romanian Journal of Civil Engineering
Romanian Journal of Human-Calculator Interaction - stopped publication in 2018
Installation engineering magazine no. 1/2021
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 1/2022
International Journal of User-System Interaction No. 2/2019
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 1/2019
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 1/2015
Software
EBOOK
Books at 5 lei
Deals
Home
/
Books
/
Informatics
/ Introduction to Mathematical and Computational Logic
Introduction to Mathematical and Computational Logic
de
Mihaela Poienariu
Universitatea "Spiru Haret" București
ISBN: 978-606-25-0777-0
Limba: Română
Suport: Hârtie
46,00
lei
Add to cart
View Content
Related products
The basics of e-commerce. A technological perspective
Doru Tiliute
48,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 4
Marin Vlada - editor coordonator
151,00
lei
Add to cart
International Journal of User-System Interaction No. 1/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart