Computer Science category: 2288 books
by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Language: English
Release Date: March 2, 2018
Language: English
Release Date: March 2, 2018
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.
The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic...
Language, Music, and Computing
First International Workshop, LMAC 2015, St. Petersburg, Russia, April 20-22, 2015, Revised Selected Papers
Language: English
Release Date: December 14, 2015
This book constitutes the proceedings of the First International Workshop on Language, Music and Computing, LMAC 2015, held in St. Petersburg, Russia, in April 2015.
The 13 papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical...
Machine Translation and Global Research
Towards Improved Machine Translation Literacy in the Scholarly Community
Language: English
Release Date: May 1, 2019
In the global research community, English has become the main language of scholarly publishing in many disciplines. At the same time, online machine translation systems have become increasingly easy to access and use. Is this a researcher’s match made in heaven, or the road to publication perdition?
Here...
Studienarbeiten
Ein Leitfaden zur Erstellung, Durchführung und Präsentation wissenschaftlicher Abschlussarbeiten am Beispiel Informatik
Language: German
Release Date: June 1, 2017
Ziel dieses Leitfadens ist die Vermittlung von Regeln und Techniken für die Durchführung wissenschaftlicher Arbeiten. Dazu gehören Seminar-, Bachelor-, Master- und Doktorarbeiten, also alle Prüfungsleistungen mit wissenschaftlichem Anspruch, die von Studierenden, Assistentinnen und Assistenten...
by Andrea Bellina
Language: Italian
Release Date: January 8, 2016
Language: Italian
Release Date: January 8, 2016
Una guida pratica e concreta per tutti gli artisti, producers ed appassionati di produzione musicale, che vogliono trasformare la propria passione in una fonte di guadagno. Come? Grazie ai siti di music licensing, che vendono musica ai professionisti del video making. Se volete guadagnare grazie alla...
by Stephen L. Campbell, Ramine Nikoukhah
Language: English
Release Date: December 19, 2018
Language: English
Release Date: December 19, 2018
This book provides a tutorial in the use of Altair Compose and Altair Activate, software packages that provide system modeling and simulation facilities. Advanced system modeling software provide multiple ways of creating models: models can be programmed in specialized languages, graphically...
by Richard Kent
Language: English
Release Date: July 25, 2017
Language: English
Release Date: July 25, 2017
A Guide to Creating Student-Staffed Writing Centers, Grades 6–12, Revised Edition is a how-to and, ultimately, a why-to book for middle school and high school educators as well as for English/language arts teacher candidates and their methods instructors. This revised and updated International Writing...
by Riccardo Maresca
Language: Italian
Release Date: September 9, 2016
Language: Italian
Release Date: September 9, 2016
Vuoi vendere e far fruttare la tua App Android o iOS?
Scopri come massimizzare la sua visibilità sugli App Store con questa Guida all'ottimizzazione della visibilità della App sui diversi Store Online.
Wirtschaftsinformatik in Theorie und Praxis
Festschrift zu Ehren von Prof. Dr. Andreas Meier
Language: German
Release Date: June 7, 2017
Die Beiträge in diesem Herausgeberwerk bieten einen aktuellen Überblick über relevante Themen der modernen Wirtschaftsinformatik. Das Buch ist Andreas Meier von der Universität Freiburg, Schweiz, und seiner wissenschaftlichen Leistung gewidmet. Professor Meier hat durch sein großes Schaffen die...
by Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening
Language: English
Release Date: November 9, 2018
Language: English
Release Date: November 9, 2018
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing,...
by Ahmed Bakir, Manny de la Torriente, Gheorghe Chesler
Language: English
Release Date: December 30, 2015
Language: English
Release Date: December 30, 2015
Program the Internet of Things with Swift and iOS is a detailed tutorial that will teach you how to build apps using Apple’s native APIs for the Internet of Things, including the Apple Watch, HomeKit, and Apple Pay. This is the second book by Ahmed Bakir (author of Beginning iOS Media App Development)...
Web-Teaching
A Guide to Designing Interactive Teaching for the World Wide Web
Language: English
Release Date: August 27, 2007
Based on the author's experience using computers and multimedia in teaching large, multisection courses, this groundbreaking text demonstrates how teaching professionals at all levels of instruction can use `paperless' electronic dialoguing to dramatically improve classroom instruction. The book explains...
by Patricia Burks
Language: English
Release Date: October 24, 2012
Language: English
Release Date: October 24, 2012
Good solid advice and great strategies in preparing for and passing the CCNA exam, getting interviews and landing the CCNA job. If you have prepared for the CCNA exam - now is the moment to get this book and prepare for passing the exam and how to find and land a CCNA job, There is absolutely nothing...
by Markus Volk
Language: German
Release Date: May 23, 2011
Language: German
Release Date: May 23, 2011
Studienarbeit aus dem Jahr 2011 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Universität Koblenz-Landau (Institut für Wirtschafts- und Verwaltungsinformatik), Veranstaltung: Simulation und agenten-basierte Systeme, Sprache: Deutsch, Abstract: Das bioökonomische Modell von Juan...