Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Tools and Algorithms for the Construction and Analysis of Systems: 27th Inter…

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an onlin…

Integration of Reusable Systems

Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing parts of the specified transformation. Currently, most reuse research focuses on creating a…

Recent Advances in Agent-based Negotiation

This volume comprises carefully selected and reviewed outcomes of the 12th International Workshop on Automated Negotiations (ACAN) held in Macao, 2019, in conjunction with International Joint Conference on Artificial Intelligence (IJCAI) 2019. It focuses on human aspects of automated negotiation and the recent advances in negotiation frameworks and strategies. Written by leading academic and in…

Oracle Developer/2000 Forms: The Practitioner`s Guide

Edition

-

ISBN/ISSN

0-13-949033-7

Collation

658 p. : ill. ; 25 cm

Series Title

-

Call Number

005.75 Lul o

Software Agents

Edition

-

ISBN/ISSN

0-262-52234-9

Collation

xiii, 210 p. : ill. ; 23 cm

Series Title

-

Call Number

006.3 Bra s

THE UNIFIED MODELING LANGUAGE USER GUIDE

Edition

-

ISBN/ISSN

0-201-57168-4

Collation

xxii, 482 p. ; 27 cm

Series Title

-

Call Number

005.17 Boo u

Rekayasa Perangkat Lunak: Pendekatan Praktisi (BUKU SATU)

Edition

2

ISBN/ISSN

979-731-511-8

Collation

xx + 648 hlm.; 16 x 23 cm

Series Title

-

Call Number

005.106 8 Pre r

Foundations of Intelligent Systems: Proceedings of the Eighth International C…

Foundations of Intelligent Systems" presents selected papers from the 2013 International Conference on Intelligent Systems and Knowledge Engineering (ISKE2013). The aim of this conference is to bring together experts from different expertise areas to discuss the state-of-the-art in Intelligent Systems and Knowledge Engineering, and to present new research results and perspectives on future deve…

REKAYASA PERANGKAT LUNAK: Pendekatan Praktisi, Edisi 7 Buku 2

Edition

7

ISBN/ISSN

978-979-29-3105-1

Collation

xvi, 260 hlm. : ilus. ; 23 cm

Series Title

-

Call Number

005.106 8 Pre r

Analisa Kebutuhan Dalam Rekayasa Perangkat Lunak

Edition

-

ISBN/ISSN

978-979-29-3195-2

Collation

x, 284 hlm. ; 23 cm.

Series Title

-

Call Number

005.106 Sia a

Information Engineering & Application Development ; Using KnowledgeWare's CAS…

Edition

-

ISBN/ISSN

0-13-457565-2

Collation

xi,314 p.;ill.;23 cm.

Series Title

-

Call Number

005.1 Nap i

Novel Insights in Agent-based Complex Automated Negotiation

This book focuses on all aspects of complex automated negotiations, which are studied in the field of autonomous agents and multi-agent systems. This book consists of two parts. I: Agent-Based Complex Automated Negotiations and II: Automated Negotiation Agents Competition. The chapters in Part I are extended versions of papers presented at the 2012 international workshop on Agent-Based Complex …

COMPUTER-AIDED VERIFICATION

Edition

-

ISBN/ISSN

0-7923-9285-X

Collation

142 p. : ill. ; 23 cm

Series Title

-

Call Number

621.39 Kur c

FLEXIBLE MANUFACTURING CELLS AND SYSTEMS

Edition

-

ISBN/ISSN

0-13-321977-1

Collation

-

Series Title

-

Call Number

005 Lug f 1991

LEARNING TO USE WORDPERFECT LOTUS 1-2-3 AND DBASE III PLUS

Edition

-

ISBN/ISSN

0-87835-357-7

Collation

xv, 210 p. : ill. ; 25 cm

Series Title

Shelly and Cashman Series

Call Number

005.36 She l

SOFTWARE REQUIREMENTS REVISION; OBJECTS, FUNCTIONS, & STATES

Edition

Revision

ISBN/ISSN

0-13-805763-X

Collation

xxvii, 521 p. : ill. ; 24 cm

Series Title

-

Call Number

005.12 Dav s 1993

PROGRAM VERIFICATION; Fundamental Issues in Computer Science

Edition

1

ISBN/ISSN

0-7923-1965-6

Collation

xiii, 457 p. : ill. ; 23 cm

Series Title

STUDIES IN COGNITIVE SYSTEMS, VOLUME 14

Call Number

005.1 4 Pro p 1993

SOFTWARE SYSTEM DEVELOPMENT : A gentle introduction

Edition

-

ISBN/ISSN

0-07707712-1

Collation

x, 213 p. : ill. ; 22 cm.

Series Title

The Mcgraw-Hill International Series in Software Engineering

Call Number

005.1 Bri s 1993

AUDITING SOFTWARE DEVELOPMENT: A Manual with Case Studies

Edition

-

ISBN/ISSN

0-471-52088-8

Collation

xvii, 439 p.; 24 cm.

Series Title

-

Call Number

005.10685 Val a

SOFTWARE PROJECT MANAGEMENT FOR SMALL TO MEDIUM SIZED PROJECTS

Edition

1

ISBN/ISSN

0-13-826173-3

Collation

xvii, 302p.;ill.;tab.;24cm

Series Title

-

Call Number

005.1 Rak s

Multimedia Applications Development; Using Indeo™ Video and DVI® Technolog…

-

COMPUTERS TODAY, THIRD EDITION

Edition

3rd

ISBN/ISSN

0-07-054854-4

Collation

xxix, 640 p. : ill. ; 24 cm

Series Title

-

Call Number

004 San c

New Industries from New Place, The Emergence of the Software and Hardware Ind…

-

PRINCIPLES OF SOFTWARE ENGINEERING MANAGEMENT

-

RAPID APPLICATION DEVELOPMENT

Edition

-

ISBN/ISSN

0-02-376775-8

Collation

xxv, 788 p. : ill. : tab. ; 24 cm

Series Title

-

Call Number

005.1 Mar r

Relational Systems Development

Edition

-

ISBN/ISSN

0-07-043198-1

Collation

xi, 195 p. : ill. ; 27 cm

Series Title

-

Call Number

005.1 Mor r

SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM

Edition

-

ISBN/ISSN

0-13880725-6

Collation

xvi, 300 p., ilus., 23 cm.

Series Title

-

Call Number

005.1'1 Jon s

SOFTWARE PRODUCT ASSURANCE: Techniques for Reducing Software Risk

Edition

-

ISBN/ISSN

0-444-01120-X

Collation

xxxii, 499 p.; ill.; tab.; 30 cm.

Series Title

-

Call Number

005.1 Bry s

Software Engineering Environments: CONCEPTS AND TECHNOLOGY

Edition

1

ISBN/ISSN

0-07-010645-2

Collation

vi, 407 p. : ill. ; 24 cm

Series Title

-

Call Number

005.1 Cha s