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 n…

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 …

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…

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 …

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 …

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.…

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.…

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 …

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 dur…

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 dur…

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 w…

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 Confe…

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

Instalasi & konfigurasi Microsoft Exchange Server 2010

Edition

-

ISBN/ISSN

978-979-29-1687-4

Collation

vii, 165 hal ;23 cm

Series Title

-

Call Number

004.4 Ira i

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 bri…

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 Comp…

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

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