Ditemukan 6 dokumen yang sesuai dengan query
Tom Schrijvers, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming,...
Berlin: [, Springer-Verlag], 2012
e20409517
eBooks Universitas Indonesia Library
This book attempts to consolidate contemporary thinking and research on the role of scientific argumentation in education.
Perspectives on scientific argumentation brings together prominent scholars in the field to share the sum of their knowledge about the place of scientific argumentation in teaching and learning. Chapters explore scientific argumentation as...
Dordrecht, Netherlands: Springer, 2012
e20400552
eBooks Universitas Indonesia Library
Jeroen Janssen, editor
We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. 2. Users of a programming language often want a rich language that is easy to model in. 3. A well-known technique...
Paris: Atlantis Press, 2012
e20406539
eBooks Universitas Indonesia Library
Ricardo Pena, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They deal with all aspects of functional programming, taking a broad...
Berlin: [, Springer-Verlag], 2012
e20410119
eBooks Universitas Indonesia Library
[The essays in this volume concern the points of intersection between analytic philosophy and the philosophy of the exact sciences. More precisely, it concern connections between knowledge in mathematics and the exact sciences, on the one hand, and the conceptual foundations of knowledge in general. Its guiding idea is that,...
Dordrecht, Netherlands: [Springer, Springer], 2012
e20399554
eBooks Universitas Indonesia Library
This book describes the state-of-the art of industrial and academic research in the architectural design of heterogeneous, multi/many-core processors. The authors describe methods and tools to enable next-generation embedded and high-performance heterogeneous processors to confront cost-effectively the inevitable variations by providing Dependable-Performance: correct functionality and timing guarantees throughout the expected...
Switzerland: Springer Nature, 2019
e20508941
eBooks Universitas Indonesia Library
