Foundations of Software Science and Computation Structures

Edisi

1st ed. 2021

ISBN/ISSN

978-3-030-71995-1

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

-

Essential Speech and Language Technology for Dutch

Edisi

2013

ISBN/ISSN

978-3-642-30910-6

Deskripsi Fisik

-

Judul Seri

Theory and Applications of Natural Language Processing

No. Panggil

-

Decoding political discourse : conceptual metaphors and argumentation

Edisi

-

ISBN/ISSN

9781137309891

Deskripsi Fisik

x, 129 p.; 22 cm

Judul Seri

-

No. Panggil

401.47 NEA d

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…

Early spelling : between convention and creativity

Edisi

-

ISBN/ISSN

0415180651

Deskripsi Fisik

xviii, 237 p., bibl., index ; 24cm.

Judul Seri

-

No. Panggil

401.93 KRE e

Dynamic semantics

Edisi

-

ISBN/ISSN

9789400748682

Deskripsi Fisik

vii,123 p. ; 24 cm.

Judul Seri

Studies in linguistics and philosophy, v. 91.

No. Panggil

401.43 DEK d

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