Výsledky vyhľadávania - automatische programming-program synthesis general terms~

An Interview with Edsger W. Dijkstra.

Autori: Misa, Thomas J.

Zdroj: Communications of the ACM; Aug2010, Vol. 53 Issue 8, p41-47, 7p, 1 Black and White Photograph

Predmety: COMPUTER programmers, COMPUTER programming education, MULTILINGUALISM

Osoby: DIJKSTRA, Edsger Wybe

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

Autori: Jordi Bieger Ben Goertzel Alexey Potapov

Typ zdroja: eBook.

Predmet: Artificial intelligence, Machine theory, Pattern recognition systems, Algorithms, Application software, Software engineering

Kategórie: 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 Use of Computers in the Education of Control Engineers at ETH Zürich.

Autori: Mansour, M.A. Schaufelberger, W. Cellier, F.E. a ďalší

Zdroj: European Journal of Engineering Education; Jul1984, Vol. 9 Issue 2, p135-151, 17p

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

Autori: Nadine Bergner Hilde Köster Johannes Magenheim a ďalší

Typ zdroja: eBook.

Predmet: Computers and children, Early childhood education

Kategórie: EDUCATION / Schools / Levels / Early Childhood (incl. Preschool & Kindergarten)

Go Where the Bugs Are

Autori: Gidon Ernst Matthias Güdemann Alexander Knapp a ďalší

Typ zdroja: eBook.

Predmet: Systems engineering, Software engineering

Kategórie: COMPUTERS / Software Development & Engineering / General

Konrad Zuse's Early Computers

Autori: Raúl Rojas

Typ zdroja: eBook.

Predmet: Computers--Germany--History--20th century, Computer science--Germany--History--20th century

Kategórie: COMPUTERS / History, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / History

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

Autori: Ishfaq Ahmad Jun Ye Weidong Liu

Typ zdroja: eBook.

Predmet: Cooperating objects (Computer systems), Telecommunication, Signal processing

Kategórie: TECHNOLOGY & ENGINEERING / Electronics / General, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Telecommunications, TECHNOLOGY & ENGINEERING / Signals & Signal Processing

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

Autori: Wolfgang J. Koschnick

Typ zdroja: eBook.

Kategórie: BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Marketing / General, LANGUAGE ARTS & DISCIPLINES / Communication Studies

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

Autori: Peter Wennrich

Typ zdroja: eBook.

Kategórie: LANGUAGE ARTS & DISCIPLINES / Reference, SCIENCE / General

Pp – Sf

Autori: Michael Peschke Peter Wennrich

Typ zdroja: eBook.

Kategórie: REFERENCE / General, SCIENCE / General

Language As a Scientific Tool : Shaping Scientific Language Across Time and National Traditions

Autori: Miles MacLeod Rocío G. Sumillera Jan Surman a ďalší

Typ zdroja: eBook.

Predmet: Communication in science, Science--Language, Language, Universal

Kategórie: HISTORY / Social History, HISTORY / General, LANGUAGE ARTS & DISCIPLINES / General

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

Autori: Vittorio Ferretti

Typ zdroja: eBook.

Predmet: Electric engineering--Dictionaries, English language--Dictionaries--German, German language--Dictionaries--English

Kategórie: 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

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

Autori: Wolfgang J. Koschnick

Typ zdroja: eBook.

Predmet: English language--Dictionaries--German, Marketing--Dictionaries, Advertising--Dictionaries, Mass media--Dictionaries

Kategórie: BUSINESS & ECONOMICS / Management, BUSINESS & ECONOMICS / Marketing / General, LANGUAGE ARTS & DISCIPLINES / Communication Studies

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

Autori: Tiziana Margaria Bernhard Steffen

Typ zdroja: eBook.

Predmet: Software engineering, Compilers (Computer programs), Computer science, Machine theory, Artificial intelligence

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science

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

Autori: M. A. R. Ghonaimy

Typ zdroja: eBook.

Predmet: System theory--Congresses

Kategórie: SOCIAL SCIENCE / General, SOCIAL SCIENCE / Anthropology / General

Information Technology Applications in Industry, Computer Engineering and Materials Science

Autori: S.Z. Cai Q.F. Zhang

Typ zdroja: eBook.

Predmet: Information technology--Congresses, Computer engineering--Congresses, Materials science--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / General

Conquering Complexity

Autori: Mike Hinchey Lorcan Coyle

Typ zdroja: eBook.

Predmet: Computational complexity, Electronic data processing, Software engineering, Computer science

Kategórie: COMPUTERS / General

Milestones in Analog and Digital Computing

Autori: Herbert Bruderer

Typ zdroja: eBook.

Predmet: Computer industry--History, Computer science--History, Computers--History

Kategórie: COMPUTERS / History, BUSINESS & ECONOMICS / Industries / Computers & Information Technology, EDUCATION / Computers & Technology

Robotics and Automation Systems

Autori: Cornel Brișan Vistrian Mătieș Sergiu Dan Stan a ďalší

Typ zdroja: eBook.

Predmet: Automation--Congresses, Robotics--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Materials Science / General

Historische Notizen zur Informatik

Autori: Friedrich L. Bauer

Typ zdroja: eBook.

Predmet: Electronic data processing--History, Computer science--History

Kategórie: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / History, MATHEMATICS / General, SCIENCE / History