Computer Software and Information Licensing in Emerging Markets: The Need for…

Edition

-

ISBN/ISSN

90-411-9907-1

Collation

xxix, 301 p. ; 24 cm

Series Title

-

Call Number

346.07 Sin c

PEMODELAN TOPIK MENGGUNAKAN PRE-TRAINED LANGUAGE MODEL ROBERTA DAN VARIATIONA…

The rapid and widespread flow of information highlights the importance of efficient text data management, making it even more important to organize and classify information from text data as more news is published online all the time. Topic modeling is useful in clustering news texts from the ever-growing sea of online news based on the topic of each text data. One method of topic modeling is t…

SOFTWARE ENGINEERING HANDBOOK

Edition

-

ISBN/ISSN

0-07-023165-6

Collation

151 p.; 25 cm.

Series Title

-

Call Number

005.1 Sof s

Privacy Technologies and Policy: 10th Annual Privacy Forum, APF 2022, Warsaw,…

This book constitutes the refereed conference proceedings of the 10th Annual Privacy Forum, APF 2022 in Warsaw, Poland in June 2022. The 8 full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the area of privacy and data protection while focusing on privacy related application areas. A large focus of the 2022 conference was on the General Dat…

Feedback Arc Set: A History of the Problem and Algorithms

The main aim of the book is to give a review of all relevant information regarding a well-known and important problem of Feedback Arc Set (FAS). This review naturally also includes a history of the problem, as well as specific algorithms. To this point such a work does not exist: There are sources where one can find incomplete and perhaps untrustworthy information. With this book, information …

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

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…

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

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefull…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical section…

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual…

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:…

Foundations of Software Science and Computation Structures: 24th Internationa…

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until 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 online format du…

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