Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5790 dokumen yang sesuai dengan query
cover
More, Jorge J.
"Developments in optimization theory, including emphasis on large problems and on interior-point methods for linear programming, have begun to appear in production software. Here is a reference tool that includes discussions of these areas and names software packages that incorporate the results of theoretical research. After an introduction to the major problem areas in optimization and an outline of the algorithms used to solve them, a data sheet is presented for each of the 75 software packages and libraries in the authors' survey. These include information on the capabilities of the packages, how to obtain them, and addresses for further information.
Standard optimization paradigms are addressed -- linear, quadratic, and nonlinear programming; network optimization; unconstrained and bound-constrained optimization; least-squares problems; nonlinear equations; and integer programming. The most practical algorithms for the major fields of numerical optimization are outlined, and the software packages in which they are implemented are described.
This format will aid current and potential users of optimization software in classifying the optimization problem to be solved, determining appropriate algorithms, and obtaining the software that implements those algorithms. Readers need only a basic knowledge of vector calculus and linear algebra to understand this book."
Philadelphia: Society for Industrial and Applied Mathematics, 1993
e20450626
eBooks  Universitas Indonesia Library
cover
Fisher, David T.
New York: Prentice-Hall, 1991
R 005 FIS m
Buku Referensi  Universitas Indonesia Library
cover
Andrews, jean
Singapore : Course technology cengage learning, 2013
005.12 AND a
Buku Teks SO  Universitas Indonesia Library
cover
Andrews, jean
Australia: Course Technology, 2013
005.72 AND a
Buku Teks SO  Universitas Indonesia Library
cover
Keet, Ernest E.
Sydney: Addison-Wesley, 1984
005.1 KEE p
Buku Teks SO  Universitas Indonesia Library
cover
Andrews, jean
Australia ; Boston, Mass. : Thomson Course Technology, , 2013
005.72 AND a
Buku Teks  Universitas Indonesia Library
cover
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 mixing different SDLC methodologies. Features : provides concrete examples and effective case studies, focuses on the skills and insights that distinguish successful software implementations, covers management issues as well as technical considerations, including how to deal with political and cultural realities in organizations, identifies many new alternatives for how to manage and model a system using sophisticated analysis tools and advanced management practices, emphasizes how and when professionals can best apply these tools and practices, and what benefits can be derived from their application, and discusses searching for vendor solutions, and vendor contract considerations."
London: Springer, 2012
e20407438
eBooks  Universitas Indonesia Library
cover
Ayres, James J.
New York: John Wiley & Sons, 1990
R 340.028 AYR l
Buku Referensi  Universitas Indonesia Library
cover
Keet, Ernest E.
Sydney : Addison-Wesley Publishing , 1985
346.73 KEE p
Buku Teks  Universitas Indonesia Library
cover
O`Regan, Gerard
"This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment. The wide-ranging coverage encompasses all areas of software design, management, and quality.
Topics and features:
- Presents a broad overview of software engineering, including software lifecycles and phases in software development, and project management for software engineering
- Examines the areas of requirements engineering, software configuration management, software inspections, software testing, software quality assurance, and process quality
- Covers topics on software metrics and problem solving, software reliability and dependability, and software design and development, including Agile approaches
- Explains formal methods, a set of mathematical techniques to specify and derive a program from its specification, introducing the Z specification language
- Discusses software process improvement, describing the CMMI model, and introduces UML, a visual modelling language for software systems
- Reviews a range of tools to support various activities in software engineering, and offers advice on the selection and management of a software supplier
- Describes such innovations in the field of software as distributed systems, service-oriented architecture, software as a service, cloud computing, and embedded systems
- Includes key learning topics, summaries and review questions in each chapter, together with a useful glossary"
Switzerland: Springer Nature, 2017
e20509967
eBooks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>