Search Results - automatizace programming – program synthesis. general terms algorithms

FrontMatter.

Source: Smart Multicore Embedded Systems; 2014, pi-xxvi, 26p

On the History of Computer Science, Computer Engineering, and Computer Technology Development in...

Authors: Dujnic, Jozef Fristacky, Norbert

Source: IEEE Annals of the History of Computing; Jul-Sep99, Vol. 21 Issue 3, p38, 11p, 9 Black and White Photographs

Subject Terms: COMPUTERS, TECHNOLOGICAL innovations

Geographic Terms: SLOVAKIA

XXIV. mezinárodní kolokvium o regionálních vědách : Sborník příspěvků

Authors: Žítek, Vladimír Lelková, Tereza Halásková, Martina et al.

Resource Type: eBook.

Categories: BUSINESS & ECONOMICS / Development / General, BUSINESS & ECONOMICS / Public Finance, TRAVEL / Food, Lodging & Transportation / General

Planning in Cold War Europe : Competition, Cooperation, Circulations (1950s-1970s)

Authors: Michel Christian Sandrine Kott Ondrej Matejka

Resource Type: eBook.

Subjects: Cold War

Categories: HISTORY / Social History, BUSINESS & ECONOMICS / Economic History, HISTORY / Europe / Eastern, HISTORY / Europe / Western, HISTORY / Russia / General, HISTORY / United States / 21st Century, HISTORY / Modern / 20th Century / General

ITA : Internationale Titelabkürzungen Von Zeitschriften, Zeitungen, Wichtigen Handbüchern, Wörterbüchern, Gesetzen, Institutionen Usw.

Authors: author unknown

Resource Type: eBook.

Categories: REFERENCE / Bibliographies & Indexes, REFERENCE / General, SCIENCE / General

Transport Systems Telematics : 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers

Authors: Jerzy Mikulski

Resource Type: eBook.

Subjects: Computer networks, Application software, Information storage and retrieval systems, Database management, Algorithms, Multimedia systems

Categories: COMPUTERS / Networking / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Database Administration & Management, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Interactive & Multimedia, COMPUTERS / Programming / Algorithms

Smart Multicore Embedded Systems

Authors: Massimo Torquati Koen Bertels Sven Karlsson et al.

Resource Type: eBook.

Subjects: Parallel processing (Electronic computers), Electronics, Multiprocessors, Parallel programming (Computer science), Embedded computer systems--Design and construction, Systems engineering

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General

Optimization Methods in Mathematical Modeling of Technological Processes

Authors: Alena Vagaská Miroslav Gombár Anton Panda

Resource Type: eBook.

Subjects: Engineering mathematics, Engineering—Data processing, Production engineering

Categories: TECHNOLOGY & ENGINEERING / Engineering (General), MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / Chemical & Biochemical

Recent Advances in Soft Computing and Cybernetics

Authors: Radek Matoušek Jakub Kůdela

Resource Type: eBook.

Subjects: Computational intelligence, Control engineering, Robotics, Automation

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics

Authors: Tarek Sobh Khaled Elleithy Ausif Mahmood et al.

Resource Type: eBook.

Subjects: Telecommunication--Congresses, Automation--Congresses, Computer engineering--Congresses, Industrial electronics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Telecommunications

Civilization at the Crossroads: Social and Human Implications of the Scientific and Technological Revolution (International Arts and Sciences Press) : Social and Human Implications of the Scientific and Technological Revolution

Authors: Radovan Richta

Resource Type: eBook.

Subjects: Technology and civilization

Categories: SOCIAL SCIENCE / Sociology / General

System Design in Software Engineering

Authors: Radek Silhavy Petr Silhavy

Resource Type: eBook.

Subjects: System design--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Artificial Intelligence / General

Advanced Computer and Communication Engineering Technology : Proceedings of ICOCOE 2015

Authors: Hamzah Asyrani Sulaiman Mohd Azlishah Othman Mohd Fairuz Iskandar Othman et al.

Resource Type: eBook.

Subjects: Computer engineering--Congresses, Telecommunication--Congresses

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General, TECHNOLOGY & ENGINEERING / Microwaves, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Quality Management, Value Creation, and the Digital Economy

Authors: Joanna Rosak-Szyrocka Justyna Żywiołek Muhammad Shahbaz

Resource Type: eBook.

Subjects: Production management, Management, Quality control

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Total Quality Management, BUSINESS & ECONOMICS / Production & Operations Management

Intelligent Systems in Cybernetics and Automation Theory : Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 2: Intelligent Systems in Cybernetics and Automation Theory

Authors: Radek Silhavy Roman Senkerik Zuzana Kominkova Oplatkova et al.

Resource Type: eBook.

Subjects: Automation--Congresses, Engineering, Artificial intelligence, Computer science--Congresses, Software engineering--Congresses, Cybernetics--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Interdisciplinary Public Finance, Business and Economics Studies—Volume VI

Authors: Adil Akinci

Resource Type: eBook.

Subjects: Economic policy, Business, Finance, Public

Categories: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Decision-Making & Problem Solving, BUSINESS & ECONOMICS / Education, BUSINESS & ECONOMICS / Management Science, BUSINESS & ECONOMICS / Operations Research, BUSINESS & ECONOMICS / Public Finance, BUSINESS & ECONOMICS / Taxation / General, BUSINESS & ECONOMICS / Taxation / Corporate, BUSINESS & ECONOMICS / Development / Economic Development, BUSINESS & ECONOMICS / International / Economics & Trade, BUSINESS & ECONOMICS / Industries / General, BUSINESS & ECONOMICS / Corporate & Business History, DRAMA / General, MATHEMATICS / General

HÜTTE Band 3: Elektro- und informationstechnische Grundlagen für Ingenieure

Authors: Manfred Hennecke Birgit Skrotzki

Resource Type: eBook.

Subjects: Mechanical engineering, Electrical engineering, Engineering mathematics, Engineering—Data processing, Bioengineering

Categories: TECHNOLOGY & ENGINEERING / Mechanical, MATHEMATICS / Applied, TECHNOLOGY & ENGINEERING / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

Advances in Mechanism Design III : Proceedings of TMM 2020

Authors: Jaroslav Beran Martin Bílek Miroslav Václavík et al.

Resource Type: eBook.

Subjects: Machinery, Mechatronics, Multibody systems, Vibration, Mechanics, Applied

Categories: TECHNOLOGY & ENGINEERING / Machinery, SCIENCE / Mechanics / Dynamics, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mechanical

New Optimization Techniques in Engineering

Authors: Godfrey C. Onwubolu B. V. Babu

Resource Type: eBook.

Subjects: Dynamics, Nonlinear theories, Mathematical optimization, Engineering design, Calculus of variations, Industrial engineering, Production engineering, Operations research

Categories: SCIENCE / System Theory, BUSINESS & ECONOMICS / Operations Research, TECHNOLOGY & ENGINEERING / Engineering (General), TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Industrial Design / General, MATHEMATICS / Optimization

Emerging Capabilities and Applications of Artificial Higher Order Neural Networks

Authors: Ming Zhang

Resource Type: eBook.

Subjects: Neural networks (Computer science)--Industrial applications, Engineering--Data processing, Business--Decision making--Data processing

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / General, COMPUTERS / Data Science / Neural Networks