Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2018

ISBN/ISSN

978-3-319-89963-3

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

-

Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2019

ISBN/ISSN

978-3-030-17465-1

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

Tools and Algorithms for the Construction and Analysis of Systems

Edisi

1st ed. 2019

ISBN/ISSN

978-3-030-17462-0

Deskripsi Fisik

-

Judul Seri

Lecture Notes in Computer Science

No. Panggil

-

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

-

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

-

Programming Languages and Systems

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-72019-3

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

-

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

-

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

-

The bee eater : Michelle Rhee takes on the nation's worst school district

The inside story of a maverick reformer with a take-no-prisoners management style Hailed by Oprah as a "warrior woman for our times," reviled by teachers unions as the enemy, Michelle Rhee, outgoing chancellor of Washington DC public schools, has become the controversial face of school reform. She has appeared on the cover of Time Magazine, and is currently featured as a hero in the documentary…

Adult learning : linking theory and practice

Edisi

-

ISBN/ISSN

9781118130575

Deskripsi Fisik

xviii, 302 pages : illustrations ; 28 cm

Judul Seri

-

No. Panggil

U 374 MER a

Serial belajar sendiri komputer : konsep dasar bahasa Basic untuk program kom…

Edisi

-

ISBN/ISSN

-

Deskripsi Fisik

100 p., bibl.; 22 cm.

Judul Seri

-

No. Panggil

537 BES b

Modeling maximum trading profits with C ++ : new trading and managemnt concepts

Edisi

-

ISBN/ISSN

9780470086230

Deskripsi Fisik

ix,223 p. : ill. ; 24 cm.

Judul Seri

-

No. Panggil

332.60285 SAL m

Doing field research

No. Klas seharusnya 300.72

Essential Matlab and Octave

Edisi

-

ISBN/ISSN

9781482234633

Deskripsi Fisik

xxv, 261 p. ; 23.5 cm

Judul Seri

-

No. Panggil

510.285536 ROG e

Reading by right successful strategies to ensure every child can read to succeed

Literacy has now been recognized as a human right for over 50 years in several international declarations and initiatives. Every child has a right to read and we have a social responsibility, as parents, teachers, librarians, publishers, booksellers, campaigners and policy makers to ensure that they are able to exercise that right. Reading by Right: Successful strategies to ensure every chil…

Mary D. Sheridan's play in early childhood from berth to six years / fourth e…

Mary D. Sheridan’s Play in Early Childhood is a classic introductory text to play and development – key topics for all those who work with young children. Drawing on the most up-to-date evidence, it explains how children’s play develops and how they develop as they play. With over 100 illustrations and observations of play from birth to six years, this new edition presents classical an…