Výsledky vyhledávání - computer programming. programming languages (elektronisk computers)

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Ahmed, Amal

“… The papers are organized in topical sections named: language design; probabilistic programming…”
Získat plný text

Programming for Computations: Python : A Gentle Introduction to Numerical Simulations with Python Autor Linge, Svein, Langtangen, Hans Petter

“…Numerical simulations; programming; Python…”
Získat plný text

TouchDevelop: Programming on the Go Autor Horspool, Nigel, Tillmann, Nikolai, Bishop, Judith

“…Computer science…”
Získat plný text

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Russo, Alessandra, Schürr, Andy

“…; programming languages; semantics; software engineering; specifications; verification…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Autor Beyer, Dirk, Huisman, Marieke

“…; program compilers; programming languages; semantics; software engineering; specifications; state space; verification…”
Získat plný text

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings Autor Baier, Christel, Dal Lago, Ugo

“…artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language…”
Získat plný text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I Autor Beyer, Dirk, Huisman, Marieke

“…; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering…”
Získat plný text

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings Autor Bauer, Lujo, Küsters, Ralf

“…; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering…”
Získat plný text

VHDL: programming by example Autor Perry, Douglas L

“…This is the hands-down favorite users guide to VHDL. It is completely updated to reflect the very latest design methods CD-ROM with working code examples,…”
Získat plný text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I Autor Chockler, Hana, Weissenbacher, Georg

Získat plný text

Computer Aided Verification: 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II Autor Chockler, Hana, Weissenbacher, Georg

Získat plný text

Language Technologies for the Challenges of the Digital Age: 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings Autor Rehm, Georg, Declerck, Thierry

“…semantics; artificial intelligence; natural language processing systems; natural language processing; NLP; machine learning; social networking; named entities…”
Získat plný text

Solving PDEs in Python: The FEniCS Tutorial I Autor Langtangen, Hans Petter, Logg, Anders

“…computer science; algorithms; visualization; software; programming…”
Získat plný text

Optimizing HPC Applications with Intel Cluster Tools Autor Supalov, Alexander, Semin, Andrey, Klemm, Michael, Dahnken, Christopher

“…Computer science…”
Získat plný text

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings Autor Yokota, Rio, Wu, Weigang

“…); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems…”
Získat plný text

Pro Git (Second Edition) Autor Chacon, Scott, Straub, Ben

“…Computer science…”
Získat plný text

Topics in parallel and distributed computing : introducing concurrency in undergraduate courses Autor Prasad, Sushil K.

“…Topics in Parallel and Distributed Computing provides resources and guidance for those learning PDC as well as those teaching students new to the…”
Získat plný text

Learn BlackBerry 10 App Development: A Cascades-Driven Approach Autor Ludin, Anwar

“…Computer science…”
Získat plný text

Database and expert systems applications : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005 : proceedings Autor Database and Expert Systems Applications Conference, Andersen, Kim Viborg, Debenham, John K., Wagner, Roland R.

“…s, querying XML, organisational aspects of databases, natural language processing, ontologies, Web data extraction, semantic Web, data stream management, data extraction, distributed database systems…”
Získat plný text

Flash with Drupal: build dynamic, content-rich Flash CS3 and CS4 applications for Drupal 6 Autor Tidwell, Travis

“…Due to its power and expandability, Drupal has become one of the most popular open source content management systems. At the same time, Flash has been adopted…”
Získat plný text