Авторизация
Поиск по указателям
Truesdell C.A., Bharatha S. — The Concept and Logic of Classical Thermodynamics As a Theory of Heat Engines. Rigorously Constructed Upon Foundations Laid by S. Carnot and F. Reech
Обсудите книгу на научном форуме Нашли опечатку?
Название: The Concept and Logic of Classical Thermodynamics As a Theory of Heat Engines. Rigorously Constructed Upon Foundations Laid by S. Carnot and F. ReechАвторы: Truesdell C.A., Bharatha S. Язык: Рубрика: Физика /Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1989Количество страниц: 154Добавлена в каталог: 19.11.2008Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
92 Abstract syntax 105 241 365 ACP 203 303 314 333 341 Algebraic specification 147 300 339 341 363 395 Algebraic specification language 303 339 ALGRES 339 ASF 105 107 203 303 363 AUTOMATH 170 Bisimulation semantics 341 Black-box correctness 171 BMASF 363 Case studies and examples, 74283 four bit adder 173 Case studies and examples, alternating bit-protocol 324 Case studies and examples, BLISS 133 Case studies and examples, chess tournaments 8 Case studies and examples, gas station 143 Case studies and examples, landing control system 321 Case studies and examples, library desk 49 Case studies and examples, naturals and booleans 107 345 373 Case studies and examples, Norman's data base 205 Case studies and examples, parallel zero search 62 Case studies and examples, PCTE 99 Case studies and examples, POLAR 275 Case studies and examples, satellite tuner 132 Case studies and examples, simple language 108 Case studies and examples, SPESI 133 Case studies and examples, studio booking system 132 Case studies and examples, Swiss system 8 Case studies and examples, television 134 Case studies and examples, Timbuktu airport 322 Case studies and examples, TIPTOP 132 Case studies and examples, transit node 342 397 Case studies and examples, typechecker 108 Case studies and examples, vending machine 320 CCS 334 Church — Rosser 17 class 278 Class description 210 278 COLD 99 167 277 303 304 COLD-K 205 236 304 COLD-Static 303 Communication 165 314 352 Communication protocol 324 Concrete syntax 105 241 Data base 205 Design 167 156 343 design process 55 143 172 distributed systems 153 Environment generation 105 ERAE 15 127 129 165 341 395 examples see “Case studies” Fairness 55 Forest 30 Formalization process 16 129 143 Glass-box correctness 171 Hacking 30 Implementation freedom 179 Import relation 233 359 inheritance 277 Initial semantics 333 Knowledge transfer 24 Lambda calculus 168 237 Language definition formalism 105 LOTOS 334 MAL 5 30 Meta IV 333 Meta-environment 105 Methodology of language design 83 105 233 303 366 Modular implementation techniques 105 Modularisation 218 161 168 233 Module algebra 233 374 multiple inheritance 289 NYCE 46 Parallel programs 55 Parameterization 237 PLUSS 15 395 409 polar 233 Process algebra 203 303 314 333 341 Programming language semantics 105 PSFd 341 PSP/C 303 Rap 15 339 Requirements engineering 7 129 SDF 105 310 SMoLCS 334 State-based specifications 44 57 86 207 278 Streams of actions 143 Structured Common Sense 31 Temporal logic 15 89 360 399 tool support 24 36 105 140 246 300 303 Traditional object-oriented languages 279 Transformations 57 90 167 411 User-definable syntax 105 VDM 15 83 99 167 205 VVSL 83 Z 85 167
Реклама
|
|
О проекте