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
Information technologies for the environmental investigations
Contributions on the architectural development of distributed real-time systems
Beyond the limits of modern processors
Pesticides. Properties – accessibility
Alkaloids. Representatives. Bioactivity
Chemical engineering. Transfer of the movement amount
NP 033-1999: Design code for rigid reinforced concrete structures (BAR)
Romanian Journal of Civil Engineering nr. 3/2024
Judicial expertise means of proof
English triangle
Modern materials and techniques, innovative in cranial surgery
The 3D Heliosphere discovered by Ulysses mission
Active filters
Cryptographic Algorithms and Protocols
Digital signal processing: fundamental concepts, advanced techniques, applications
Servomechanism. Laboratory guidance
Special electrical issues
Using FLUX3D for dielectric analysis
The theory of special relativity
Aspects of unity in solid state transformations in steels. A quasi-unitary theory of transformations in steels
Physical optics. Fundamentals
Relational databases in the Oracle environment vol. 1
C ++ programming elements useful in electrical engineering
Elements of artificial intelligence and Prolog
Human energy management
Applications in SAP IDES ERP
Logistics systems. Concepts and applications
Dynamic behavior of systems with hysteretic characteristics
Geometric transformations. Homothesis and inversion
Numerical optimization techniques
Motorcycle systems
Alternative solutions for making installations equipped with heat pumps
Study of machinery, equipment and work technologies for assembly in industrial constructions
Natural resources and their use. Waste recovery in industry
Particles air pollution
The storm of ideas and the calm of solutions. Patent anthology from personal collection
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
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Environmental monitoring systems using microwave radiometric techniques
High capacity photonic memories
Optical systems for communications
Optoelectronic measurements. Guidebook
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. 3/2022
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 2/2022
International Journal of User-System Interaction No. 4/2020
International Journal of User-System Interaction nr. 1/2022
International Journal of User-System Interaction No. 1/2020
Bulletin of Romanian Chemical Engineering Society 2/2017
Bulletin of Romanian Chemical Engineering Society 2/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
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
92,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
International Journal of User-System Interaction No. 1/2019
RoCHI (ACM SIGCHI Romania)
29,00
lei
Add to cart