Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5…
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th Internation…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-21222-2
- Collation
- x, 205p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.360 Sof
Aplikasi Programmable Logic Controller (PLC) dan Sistem Pneumatik pada Manufa…
- Edition
- -
- ISBN/ISSN
- 978-979-29-3337-6
- Collation
- xxiv, 120 hal, ; 23 cm
- Series Title
- -
- Call Number
- 005.115 Sai a
- Edition
- -
- ISBN/ISSN
- 978-979-29-3337-6
- Collation
- xxiv, 120 hal, ; 23 cm
- Series Title
- -
- Call Number
- 005.115 Sai a
Programming Logic for Business, THIRD EDITION
- Edition
- 3rd
- ISBN/ISSN
- 0-07-054908-7
- Collation
- xii, 739 p. : ill. 28 cm
- Series Title
- -
- Call Number
- 005.11 Sar p
- Edition
- 3rd
- ISBN/ISSN
- 0-07-054908-7
- Collation
- xii, 739 p. : ill. 28 cm
- Series Title
- -
- Call Number
- 005.11 Sar p
Search Result
Found 3 from your keywords: Subject : "Logic Programming"
Query took 0.00283 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography