Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2019

ISBN/ISSN

978-3-030-17502-3

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-45237-7

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Towards Interoperable Research Infrastructures for Environmental and Earth Sc…

Edisi

1st ed. 2020

ISBN/ISSN

978-3-030-52829-4

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Technical, Economic and Societal Effects of Manufacturing 4.0

Edisi

1st ed. 2020

ISBN/ISSN

978-3-030-46103-4

Deskripsi Fisik

-

Judul Seri

-

No. Panggil

-

Agile Processes in Software Engineering and Extreme Programming

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-78098-2

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Business Information Processing

No. Panggil

-

Computer Aided Verification

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-81685-8

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

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

-

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