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
Basics of digital circuit design
Dynamical systems in ecology, epidemiology and social sciences: from theory to applications
Elements of applied mathematics in robotics
Notions of general and applied chemistry
Nonlinear dynamics
Ecological red bottles based on copper ruby
Indoor and outdoor lighting
P 130-2025 – Norm regarding the monitoring of the operational behavior of buildings
Brochure 16 – Foundations, scaffolding, machinery
Homework – between the stereotype of old school and the need for personal development of primary school students
Creation and creativity. Practices, issues and interdisciplinary approaches
The average modern civilization in the Romanian space
Accelerating semiconductor research: leveraging open-source PDK to prepare industry-ready engineers
Switching techniques and systems
Microprocessor systems
Real-time operating systems and languages. Application guide
Elements of quality and energy efficiency in modern electrical installations
Computer-assisted analysis of the sensitivities and tolerances of analog circuits
Nuclear power at 75 years old
The basics of quantum mechanics
General physics course I
MATLAB. Introduction to App Designer, Simulink and Simscape
Text mining methods based on support vector machine
Introduction to systems and computer science
Management efficiency solution
Human resources management
Audit of the Integrated Management System (SIM)
Mathematical analysis. Comprehensive calculation
Combinatorics and graph theory through exercises and problems
Elements of optimization and calculation of variations. Course notes
Ultrasonic waves in tubes
Vibration isolation and damping of railway vehicles
Syntheses of theoretical and applied mechanics 2/2022
Applied ecology
Environmental quality management. Applications
Monitoring and control of environmental factors
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 8 – Legislation and technical regulations relating to stoves
No.9 – Solid wood-fuel
No. 2 – Safety and health at work for mowers
Discovering Geometry: An Axiomatic Approach
Elementary combinatorics problems. Counting, graphs, games
Geometric transformations. Homothesis and inversion
Global climate and sustainable development problems (book in Russian)
Global Ecoinformatics. Theory and Applications
Environmental monitoring systems using microwave radiometric techniques
Advanced Natural Language Processing Techniques for Question Answering and Writing Evaluation
Introduction to human-computer interaction
Conversational interaction in collaborative systems on the Web
Materials for electronics and optoelectronics
Sensors and actuators
Image quality from concept definition to applications
Electrical engineering treaty. Electrotechnology
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. From robots to the virtual enterprise
Ebook
BookViewer Information
Digital books
Electrodynamics
Car parts. Basic concepts. Calculation elements
Microwave remote sensing tools and ecoinformatics
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. 4/2023
Installation engineering journal no. 3/2024
Installation engineering journal no. 1/2024
Synthesis of theoretical and applied mechanics 2/2013
Synthesis of theoretical and applied mechanics 2/2014
Syntheses of theoretical and applied mechanics 1/2025
International Journal of User-System Interaction No. 2/2020
International Journal of User-System Interaction No. 1/2020
International Journal of User-System Interaction No. 3/2022
Bulletin of Romanian Chemical Engineering Society 1/2025
Bulletin of Romanian Chemical Engineering Society 1/2022
Bulletin of Romanian Chemical Engineering Society 1/2023
Romanian Journal of Civil Engineering nr. 4/2025
Romanian Journal of Civil Engineering no. 2/2022
Romanian Journal of Civil Engineering 2/2019
Romanian magazine of human-computer interaction 3/2012
Romanian magazine of human-computer interaction 1/2009
Romanian magazine of human-computer interaction 4/2014
Software
Books at 5 lei
Publish with us
Home
/
Books
/
Informatics
/ Logical programming and functional programming. Theory and applications
Logical programming and functional programming. Theory and applications
de
Mihaela Oprea
Universitatea de Petrol și Gaze din Ploiești
ISBN: 978-606-25-0550-9
Limba: Română
Suport: Hârtie
65,00
lei
Add to cart
Table of Contents View
Related products
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
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 4
Marin Vlada - editor coordonator
167,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