English
Română
2
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
The use of deep neural networks in predicting the movement of road traffic participants
Robust control systems
Techniques to assist decision and diagnosis. Laboratory guidance
Notions of general and applied chemistry
Chemical kinetics. Fundamental aspects
Mineral biotechnology
AND 616-2022: Technical instructions for road markings
NP 012-1997: Norm for the calculation of steel elements with cold formed thin walls
Brochure 06 – Constructions for road, air transport. – with updated values
Turbulence in the Heliosphere
Expertise of road accidents through modern European methods
Modeling the application of swimming-specific means in the recovery and recovery of people aged 31-40 years
Data acquisition systems
Telephone transmissions
Theory and design of microwave circuits
Measuring systems with transducers
Electrical installations
Introduction to high frequency electromagnetic field theory
The theory of special relativity
Nuclear power at 75 years old
Elements of statistical physics
Program packages, models and test problems for mathematical programming
Document processing using XML and Perl
Contributions on the architectural development of distributed real-time systems
Occupational health and safety management. Applications
Product marketing
Management of the education and continuous professional training system
Algorithms. Introduction to network flow algorithms
Arithmetic and number theory lessons
Collection of solved problems of differential geometry
Reliability and maintenance of railway vehicles. Application works
Theory, model and experiment in the dynamics of percussion systems
Theory and practice of mixing systems
Biostatistics. Elements of probabilistic theory and modeling
Hyperbaric engineering studies for professional diving
Mineral biotechnology
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 7 – Measuring and control apparatus for mowers
No. 5 – Procedures for cleaning ventilation systems
No. 6 – Job description for mowers
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
170 geometry problems
Geometric cartridges
Environmental monitoring systems using microwave radiometric techniques
Microwave measurement technologies
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
The quality of interactive systems. Studies and experiments
Document processing using XML and Perl
Cognitive ergonomics: theories, models, applications
Sensors and actuators
High capacity photonic memories
Photonic crystals and tweezers
Electrical engineering treaty. Electrotechnology
Electrical engineering treaty. Reliability, diagnosis and calibration elements
Electrical engineering treaty. Sources of electricity
Ebook
BookViewer Information
Digital books
Pre-dimensioning of a carbre droit d’un pump a engrenages
I 18 / 1-2001: Normative design and execution of interior electrical installations of low currents related to civil buildings and production
Processes and equipment for greening localities
Journals
Installation engineering journal
Synthesis of theoretical and applied mechanics
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 journal no. 3/2024
Installation engineering journal no. 3/2022
Installation engineering journal no. 1/2025
Synthesis of theoretical and applied mechanics 1/2020
Syntheses of theoretical and applied mechanics 1/2023
Synthesis of theoretical and applied mechanics 2/2018
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 3/2022
International Journal of User-System Interaction No. 1/2019
Bulletin of Romanian Chemical Engineering Society 1/2025
Bulletin of Romanian Chemical Engineering Society 1/2023
Bulletin of Romanian Chemical Engineering Society 1/2015
Romanian Journal of Civil Engineering nr. 1/2025
Romanian Journal of Civil Engineering nr. 4/2024
Romanian Journal of Civil Engineering nr. 2/2025
Romanian magazine of human-computer interaction 1/2008
Romanian magazine of human-computer interaction 2/2011
Romanian magazine of human-computer interaction 3/2017
Software
Books at 5 lei
Publish with us
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
51,00
lei
Add to cart
View Content
Related products
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
Octaviana Datcu
54,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 2
Marin Vlada - editor coordonator
137,00
lei
Add to cart
Microprocessor Architecture. Laboratory Guide
Elena-Diana Sandru, George V. Popescu, Horia Cucu, Corneliu Burileanu
71,00
lei
Add to cart