Search Results - computer programming. programming languages ((elektronisk OR 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 by Ahmed, Amal

“… The papers are organized in topical sections named: language design; probabilistic programming…”
Get full text

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

“…Numerical simulations; programming; Python…”
Get full 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 by Russo, Alessandra, Schürr, Andy

“…; programming languages; semantics; software engineering; specifications; verification…”
Get full text

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

“…Computer science…”
Get full 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 by Beyer, Dirk, Huisman, Marieke

“…; program compilers; programming languages; semantics; software engineering; specifications; state space; verification…”
Get full 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 by Baier, Christel, Dal Lago, Ugo

“…artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language…”
Get full 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 by Beyer, Dirk, Huisman, Marieke

“…; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering…”
Get full 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 by Bauer, Lujo, Küsters, Ralf

“…; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering…”
Get full text

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

“…semantics; artificial intelligence; natural language processing systems; natural language processing; NLP; machine learning; social networking; named entities…”
Get full text

VHDL: programming by example by 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,…”
Get full text

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

“…Computer science…”
Get full text

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

“…computer science; algorithms; visualization; software; programming…”
Get full 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 by Chockler, Hana, Weissenbacher, Georg

Get full text

Topics in parallel and distributed computing : introducing concurrency in undergraduate courses by 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…”
Get full 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 by Chockler, Hana, Weissenbacher, Georg

Get full text

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

“…Computer science…”
Get full text

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

“…); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems…”
Get full text

Database and expert systems applications : 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005 : proceedings by 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…”
Get full text

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

“…Computer science…”
Get full text

Flash with Drupal: build dynamic, content-rich Flash CS3 and CS4 applications for Drupal 6 by 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…”
Get full text