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
Theory of automatic adjustment systems. Laboratory and seminar guide
Elements of automatic adjustment engineering
Command – control systems. Analysis, design, applications
Kinetic theory and the mechanism of chain reactions. Simple chain reactions
Design of oxide nanomaterials with spinel structure. From synthesis to applications
Methods of analysis and control in ceramics
Indoor heating installations with hot water heating agent
Catalog 113 – Buildings and constructions from light industry
CD 118-2003: Normative execution of reinforced asphalt joints in order to ensure the continuation of the path to concrete bridges
Population migration
Reeducation processes (1952-1960). The state and the law, instruments of repression of the communist dictatorship
Romanian civilization in the early modern period
Modeling and performance evaluations in telecommunications
Modern Network Applications and Reference Architectures
Algorithms for image processing vol 2
Microwave problems solved and proposed
The quality of the electricity. High-rate reporting determinations
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Geometrodynamics of spatio-temporal deformations with applications in astrophysics and cosmology
Applications of the finite element method in electromagnetic field problems. Laboratory guidance and theoretical breviary
Electricity and magnetism problems with solutions
Python programmer job interview preparation. 63 interview questions solved
The Internet, the information society and the knowledge society
Transmission of information in computer networks
Economic and financial analysis. Theory and applications
Management of technical expertise
Logistics systems. Concepts and applications
Numerical methods for nonlinear equations
Numerical methods. Resolved in MathCad and MATLAB / SCILAB
Biostatistics. Elements of probabilistic theory and modeling
100 practical problems of heating installations
Synthesis of theoretical and applied mechanics 1/2018
Mechatronic and micromechatronic applications
Urban waste management
Applied ecology
Experimental research on the effectiveness of radon propagation remediation systems in residential buildings
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Global climate and sustainable development problems (book in Russian)
Microwave measurement technologies
Information technologies for the environmental investigations
Optoelectronics. Laboratory guidance
Sensors and actuators used in industrial processes
Photonic crystals and tweezers
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. 2/2023
Installation engineering magazine no. 4/2022
Installation engineering magazine no. 4/2023
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 4/2020
International Journal of User-System Interaction No. 2/2019
Bulletin of Romanian Chemical Engineering Society 2/2014
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Bulletin of Romanian Chemical Engineering Society 1/2017
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
Microprocessor Architecture. Laboratory Guide
Elena-Diana Sandru, George V. Popescu, Horia Cucu, Corneliu Burileanu
64,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 3
Marin Vlada - editor coordonator
151,00
lei
Add to cart
Advanced control strategies for networked/distributed systems – theory and applications
Constantin-Florin Caruntu, Anca Maxim, Corneliu Lazar
59,00
lei
Add to cart