Formal Description Techniques VIII
Editat de Gregor von Bochmann, Rachida Dssouli, Omar Rafiqen Limba Engleză Hardback – 31 ian 1996
Preț: 1178.22 lei
Preț vechi: 1436.85 lei
-18% Nou
Puncte Express: 1767
Preț estimativ în valută:
208.54€ • 243.10$ • 182.38£
208.54€ • 243.10$ • 182.38£
Carte tipărită la comandă
Livrare economică 21 ianuarie-04 februarie 26
Preluare comenzi: 021 569.72.76
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
-
-9%Preț: 927.58 lei1019.32 lei -
-20%Preț: 1230.34 lei1537.92 lei -
Control of Color Imaging Systems: Analysis and DesignLalit K. Mestha-20%Preț: 1465.13 lei1831.42 lei -
-20%Preț: 1078.39 lei1347.98 lei -
The Science of ImagingGraham Saxby-37%Preț: 505.56 lei805.29 lei -
Entropy and Information TheoryRobert M. Gray-18%Preț: 1071.32 lei1306.48 lei -
Wavelets: Theory and Applications for ManufacturingRobert X Gao-18%Preț: 1062.23 lei1295.39 lei -
Spoken Dialogue Systems Technology and DesignWolfgang Minker-18%Preț: 1169.73 lei1426.51 lei -
-18%Preț: 1176.42 lei1434.66 lei -
Proactive Spoken Dialogue Interaction in Multi-Party EnvironmentsPetra-Maria Strauß-15%Preț: 610.82 lei718.61 lei -
-23%Preț: 620.35 lei805.64 lei -
Poisson Point Processes: Imaging, Tracking, and SensingRoy L. Streit-18%Preț: 907.54 lei1106.75 lei -
Video Segmentation and Its ApplicationsKing Ngi Ngan-15%Preț: 610.18 lei717.86 lei -
Multiscale Signal Analysis and ModelingXiaoping Shen-20%Preț: 615.78 lei769.73 lei -
Color Imaging: Fundamentals and ApplicationsErik Reinhard-20%Preț: 963.29 lei1204.12 lei -
-20%Preț: 317.85 lei397.31 lei -
Testing of Communicating SystemsFerhat Khendek-20%Preț: 326.07 lei407.59 lei -
-20%Preț: 326.72 lei408.40 lei -
Preț: 375.07 lei -
Wavelets and Signal Processing: An Application-Based IntroductionHans-Georg StarkPreț: 366.02 lei -
Microphone Arrays: Signal Processing Techniques and ApplicationsMichael Brandstein-18%Preț: 704.06 lei858.61 lei -
-18%Preț: 803.94 lei980.42 lei -
-18%Preț: 1165.79 lei1421.70 lei -
Signals and Systems with MATLABWon Young Yang-15%Preț: 516.32 lei607.43 lei -
Methods of Signal Processing for Adaptive Antenna ArraysLarysa Titarenko-20%Preț: 601.82 lei752.27 lei -
Fundamentals in Information Theory and CodingMonica Borda-15%Preț: 626.06 lei736.54 lei -
Preț: 464.02 lei -
Applied Computation and Security Systems: Volume TwoRituparna ChakiPreț: 366.56 lei -
-18%Preț: 905.13 lei1103.82 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.