Protocol Specification, Testing and Verification XV
Editat de Piotr Dembinski, Marek Sredniawaen Limba Engleză Hardback – 30 noi 1995
Preț: 1184.54 lei
Preț vechi: 1444.55 lei
-18% Nou
Puncte Express: 1777
Preț estimativ în valută:
209.58€ • 244.16$ • 183.01£
209.58€ • 244.16$ • 183.01£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780412716201
ISBN-10: 0412716208
Pagini: 472
Ilustrații: XI, 455 p.
Dimensiuni: 160 x 241 x 30 mm
Greutate: 0.87 kg
Ediția:1995
Editura: Springer
Locul publicării:New York, NY, United States
ISBN-10: 0412716208
Pagini: 472
Ilustrații: XI, 455 p.
Dimensiuni: 160 x 241 x 30 mm
Greutate: 0.87 kg
Ediția:1995
Editura: Springer
Locul publicării:New York, NY, United States
V-ar putea interesa
-
Coherent Lightwave Communications TechnologyS. ShimadaPreț: 372.50 lei -
Formal Description Techniques VIID. Hogrefe-18%Preț: 1181.23 lei1440.52 lei -
Communications and Multimedia Security IIPatrick Horster-18%Preț: 910.12 lei1109.91 lei -
Super-Resolution ImagingPeyman Milanfar-18%Preț: 1288.09 lei1570.84 lei -
-15%Preț: 620.86 lei730.42 lei -
Speech Processing in Embedded SystemsPriyabrata Sinha-18%Preț: 693.59 lei845.84 lei -
Smart CamerasAhmed Nabil Belbachir-18%Preț: 809.11 lei986.72 lei -
-15%Preț: 617.39 lei726.35 lei -
Digital Image Forensics: There is More to a Picture than Meets the EyeHusrev Taha Sencar-18%Preț: 1173.25 lei1430.79 lei -
Classical, Semi-classical and Quantum NoiseLeon Cohen-18%Preț: 1065.40 lei1299.27 lei -
-15%Preț: 673.06 lei791.83 lei -
Novel Techniques for Dialectal Arabic Speech RecognitionMohamed Elmahdy-15%Preț: 608.15 lei715.47 lei -
Random Signals and Processes Primer with MATLABGordana Jovanovic Dolecek-15%Preț: 627.45 lei738.17 lei -
Localization in Wireless Networks: Foundations and ApplicationsJessica Feng Sanford-15%Preț: 611.89 lei719.87 lei -
Non-Linguistic Analysis of Call Center ConversationsSunil Kumar KopparapuPreț: 362.30 lei -
Preț: 362.51 lei -
-15%Preț: 625.09 lei735.40 lei -
Konzepte der statistischen SignalverarbeitungBert-Uwe KöhlerPreț: 402.16 lei -
-18%Preț: 918.59 lei1120.23 lei -
-18%Preț: 701.44 lei855.42 lei -
-15%Preț: 611.57 lei719.49 lei -
Digital Filters: Basics and DesignDietrich Schlichthärle-15%Preț: 518.84 lei610.40 lei -
Data Fusion: Concepts and IdeasH.B. Mitchell-15%Preț: 618.64 lei727.80 lei -
-18%Preț: 752.72 lei917.96 lei -
-15%Preț: 609.71 lei717.30 lei -
-15%Preț: 614.60 lei723.05 lei -
Iris Analysis for Biometric Recognition SystemsRajesh M. BodadePreț: 365.09 lei -
Multirate Statistical Signal ProcessingOmid S. Jahromi-15%Preț: 610.50 lei718.24 lei -
Preț: 362.15 lei
Public țintă
ResearchCuprins
Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.