Ditemukan 609 dokumen yang sesuai dengan query
Andy Schurr, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011.
The 13 revised full papers presented together with 2 invited talks, 2 application reports and 3 tool demonstration papers were carefully selected from...
Berlin: Springer, 2012
e20407274
eBooks Universitas Indonesia Library
Radu Calinescu, editor
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...
Berlin: Springer, 2012
e20407287
eBooks Universitas Indonesia Library
Paolo Atzeni, editor
This book constitutes the refereed proceedings of the 31st International Conference on Conceptual Modeling, ER 2012, held in Florence, Italy, in October 2012. The 24 regular papers presented together with 13 short papers, 6 poster papers and 3 keynotes were carefully reviewed and selected from 141 submissions. The papers are...
Berlin: Springer, 2012
e20407298
eBooks Universitas Indonesia Library
Andy Gill, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners...
Berlin: Springer-Verlag, 2012
e20407809
eBooks Universitas Indonesia Library
Maria Bielikova, editor
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also...
Berlin: [, Springer-Verlag], 2012
e20409086
eBooks Universitas Indonesia Library
Joy Ying Zhang, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE 2011) held in Los Angeles, CA, USA, during October 24-27, 2010. The 18 revised full papers presented together with 12 revised poster papers were carefully reviewed and selected from numerous...
Heidelberg: [Springer, ], 2012
e20409557
eBooks Universitas Indonesia Library
Henderson-Sellers, B., author
Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues...
Heidelberg: Springer-Verlag, 2012
e20409719
eBooks Universitas Indonesia Library
Till Mossakowski, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification,...
Berlin: [, Springer-Verlag], 2012
e20409941
eBooks Universitas Indonesia Library
Francisco Heron de Carvalho Junior, editor
The 10 full and 2 short papers were carefully reviewed and selected from 27 submissions. The papers cover various aspects of programming languages and software engineering...
Berlin: [, Springer-Verlag], 2012
e20409999
eBooks Universitas Indonesia Library
Roychoudhury, Abhik, editor
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover...
Berlin: [, Springer-Verlag], 2012
eBooks Universitas Indonesia Library
