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
Architecture of local industrial networks
Theory of automatic systems. Theoretical foundations and MATLAB applications
Robotics elements used in the metal materials industry
Surfactants used as textile auxiliaries in fiber processing
Introduction to animal cell bioengineering
The chemical elements and the periodic system “planetary form”
Installation Magazine No.6/2016
I 18 / 1-2001: Normative design and execution of interior electrical installations of low currents related to civil buildings and production
NE 001-1996: Norm regarding the execution of thick and thin wet plasters
Filaments, coronal mass ejections and interplanetary disturbances
The 3D Heliosphere discovered by Ulysses mission
Population migration
Aspects of the reliability of electronic components and systems
MATLAB. A language for future engineers
Microwave systems
Wireless electromagnetic energy transfer systems
Field theory. Curvilinear coordinate systems and applications
Advanced C ++ programming for electrical engineering
Electricity and magnetism
Mechanical oscillations elastic and acoustic waves
Structural and magnetic analysis of compounds with rare earths
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
The FORTRAN language. Programming and applications
Artificial intelligence. Project guidance
Management in small and medium companies
Decision and forecast
Decision analysis
Collection of mathematics problems for the baccalaureate and the entrance exam in technical higher education
Notions of applied statistics with examples in R
Applications, problems and exercises solved with Mathcad
Space vehicle dynamics. Laboratory instructor
Hydraulic and pneumatic drives
Machine organs for plumber engineers
Air quality inside residential buildings. Guide. Best practices for the design, construction, operation and maintenance of housing (English translation)
Rapita, a culture with ecological values. Biology, ecology and culture technology
Acquisition techniques, monitoring and diagnosis of environmental quality. Laboratory guidance
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
Microwave measurement technologies
Microwave remote sensing tools and ecoinformatics
Experimental results and simulations of advanced optoelectronic devices
Optoelectronic devices
Sensors and actuators used in industrial processes
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. 2/2023
Installation engineering magazine no. 2/2022
International Journal of User-System Interaction No. 4/2019
International Journal of User-System Interaction No. 2/2019
International Journal of User-System Interaction No. 1/2021
Bulletin of Romanian Chemical Engineering Society 2/2014
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 1/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
Human-computer interaction. Laboratory guidance
Vlad Posea
15,00
lei
Add to cart
Logical programming and functional programming. Theory and applications
Mihaela Oprea
59,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 1
Marin Vlada - editor coordonator
124,00
lei
Add to cart