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
Elements of modeling and optimization of chemical processes
Machine Learning Fundamentals. From Theory to Practice
Applications with real-time systems
Chemical process management systems. Applications
Chemistry of air pollutants
Dynamics of chemical systems
NTE 010/20/01 – Technical norm regarding the establishment of requirements for the execution of live works in electrical installations
Programarea calculatoarelor – aplicatii pentru cadastru si constructii
Automatic calculation of structures
Turbulence in the Heliosphere
Expertise of road accidents through modern European methods
Under the sign of Dragomir Hurmuzescu
Analog electronics. Theory and applications
Medical equipment. Course notes
Programming with hardware description languages. VHDL language applications
Electrical circuit theory. Applications
Electromagnetic field theory
The basics of electrical engineering
Nonlinear dynamics, chaos and noise in experimental systems
General physics course I
Physics. Electromagnetic waves
C / C ++ programming
Graphic transformations
User interface design with the React library
Process and product quality control
Environmental management
Economic and financial analysis. Theory and applications
The paradigm of using matrices in Matlab
From Euclid to Hilbert. The contemporary era
Elements of mathematical analysis for high school
Mechanical calculation of chemical equipment
Brakes for railway vehicles
Mechanical device design management
The unseen face of the Japanese miracle. Collective poisoning with cadmium and mercury
Environmental investigation
Tailings ponds. Risk management
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Design of distributed fuzzy control systems of HVAC equipment
Global climate and sustainable development problems (book in Russian)
Microwave measurement technologies
High capacity photonic memories
Experimental results and simulations of advanced optoelectronic devices
Technical optics
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. 4/2023
Installation engineering magazine no. 4/2022
Installation engineering magazine no. 3/2022
International Journal of User-System Interaction No. 4/2020
International Journal of User-System Interaction No. 1/2019
International Journal of User-System Interaction nr. 1/2022
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 2/2017
Bulletin of Romanian Chemical Engineering Society 2/2014
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
Lab guide for LabVIEW programming environment
Andrei Craifaleanu, Nicolaie Orasanu
43,00
lei
Add to cart
International Journal of User-System Interaction No. 4/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
33,00
lei
Add to cart