.png){kind=logo}
Computer hardware
Results 1421 - 1440 of 2259
Computer hardware
Paperback. Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. Editor(s): Giese, Holger; Rosu, Grigore. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 282 pages, 75 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 282
- Condition
- New
- SKU
- V9783642307928
- ISBN
- 9783642307928
Paperback
Condition: New
€ 66.82
€ 66.82
Paperback. Editor(s): Delgado Kloos, Carlos; Breuer, P.T. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 249 pages, biography. BIC Classification: THR; TJFC; UK; UMA. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 14. Weight in Grams: 433.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 249
- Condition
- New
- SKU
- V9781461359418
- ISBN
- 9781461359418
Paperback
Condition: New
€ 127.61
€ 127.61
paperback. Editor(s): Drechsler, Rolf; Kuhne, Ulrich. Num Pages: 323 pages, 101 black & white illustrations, 5 colour illustrations, 8 black & white tables, biograph. BIC Classification: TJFC; TJFM; TRP; UGK; UK; UYD. Category: (P) Professional & Vocational. Dimension: 240 x 168 x 18. Weight in Grams: 526.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Edition
- 2015th Edition
- Number of pages
- 323
- Condition
- New
- SKU
- V9783658099930
- ISBN
- 9783658099930
Paperback
Condition: New
€ 68.41
€ 68.41
Paperback. This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more. Editor(s): Agha, Gul; Danvy, Olivier; Meseguer, Jose. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 467 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 467
- Condition
- New
- SKU
- V9783642249327
- ISBN
- 9783642249327
Paperback
Condition: New
€ 68.66
€ 68.66
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, that was held in Natal, Brazil, in November 2010. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems. Editor(s): Davies, Jim; Silva, Leila; Simao, Adenilso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 299 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 299
- Condition
- New
- SKU
- V9783642198281
- ISBN
- 9783642198281
Paperback
Condition: New
€ 66.97
€ 66.97
Formal Description Techniques and Protocol Specification, Testing and ...
Togashi, Atsushi; Mizuno, Tadanori; Shiratori...
Paperback. Series: IFIP Advances in Information and Communication Technology. Num Pages: 561 pages, biography. BIC Classification: TTBM; UKN. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 561
- Condition
- New
- SKU
- V9781475752601
- ISBN
- 9781475752601
Paperback
Condition: New
€ 252.14
€ 252.14
Paperback. Constitutes selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed. Editor(s): Barbosa, Luis Soares; Lumpe, Markus. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 315 pages, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 454.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642272684
- ISBN
- 9783642272684
Paperback
Condition: New
€ 67.12
€ 67.12
Paperback. Presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. This book includes sections on programming language analysis, verification, real-time and concurrency, grand challenge problems, fm practice, runtime monitoring and analysis, and constraint analysis, and design. Series: Lecture Notes in Computer Science. Num Pages: 449 pages, biography. BIC Classification: UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 449
- Condition
- New
- SKU
- V9783540682356
- ISBN
- 9783540682356
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Proceedings of the NATO Advanced Research Workshop on Flow Control of Congested Networks, held in Capri, Italy, October 12-18, 1986 Editor(s): Odoni, Amedeo R.; Bianco, Lucio; Szego, Giorgio. Series: NATO ASI Subseries F. Num Pages: 358 pages, biography. BIC Classification: KCA; KJT; TJK; TRC; UKN. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 20. Weight in Grams: 647.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 358
- Condition
- New
- SKU
- V9783642867286
- ISBN
- 9783642867286
Paperback
Condition: New
€ 68.23
€ 68.23
Hardback. Floating Gate devices are the building blocks of Flash, EPROM, EEPROM memories. This book focuses on operations and compact modeling of memory devices based on Floating Gate architecture. It is desgined to be a tool for designing memory devices based on FG technologies. Num Pages: 131 pages, biography. BIC Classification: UKS. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 393.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 131
- Condition
- New
- SKU
- V9781402077319
- ISBN
- 9781402077319
Hardback
Condition: New
€ 130.50
€ 130.50
Hardback. Here is a guide for the application of methods to evaluate the flexibility of production systems. The book explores current developments and trends as well as their impact on today's production systems. It also compares known strategies, concepts and methods. Num Pages: 186 pages, biography. BIC Classification: KJQ; TGPC; UKR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 467.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 186
- Condition
- New
- SKU
- V9783642181160
- ISBN
- 9783642181160
Hardback
Condition: New
€ 67.07
€ 67.07
Paperback. Num Pages: 156 pages, biography. BIC Classification: KJQ; UK; UL. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 9. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer Verlag, Japan Japan
- Number of pages
- 156
- Condition
- New
- SKU
- V9784431700036
- ISBN
- 9784431700036
Paperback
Condition: New
€ 66.18
€ 66.18
paperback. Editor(s): Dimov, Ivan; Farago, Istvan; Vulkov, Lubin. Series: Lecture Notes in Computer Science. Num Pages: 445 pages, 105 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 2015th Edition
- Number of pages
- 445
- Condition
- New
- SKU
- V9783319202389
- ISBN
- 9783319202389
Paperback
Condition: New
€ 68.44
€ 68.44
Paperback. Editor(s): Vassiliadis, Stamatis; Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece). Num Pages: 397 pages, biography. BIC Classification: TJF; TJFC; UK; UMZ; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 397
- Condition
- New
- SKU
- V9789400798144
- ISBN
- 9789400798144
Paperback
Condition: New
€ 128.84
€ 128.84
Paperback. Editor(s): Bohme, Rainer; Okamoto, Tatsuaki. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, 119 black & white illustrations, biography. BIC Classification: JPP; UF; UKN; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 588
- Condition
- New
- SKU
- V9783662478530
- ISBN
- 9783662478530
Paperback
Condition: New
€ 69.34
€ 69.34
Hardback. Contains the revised selected papers of the First Workshop on Lightweight Cryptography for Resource-Constrained Devices, WLC 2010, the First Workshop on Real-Life Cryptographic Protocols and Standardization, RLCPS 2010, and the First Workshop on Ethics in Computer Security Research, WECSR 2010. Editor(s): Sion, Radu; Curtmola, Reza; Dietrich, Sven; Kiayias, Aggelos; Miret, Josep M.; Sako, Kazue; Sebe, Francesc. Series: Lecture Notes in Computer Science. Num Pages: 257 pages, biography. BIC Classification: KJE; UBJ; UKN; UKR; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642149917
- ISBN
- 9783642149917
Hardback
Condition: New
€ 67.63
€ 67.63
Paperback. Applications of communication networks lead to radical changes in human life. Fieldbus technology is part of this development acting in close connection to systems control and in critical domains. This book presents a collection of articles submitted to the fieldbus conference FeT'99 in Magdeburg, Germany. Editor(s): Dietrich, D.; Neumann, P.; Schweinzer, H. Num Pages: 796 pages, 155 black & white illustrations, biography. BIC Classification: TGPC; TJFM; UK. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 796
- Condition
- New
- SKU
- V9783211833940
- ISBN
- 9783211833940
Paperback
Condition: New
€ 134.40
€ 134.40
Paperback. Editor(s): Anderson, Neal G.; Bhanja, Sanjukta. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 401 pages, 233 black & white illustrations, biography. BIC Classification: UGK; UK; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 401
- Condition
- New
- SKU
- V9783662437216
- ISBN
- 9783662437216
Paperback
Condition: New
€ 67.65
€ 67.65
Paperback. Optoelectronic devices and fibre optics are the basis of cutting-edge communication systems. This monograph deals with the various components of these systems, including lasers, amplifiers, modulators, converters, filters, sensors, and more. Editor(s): Grote, Norbert; Venghaus, Herbert. Series: Springer Series in Photonics (Closed). Num Pages: 486 pages, biography. BIC Classification: TJF; TJFD; TJK; TTB; UK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 747.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2001
- Number of pages
- 486
- Condition
- New
- SKU
- V9783642631245
- ISBN
- 9783642631245
Paperback
Condition: New
€ 129.68
€ 129.68
Fiber-Wireless Convergence in Next-Generation Communication Networks
. Ed(S): Tornatore, Massimo; Chang, Gee-Kung;...
Hardback. Editor(s): Tornatore, Massimo; Chang, Gee-Kung; Ellinas, Georgios. Series: Optical Networks. Num Pages: 406 pages, 38 black & white illustrations, 167 colour illustrations, 112 colour tables, biography. BIC Classification: TJFN; TJKW; UKN; UT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 812.
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 406
- Condition
- New
- SKU
- V9783319428208
- ISBN
- 9783319428208
Hardback
Condition: New
€ 207.29
€ 207.29