Formal Description Techniques VIII
Editat de Gregor von Bochmann, Rachida Dssouli, Omar Rafiqen Limba Engleză Hardback – 31 ian 1996
Preț: 1203.16 lei
Preț vechi: 1467.28 lei
-18%
Puncte Express: 1805
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780412732706
ISBN-10: 041273270X
Pagini: 452
Ilustrații: XIV, 452 p.
Dimensiuni: 156 x 234 x 27 mm
Greutate: 0.84 kg
Ediția:1996 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
ISBN-10: 041273270X
Pagini: 452
Ilustrații: XIV, 452 p.
Dimensiuni: 156 x 234 x 27 mm
Greutate: 0.84 kg
Ediția:1996 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
V-ar putea interesa
-
Digital Color ManagementEdward J Giorgianni-9%Preț: 938.85 lei1031.70 lei -
Testing of Communicating SystemsHasan Ural-20%Preț: 1256.38 lei1570.47 lei -
Control of Color Imaging Systems: Analysis and DesignLalit K. Mestha-20%Preț: 1484.53 lei1855.65 lei -
-20%Preț: 1132.63 lei1415.79 lei -
Entropy and Information TheoryRobert M. Gray-18%Preț: 1084.03 lei1321.98 lei -
WaveletsRobert X Gao-18%Preț: 1071.73 lei1306.98 lei -
Spoken Dialogue Systems Technology and DesignWolfgang Minker-18%Preț: 1189.45 lei1450.56 lei -
Embedded Image Processing on the TMS320C6000(TM) DSPShehrzad Qureshi-18%Preț: 1187.61 lei1448.31 lei -
Proactive Spoken Dialogue Interaction in Multi-Party EnvironmentsPetra-Maria Strauß-15%Preț: 618.61 lei727.78 lei -
-23%Preț: 578.64 lei751.48 lei -
Poisson Point ProcessesRoy L. Streit-18%Preț: 917.96 lei1119.47 lei -
Video Segmentation and Its ApplicationsKing Ngi Ngan-15%Preț: 613.39 lei721.63 lei -
Multiscale Signal Analysis and ModelingXiaoping Shen-42%Preț: 566.13 lei975.21 lei -
Color Imaging: Fundamentals and ApplicationsErik Reinhard-20%Preț: 1004.57 lei1255.71 lei -
-20%Preț: 317.85 lei397.31 lei -
Testing of Communicating SystemsFerhat Khendek-20%Preț: 327.07 lei408.84 lei -
Computer Aided VerificationGregor von Bochmann-20%Preț: 329.35 lei411.69 lei -
Information Theory and Applications IIJean-Yves ChouinardPreț: 377.90 lei -
Wavelets and Signal ProcessingHans-Georg StarkPreț: 368.42 lei -
Microphone ArraysMichael Brandstein-18%Preț: 713.02 lei869.53 lei -
DVBUlrich Reimers-18%Preț: 813.90 lei992.55 lei -
-18%Preț: 1165.79 lei1421.70 lei -
Signals and Systems with MATLABWon Young Yang-15%Preț: 522.45 lei614.65 lei -
Methods of Signal Processing for Adaptive Antenna ArraysLarysa Titarenko-38%Preț: 548.97 lei884.86 lei -
Fundamentals in Information Theory and CodingMonica Borda-15%Preț: 626.06 lei736.54 lei -
Bildverarbeitung und ObjekterkennungHerbert SüßePreț: 470.92 lei -
Applied Computation and Security SystemsRituparna ChakiPreț: 378.31 lei -
-18%Preț: 915.38 lei1116.33 lei
Public țintă
ResearchCuprins
Preface. Invited presentation. Design methodologies. Verification I. Algebraic languages. System specification and Z. Invited presentation. Industrial experiences. Applying formal methods. Tools and testing. Real-time and stochastic systems. Verification II. List of tools for demonstrations. Keyword index.