Hasil Pencarian

Ditemukan 15873 dokumen yang sesuai dengan query

Radu Calinescu, editor

Large-scale complex IT systems: development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers

"This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews."

Berlin: Springer, 2012

e20407287

eBooks Universitas Indonesia Library

Anne Canteaut, editor

Fast software encryption : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers

"This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Fast Software Encryption, held in Washington, DC, USA, in March 2012. The 24 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 89 initial submissions. The papers are organized in topical sections on block ciphers, differential cryptanalysis, hash functions, modes of operation, new tools for cryptanalysis, new designs and Keccak."

Heidelberg : Springer, 2012

e20407294

eBooks Universitas Indonesia Library

Paul Groth, editor

Provenance and annotation of data and processes: 4th international provenance and annotation workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012 : revised selected papers

"This book constitutes the revised selected papers of the 4th International Provenance and Annotation Workshop, IPAW 2012, held in Santa Barbara, CA, USA, in June 2012. The 14 full papers, 4 demo papers and 12 poster papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on documents databases, the web, reconstruction, science applications, and demonstrations."

Berlin: Springer, 2012

e20407167

eBooks Universitas Indonesia Library

Julia Kotlarsky, editor

The dynamics of global sourcing : perspectives and practices : 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012 : revised selected papers

"This book contains 13 carefully revised and selected papers from the 6th Workshop on Global Sourcing, held in Courchevel, France, during March 12-15, 2012. They have been selected from 46 submissions and represent both client and supplier perspectives on sourcing of global services. The topics discussed combine theoretical and practical insights, and they are extensively illustrated by case studies from client and vendor organizations. Last but not least, the book examines current and future trends in outsourcing and offshoring, paying particular attention to the centrality of innovation in sourcing arragements, and how innovation can be realized in outsourcing."

Berlin: [, Springer-Verlag], 2012

e20408542

eBooks Universitas Indonesia Library

Dirk Pattinson, editor

Coalgebraic methods in computer science: 11th international workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers

"his book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras."

Berlin: Springer-Verlag , 2012

e20406358

eBooks Universitas Indonesia Library

Donaldson, Alasatair, editor

Model checking software : 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings

"This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques, parallel model checking, case studies, model checking for concurrency, and tool demonstrations."

Berlin: [, Springer-Verlag], 2012

e20410166

eBooks Universitas Indonesia Library

A. Ridha Mahjoub, editor

Combinatorial optimization: second international symposium, ISCO 2012, Athens, Greece, 19-21 : revised selected papers

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present original research on all aspects of combinatorial optimization, ranging from mathematical foundations and theory of algorithms to computational studies and practical applications"

Berlin: Springer-Verlag , 2012

e20406376

eBooks Universitas Indonesia Library

Franciso Duran, editor

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

"This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems."

Berlin: Springer, 2012

e20407300

eBooks Universitas Indonesia Library

Large-scale scientific computing : 8th international conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011 : revised selected papers

"This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on robust multigrid, multilevel and multiscale, deterministic and stochastic methods for modeling highly heterogeneous media, advanced methods for transport, control and uncertain systems, applications of metaheuristics to large-scale problems, environmental modelling, large scale computing on many-core architectures, multiscale industrial, enviromental and biomedical problems, efficient algorithms of computational geometry, high performance Monte Carlo simulations, voxel based computations and contributed papers."

Lengkap +

Berlin: Springer-Verlag, 2012

e20409843

eBooks Universitas Indonesia Library

OpenFOAM®: selected papers of the 11th workshop

"This book contains selected papers of the 11th OpenFOAM® Workshop that was held in Guimarães, Portugal, June 26-30, 2016.

The 11th OpenFOAM® Workshop had more than 140 technical/scientific presentations and 30 courses, and was attended by circa 300 individuals, representing 180 institutions and 30 countries, from all continents.

The OpenFOAM® Workshop provided a forum for researchers, industrial users, software developers, consultants and academics working with OpenFOAM® technology. The central part of the Workshop was the two-day conference, where presentations and posters on industrial applications and academic research were shown.

OpenFOAM® (Open Source Field Operation and Manipulation) is a free, open source computational toolbox that has a larger user base across most areas of engineering and science, from both commercial and academic organizations. As a technology, OpenFOAM® provides an extensive range of features to solve anything from complex fluid flows involving chemical reactions, turbulence and heat transfer, to solid dynamics and electromagnetics, among several others. Additionally, the OpenFOAM technology offers complete freedom to customize and extend its functionalities."

Lengkap +

Switzerland: Springer Nature, 2019

e20509347

eBooks Universitas Indonesia Library

<< 1 2 3 4 5 6 7 8 9 10 >>

Hasil Pencarian :: Simpan CSV :: Kembali

Hasil Pencarian