DSpace Home
→
Browsing by Subject

Browsing by Subject "005.11 23"

Now showing items 1-12 of 12

Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Vikt ria Zs k, Zolt n Horv th, Lehel Csat .

Zs k, Vikt ria. editor.; Horv th, Zolt n. editor.; Csat , Lehel. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented ...
Deterministic Global Optimization [electronic resource] : An Introduction to the Diagonal Approach / by Yaroslav D. Sergeyev, Dmitri E. Kvasov.

Sergeyev, Yaroslav D. author.; Kvasov, Dmitri E. author.; SpringerLink (Online service) (New York, NY : Springer New York : Imprint: Springer, 2017., 2017)

This book begins with a concentrated introduction into deterministic global optimization and moves forward to present new original results from the authors who are well known experts in the field. Multiextremal continuous ...
Fields of Logic and Computation II [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday / edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte.

Beklemishev, Lev D. editor.; Blass, Andreas. editor.; Dershowitz, Nachum. editor.; Finkbeiner, Bernd. editor.; Schulte, Wolfram. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions to the broad spectrum ...
Introduction to HPC with MPI for Data Science [electronic resource] / by Frank Nielsen.

Nielsen, Frank. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This gentle introduction to High Performance Computing (HPC) for Data Science using the Message Passing Interface (MPI) standard has been designed as a first course for undergraduates on parallel programming on distributed ...
Object-Oriented Analysis, Design and Implementation [electronic resource] : An Integrated Approach / by Brahma Dathan, Sarnath Ramnath.

Dathan, Brahma. author.; Ramnath, Sarnath. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

The second edition of this textbook includes revisions based on the feedback on the first edition. In a new chapter the authors provide a concise introduction to the remainder of UML diagrams, adopting the same holistic ...
Retrogame Archeology [electronic resource] : Exploring Old Computer Games / by John Aycock.

Aycock, John. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

Drawing on extensive research, this book explores the techniques that old computer games used to run on tightly-constrained platforms. Retrogame developers faced incredible challenges of limited space, computing power, ...
Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.

Costantini, Stefania. editor.; Franconi, Enrico. editor.; Van Woensel, William. editor.; Kontchakov, Roman. editor.; Sadri, Fariba. editor.; Roman, Dumitru. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts ...
Smart Learning Objects for Smart Education in Computer Science [electronic resource] : Theory, Methodology and Robot-Based Implementation / by Vytautas Štuikys.

Štuikys, Vytautas. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This monograph presents the challenges, vision and context to design smart learning objects (SLOs) through Computer Science (CS) education modelling and feature model transformations. It presents the latest research on the ...
Snake Charming - The Musical Python [electronic resource] / by Iain Gray.

Gray, Iain. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017., 2017)

This book is an innovative introduction to Python and its audio-visual capabilities for beginning programmers; a resource for expert programmers and of interest to anyone involved in music. It is structured around four ...
Software Developers as Users [electronic resource] : Semiotic Investigations in Human-Centered Software Development / by Clarisse Sieckenius de Souza, Renato Fontoura de Gusm o Cerqueira, Luiz Marques Afonso, Rafael Rossi de Mello Brand o, Juliana Soares Jansen Ferreira.

Sieckenius de Souza, Clarisse. author.; Fontoura de Gusm o Cerqueira, Renato. author.; Marques Afonso, Luiz. author.; Rossi de Mello Brand o, Rafael. author.; Soares Jansen Ferreira, Juliana. author.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book presents the SigniFYI Suite of conceptual and methodological tools, designed to uncover meanings inscribed in software, their origins, intent and consequences to identify and trace correlating patterns; from ...
Trends in Functional Programming [electronic resource] : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / edited by Jurriaan Hage, Jay McCarthy.

Hage, Jurriaan. editor.; McCarthy, Jay. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2015., 2015)

This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full ...
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.

Serrano, Manuel. editor.; Hage, Jurriaan. editor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2016., 2016)

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full ...

Now showing items 1-12 of 12

Search DSpace

Advanced Search

Browse

All of DSpace

Browsing by Subject "005.11 23"

Browsing by Subject "005.11 23"

Search DSpace

Browse

All of DSpace

My Account