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

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

Advances and Trends in Geodesy, Cartography and Geoinformatics II : Proceedings of the 11th International Scientific and Professional Conference on Geodesy, Cartography and Geoinformatics (GCG 2019), September 10 - 13, 2019, Demänovská Dolina, Low Tatras, Slovakia

Authors: Soňa Molčíková Viera Hurčíková Peter Blišt'an

Resource Type: eBook.

Subjects: Surveying--Congresses, Geodesy--Congresses

Categories: TECHNOLOGY & ENGINEERING / Remote Sensing & Geographic Information Systems, SCIENCE / Earth Sciences / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Civil / General, TECHNOLOGY & ENGINEERING / Environmental / General, TECHNOLOGY & ENGINEERING / Surveying

Les machines dans la linguistique : Colloque international sur la mécanisation et l'automation des recherches linguistiques

Authors: Jitka Stindlová Zdená Skoumalová

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General