Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-72013-1

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Computer Aided Verification

Edisi

1st ed. 2018

ISBN/ISSN

978-3-319-96145-3

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Computer Aided Verification

Edisi

1st ed. 2018

ISBN/ISSN

978-3-319-96142-2

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Computer Aided Verification

Edisi

1st ed. 2019

ISBN/ISSN

978-3-030-25543-5

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Automated Deduction

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-79876-5

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Innovative Learning Environments in STEM Higher Education

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-58948-6

Deskripsi Fisik

-

Judul Seri

SpringerBriefs in Statistics

No. Panggil

-

Java programming for Android developers for dummies / second edition

Develop the next killer Android App using Java programming! Android is everywhere! It runs more than half the smartphones in the U.S.—and Java makes it go. If you want to cash in on its popularity by learning to build Android apps with Java, all the easy-to-follow guidance you need to get started is at your fingertips. Inside, you'll learn the basics of Java and grasp how it works with And…

Algoritma & struktur data linear dengan Java

Edisi

-

ISBN/ISSN

978-979-7566432

Deskripsi Fisik

259 p.; 23 cm

Judul Seri

-

No. Panggil

005.1 SIS a

Media pembelajaran

Edisi

0.1

ISBN/ISSN

979-421-54

Deskripsi Fisik

xii, 192 p.; 21cm

Judul Seri

-

No. Panggil

371.32 ARS m

Menguasai JAVA programming

Edisi

-

ISBN/ISSN

9786028126076

Deskripsi Fisik

330 p.; 24 cm

Judul Seri

-

No. Panggil

005.133 TIM m

Program terpadu operasional & akuntansi siap pakai : K-System perdagangan umum

Edisi

2

ISBN/ISSN

979-731-62

Deskripsi Fisik

viii, 420 p.; 23 cm

Judul Seri

-

No. Panggil

005.369 SUS p

Program terpadu operasional & akuntansi siap pakai : K-System perdagangan umum

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

005.369 SUS p

Adobe After Effects 7.x

Edisi

-

ISBN/ISSN

979-523-79

Deskripsi Fisik

67 p.; 15 cm

Judul Seri

-

No. Panggil

005.12 ADJ a

Adobe After Effects 7.x

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

005.12 ADJ a

Membuat 5 program dahsyat di visual basic 2005

Edisi

-

ISBN/ISSN

978-979-27

Deskripsi Fisik

x, 361 p.; 21 cm

Judul Seri

-

No. Panggil

005.1 WAR m

Membuat 5 program dahsyat di visual basic 2005

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

005.1 WAR m

Analisis dan desain objek dengan visual FoxPro 8.0

Edisi

1

ISBN/ISSN

-

Deskripsi Fisik

130 p.; 22 cm

Judul Seri

-

No. Panggil

005.1 SUP a

Analisis dan desain objek dengan visual FoxPro 8.0

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

005.1 SUP a

Pemrograman berorientasi objek dengan Java

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

005.1 SIN p

Pemrograman berorientasi objek dengan Java

Edisi

1

ISBN/ISSN

-

Deskripsi Fisik

251 p.; 23 cm

Judul Seri

-

No. Panggil

005.1 SIN p