Ditapis dengan
Industrial deployment of system engineering methods
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
- Edisi
- -
- ISBN/ISSN
- 9783642331701
- Deskripsi Fisik
- x, 262 hlm.
- Judul Seri
- -
- No. Panggil
- E1152
An introduction to collective bargaining and industrial relations
No Inv.: 113093/S/Perp/08/1c
- Edisi
- 3rd ed
- ISBN/ISSN
- 0072837004
- Deskripsi Fisik
- xiv, 492 hlm.
- Judul Seri
- -
- No. Panggil
- 331.89 KAT i
Domestication of media and technology
No Inv.: 114113/P/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 0335217680
- Deskripsi Fisik
- xiii, 255 hlm.
- Judul Seri
- -
- No. Panggil
- 384.3 DOM
Analyzing evolutionary algorithms : the computer science perspective
Evolutionary algorithms is a class of randomized heuristics inspired by natural evolution. They are applied in many different contexts, in particular in optimization, and analysis of such algorithms has seen tremendous advances in recent years. In this book the author provides an introduction to the methods used to analyze evolutionary algorithms and other randomized search heuristics. …
- Edisi
- -
- ISBN/ISSN
- 9783642173394
- Deskripsi Fisik
- x, 258 hlm.
- Judul Seri
- Natural Computing Series
- No. Panggil
- E1147
The Science of training-soccer : a scientific approach to developing strength…
No Inv.: 113825/P/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 9780415384476
- Deskripsi Fisik
- xiii, 192 hlm.
- Judul Seri
- -
- No. Panggil
- 613.711 REI s
Buku kerja multiple intelligences : pengalaman new city school di St.Louis, M…
No Inv.: 115371/SM/Perp/08/1c
- Edisi
- -
- ISBN/ISSN
- 979365998X
- Deskripsi Fisik
- xxxiv, 253 hlm.
- Judul Seri
- -
- No. Panggil
- 153.9 HOE b
Exploring language structure : a student's guide
No Inv.: 117107/P/Perp/09/1c
- Edisi
- -
- ISBN/ISSN
- 9780521671507
- Deskripsi Fisik
- xxii, 367 hlm.
- Judul Seri
- -
- No. Panggil
- 410 PAY e
Humanisme dan skolastisme : sebuah debat
No Inv.: 119544-119546/P/Perp/09/3c
- Edisi
- cet. ke-3
- ISBN/ISSN
- 979210853X
- Deskripsi Fisik
- 113 hlm.
- Judul Seri
- -
- No. Panggil
- 144 TJA h
Upacara perkawinan adat Jawa
No Inv.: 118578-118580/P/Perp/09/3c
- Edisi
- -
- ISBN/ISSN
- 9794168858
- Deskripsi Fisik
- vii, 239 hlm.
- Judul Seri
- -
- No. Panggil
- 392.559 822 BRA u
The Origins and development of the English language
No Inv.: 117198/P/Perp/09/1c
- Edisi
- 5th ed
- ISBN/ISSN
- -
- Deskripsi Fisik
- xii, 370 hlm.
- Judul Seri
- -
- No. Panggil
- 420 ALG o
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah