Computer Aided Verification

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-81688-9

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2020

ISBN/ISSN

978-3-030-45190-5

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Fundamental Approaches to Software Engineering

Edisi

1st ed. 2020

ISBN/ISSN

978-3-030-45234-6

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-72016-2

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

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

-

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

Menguasai JAVA programming

Edisi

-

ISBN/ISSN

9786028126076

Deskripsi Fisik

330 p.; 24 cm

Judul Seri

-

No. Panggil

005.133 TIM m

Beginning Perl

Everything beginners need to start programming with Perl Perl is the ever-popular, flexible, open source programming language that has been called the programmers Swiss army knife. This book introduces Perl to both new programmers and experienced ones who are looking to learn a new language. In the tradition of the popular Wrox Beginning guides, it presents step-by-step guidance in getting star…

JavaScript® for kids for dummies®

Have big dreams? Kick start them with JavaScript! If we've learned one thing from the Millennial generation, it's that no one is too young to make history online. JavaScript For Kids For Dummies introduces pre-teens and early teens alike to the world of JavaScript, which is an integral programming language that drives the functionality of websites and apps. This informative, yet engaging tex…

Object-oriented game development

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

xi, 426 p. ; 26 cm.

Judul Seri

-

No. Panggil

005.1 GOL o

Sistem digital

Edisi

-

ISBN/ISSN

9789797565053

Deskripsi Fisik

viii, 281 p. ; 23 cm.

Judul Seri

-

No. Panggil

004.0151 POL s

Teori bahasa, otomata, dan komputasi serta terapannya

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

xvi, 424 p. ; 24 cm.

Judul Seri

-

No. Panggil

005.131 HAR t

Environmental geology

Edisi

9th ed.

ISBN/ISSN

9780073524085

Deskripsi Fisik

xvi, 511 p. : col. ill., col. maps ; 28 cm.

Judul Seri

-

No. Panggil

550 MON e

Software engineering : a practitioner's approach / eighth edition

For more than 3 decades, Software Engineering: A Practitioner's Approach has been the best-selling guide to software engineering for students and industry professionals alike. In its eighth edition, the book has again been revised and redesigned, undergoing a substantial content update that addresses new topics in what many have called “the engineering discipline of the 21st-century.” En…

Java : a beginner's guide / seventh edition

Up-to-Date, Essential Java Programming Skills—Made Easy! Fully updated for Java Platform, Standard Edition 9 (Java SE 9), Java: A Beginner’s Guide, Seventh Edition, gets you started programming in Java right away. Bestselling programming author Herb Schildt begins with the basics, such as how to create, compile, and run a Java program. He then moves on to the keywords, syntax, and constr…

Pemrograman android dengan Android Studio IDE

Edisi

-

ISBN/ISSN

9789792960945

Deskripsi Fisik

xxxiv, 350 p.; 28 cm

Judul Seri

-

No. Panggil

005.25 HAN p

Android pemrograman aplikasi mobile smartphone dan tablet PC berbasis android

Edisi

2

ISBN/ISSN

9786021514474

Deskripsi Fisik

x,581 hal.:ill.; 24 cm

Judul Seri

-

No. Panggil

005.1 SAF a

Konsep dan implementasi pemrograman Laravel 5

Edisi

-

ISBN/ISSN

9786026231017

Deskripsi Fisik

xii, 360 p.; 20 cm

Judul Seri

-

No. Panggil

006.7 BAS k

Panduan lengkap pemrograman android

Edisi

-

ISBN/ISSN

9789792953466

Deskripsi Fisik

xviii, 510p. ; ill, ; 28 cm.

Judul Seri

-

No. Panggil

005.432 JUH p

Komputasi numerik : pemrograman MATLAB untuk metoda numerik

Edisi

-

ISBN/ISSN

9789792944433

Deskripsi Fisik

xiv, 479 p. ; ill. ; 28 cm.

Judul Seri

-

No. Panggil

005.12 SUA k