English
Română
6
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Automatic control system by towing power for naval propulsion. Diesel engine case study + adjustable step propellers
Systems identification
Elements of production
Kinetic theory and the mechanism of chain reactions. Simple chain reactions
Physical chemistry of aggregation states
Thermoenergetic implications of fuel change in clinker installations
AND 592-2014: Norm regarding the use of geosynthetics to reinforce road structures with asphalt layers
C 155-2013: Norm for the production of lightweight concrete
NTE 003/04/00 Standard for the construction of overhead power lines with voltages above 1000 V
The 3D Heliosphere discovered by Ulysses mission
Filaments, coronal mass ejections and interplanetary disturbances
The lesson plan. Teacher’s creative act
Signals, carriers of information
Microprocessor systems
Digital measurement systems
Cogeneration and trigeneration
Electromagnetic field (static and stationary regimes)
Electrotechnical and electric cars vol. 2 Electric cars
Physical optics. Fundamentals
Physics. Mechanics
Elements of modern and contemporary physics
Java as a language for distributed programming
Computer programming and numerical calculation
Artificial intelligence in sociology. A conceptual framework and three applied studies
Work legislation
Economic financial analysis in transport. Workbook
Basics of management
Differential equations and partial differential equations with applications
Dynamical systems in ecology, epidemiology and social sciences: from theory to applications
Semilinear equations of evolution in Banach spaces. Semi-group approach
Mechanical crank presses
The evolution and impact of metallurgy on civilization
Neural networks. Theory and applications in modeling and simulation of production processes and systems
Hyperbaric engineering studies for professional diving
Constructions in the context of climate change
Dynamics and control of pollutants in the biosphere. Laboratory guidance
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. 4 – Procedures for cleaning and degreasing the hotel
No. 5 – Procedures for cleaning ventilation systems
Examples and counterexamples in mathematical analysis. Functions of a variable
Discovering Geometry: An Axiomatic Approach
Elementary combinatorics problems. Counting, graphs, games
Information technologies for the environmental investigations
Global climate and sustainable development problems (book in Russian)
Microwave measurement technologies
Conversational interaction in collaborative systems on the Web
Introduction to human-computer interaction
Evolved human-computer interface
Optical systems for communications
Technical optics
High capacity photonic memories
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Electrical engineering treaty. Industrial equipment. Elements of mechatronics and bionics
Ebook
BookViewer Information
Digital books
Iterative functional equations
Vibrations. Numerical and experimental applications
CR 2-1-1.1/2022: Design code for constructions with reinforced concrete structural walls
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. 4/2022
Installation engineering journal no. 1/2021
Synthesis of theoretical and applied mechanics 2/2012
Synthesis of theoretical and applied mechanics 2/2019
Synthesis of theoretical and applied mechanics 3/2020
International Journal of User-System Interaction nr. 4/2023
International Journal of User-System Interaction No. 4/2019
International Journal of User-System Interaction No. 2/2020
Bulletin of Romanian Chemical Engineering Society 1/2019
Bulletin of Romanian Chemical Engineering Society 2/2022
Bulletin of Romanian Chemical Engineering Society 1/2023
Romanian Journal of Civil Engineering nr. 3/2024
Romanian Journal of Civil Engineering 3/2018
Romanian Journal of Civil Engineering no. 3/2023
Romanian magazine of human-computer interaction 4/2013
Romanian magazine of human-computer interaction 3/2016
Romanian magazine of human-computer interaction 2/2010
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 1
Marin Vlada - editor coordonator
137,00
lei
Add to cart
International Journal of User-System Interaction No. 1/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart