Ditemukan 204 dokumen yang sesuai dengan query
This book contains the extended and revised versions of eight of the ten full papers (out of 58 submissions) presented at the First International Symposium on Business Modeling and Software Design (BMSD 2011), held in Sofia, Bulgaria.
The theme of BMSD 2011 was "business models and advanced software Systems," and the...
Berlin: Springer-Verlag, 2012
e20410493
eBooks Universitas Indonesia Library
[This book introduces fundamentals, trends and best practices in the software industry from a threefold perspective which equally takes into account design, management, and development of software. It demonstrates how cross-functional integration can be leveraged by software companies to successfully build software for people. Professionals from business and academia give...
Berlin: [Springer, ], 2012
e20397298
eBooks Universitas Indonesia Library
Kamat, Rajanish K., author
In this book along with the VHDL coding issues, the simulation and synthesis with the various toolsets enables the potential reader to visualize the final design. The VHDL design codes have been synthesized using different third party tools such as xilinx web pack Ver.11, modelsim PE, leonrado spectrum and synplify...
Dordrecht, Netherlands: [Springer, ], 2012
e20398344
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Heidelberg : [, Springer], 2012
e20399438
eBooks Universitas Indonesia Library
This book is a compilation of some recent research findings in computer application and computational science. This book provides state-of-the-art accounts in computer control and robotics, computers in education and learning technologies, computer networks and data communications, data mining and data engineering, energy and power systems, intelligent systems and autonomous...
Berlin: [, Springer], 2012
e20399444
eBooks Universitas Indonesia Library
Langer, Arthur M., editor
This book addresses how best to make build vs. buy decisions, and what effect such decisions have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful solutions that fit user and customer needs, by...
London: Springer, 2012
e20407438
eBooks Universitas Indonesia Library
Parsons, David, author
This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points...
London: Springer, 2012
e20407553
eBooks Universitas Indonesia Library
Sannella, Donald, author
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.
This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal...
Berlin: Springer-Verlag, 2012
e20407790
eBooks Universitas Indonesia Library
Kerstin Eder, editor
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized...
Berlin: Springer-Verlag, 2012
e20407813
eBooks Universitas Indonesia Library
Toshiaki Aoki, editor
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal...
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
