Výsledky vyhledávání - automatische programming—program transformation general terms security*

Go Where the Bugs Are

Autoři: Gidon Ernst Matthias Güdemann Alexander Knapp a další

Resource Type: eBook.

Témata: Systems engineering, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General

Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Autoři: Jordi Bieger Ben Goertzel Alexey Potapov

Resource Type: eBook.

Témata: Artificial intelligence, Machine theory, Pattern recognition systems, Algorithms, Application software, Software engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

The 2021 International Conference on Smart Technologies and Systems for Internet of Things : STSIoT2021

Autoři: Ishfaq Ahmad Jun Ye Weidong Liu

Resource Type: eBook.

Témata: Cooperating objects (Computer systems), Telecommunication, Signal processing

Categories: TECHNOLOGY & ENGINEERING / Electronics / General, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Telecommunications, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

Early Computer Science Education – Goals and Success Criteria for Pre-Primary and Primary Education

Autoři: Nadine Bergner Hilde Köster Johannes Magenheim a další

Resource Type: eBook.

Témata: Computers and children, Early childhood education

Categories: EDUCATION / Schools / Levels / Early Childhood (incl. Preschool & Kindergarten)

International Dictionary of Abbreviations and Acronyms of Electronics, Electrical Engineering, Computer Technology, and Information Processing : Vol. 1: A - I. Vol. 2: J - Z

Autoři: Peter Wennrich

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Reference, SCIENCE / General

Standard Wörterbuch für Werbung, Massenmedien und Marketing Deutsch-Englisch : Standard Dictionary of Advertising, Mass Media and Marketing German-English

Autoři: Wolfgang J. Koschnick

Resource Type: eBook.

Categories: BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Marketing / General, LANGUAGE ARTS & DISCIPLINES / Communication Studies

Pp – Sf

Autoři: Michael Peschke Peter Wennrich

Resource Type: eBook.

Categories: REFERENCE / General, SCIENCE / General

Systems Approach for Development : Proceedings of the IFAC Conference, Cairo, Arab Republic of Egypt, 26-29 November 1977

Autoři: M. A. R. Ghonaimy

Resource Type: eBook.

Témata: System theory--Congresses

Categories: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Anthropology / General

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Autoři: Tiziana Margaria Bernhard Steffen

Resource Type: eBook.

Témata: Software engineering, Compilers (Computer programs), Computer science, Machine theory, Artificial intelligence

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

Dictionary of Electronics, Computing and Telecommunications/Wörterbuch Der Elektronik, Datentechnik Und Telekommunikation

Autoři: Vittorio Ferretti

Resource Type: eBook.

Témata: Electric engineering--Dictionaries, English language--Dictionaries--German, German language--Dictionaries--English

Categories: TECHNOLOGY & ENGINEERING / Electrical, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

Milestones in Analog and Digital Computing

Autoři: Herbert Bruderer

Resource Type: eBook.

Témata: Computer industry--History, Computer science--History, Computers--History

Categories: COMPUTERS / History, BUSINESS & ECONOMICS / Industries / Computers & Information Technology, EDUCATION / Computers & Technology

Information Technology Applications in Industry, Computer Engineering and Materials Science

Autoři: S.Z. Cai Q.F. Zhang

Resource Type: eBook.

Témata: Information technology--Congresses, Computer engineering--Congresses, Materials science--Congresses

Categories: TECHNOLOGY & ENGINEERING / General

Conquering Complexity

Autoři: Mike Hinchey Lorcan Coyle

Resource Type: eBook.

Témata: Computational complexity, Electronic data processing, Software engineering, Computer science

Categories: COMPUTERS / General

Robotics and Automation Systems

Autoři: Cornel Brișan Vistrian Mătieș Sergiu Dan Stan a další

Resource Type: eBook.

Témata: Automation--Congresses, Robotics--Congresses

Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

Historische Notizen zur Informatik

Autoři: Friedrich L. Bauer

Resource Type: eBook.

Témata: Electronic data processing--History, Computer science--History

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / History, MATHEMATICS / General, SCIENCE / History

Wörterbuch der bildgebenden Verfahren/Dictionary of Medical Imaging

Autoři: H. Pucher

Resource Type: eBook.

Témata: Diagnostic imaging--Dictionaries, English language--German.--Dictionaries, Diagnostic imaging--German.--Dictionaries, German language--English.--Dictionaries, Diagnostic Imaging--English.--Terminology, Diagnostic Imaging--German.--Terminology

Categories: MEDICAL / Radiology, Radiotherapy & Nuclear Medicine, MEDICAL / Orthopedics, MEDICAL / Surgery / General

Encyclopedia of Multimedia Technology and Networking, Second Edition

Autoři: Margherita Pagani

Resource Type: eBook.

Témata: Multimedia communications--Encyclopedias

Categories: COMPUTERS / Electronic Commerce, COMPUTERS / General, COMPUTERS / Human-Computer Interaction (HCI)

Machine Tools Production Systems 3

Autoři: Christian Brecher Manfred Weck

Resource Type: eBook.

Témata: Machinery, Machine design, Machinery--Testing

Categories: TECHNOLOGY & ENGINEERING / Manufacturing, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Mechanical

Rechtsfragen im Spektrum des Öffentlichen. : Mainzer Festschrift für Hubert Armbruster.

Autoři: Franz Burkei Dirk-Meints Polter

Resource Type: eBook.

Témata: Law--Germany (West), Law--Europe, International law

Categories: LAW / International, LAW / Administrative Law & Regulatory Practice, LAW / Constitutional

Software Pioneers

Autoři: Manfred Broy Ernst Denert

Resource Type: eBook.

Témata: Software engineering--History, Electronic data processing personnel, Computers--Biography, Electronic data processing personnel--Biography, Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / History, SCIENCE / History