.png){kind=logo}
Computing
Results 11569 - 11592 of 30846
Computing
Paperback. The proceedings of a workshop which produced research papers on the full spectrum of functional programming research, including implementation, performance, parallelism, algorithms and semantics. Editor(s): O'Donnell, John T.; Hammond, Kevin. Series: Workshops in Computing. Num Pages: 287 pages, 8 black & white illustrations. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 525.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 287
- Condition
- New
- SKU
- V9783540198796
- ISBN
- 9783540198796
Paperback
Condition: New
€ 67.45
€ 67.45
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow ...
. Ed(S): Hammond, Kevin; Etc.; Turner, D.N.; ...
paperback. A summary of new research results on functional programming, which includes discussion of theoretical work in bisimilarity and computer algebra, the creation of a cervical smear scanning system, issues in concurrency and parallelism, and compilation methods for functional languages. Editor(s): Hammond, Kevin; etc.; Turner, D.N.; Sansom, P.M. (all of University of Glasgow, Scotland). Series: Workshops in Computing. Num Pages: 254 pages, biography. BIC Classification: UMJ; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 425.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Germany
- Edition
- First Edition
- Number of pages
- 254
- Condition
- New
- SKU
- V9783540199144
- ISBN
- 9783540199144
Paperback
Condition: New
€ 127.61
€ 127.61
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–...
. Ed(S): Hughes, John; Davis, Kei
perfect. Editor(s): Hughes, John; Davis, Kei. Series: Workshops in Computing. Num Pages: 411 pages, 1 black & white illustrations, 5 black & white tables. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 242 x 170 x 22. Weight in Grams: 720.
- Publication date
- 1990
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 411
- Condition
- New
- SKU
- V9783540196099
- ISBN
- 9783540196099
Paperback
Condition: New
€ 68.74
€ 68.74
Paperback. Num Pages: 245 pages. BIC Classification: UMJ. Category: (P) Professional & Vocational. .
- Publisher
- Manning Publications
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781633430105
- ISBN
- 9781633430105
Paperback
Condition: New
€ 62.64
€ 62.64
Hardcover. Num Pages: 284 pages, 27 black & white illustrations, 101 colour illustrations, biography. BIC Classification: TGPR; TJF; TRC; UMB; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 596.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2016
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319333601
- ISBN
- 9783319333601
Hardback
Condition: New
€ 150.75
€ 150.75
Paperback. Software size measurement is an extremely important and highly specialized aspect of the software life cycle. It is used for determining the effort and cost estimations for project planning purposes of a software project s execution, and/or for other costing, charging, and productivity analysis purposes. Num Pages: 448 pages. BIC Classification: UMZ. Category: (P) Professional & Vocational. Weight in Grams: 666.
- Publisher
- John Wiley & Sons Inc
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781119238058
- ISBN
- 9781119238058
Paperback
Condition: New
€ 135.61
€ 135.61
Paperback. Editor(s): Aneiros, German; Bongiorno, Enea; Cao, Ricardo; Vieu, Philippe. Series: Contributions to Statistics. Num Pages: 50 black & white illustrations, biography. BIC Classification: KJQ; PBT; UFM. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Condition
- New
- SKU
- V9783319558455
- ISBN
- 9783319558455
Paperback
Condition: New
€ 127.64
€ 127.64
Paperback. .
- Publisher
- O´Reilly Media, Inc, USA United States
- Number of pages
- 325
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449365516
- ISBN
- 9781449365516
Paperback
Condition: New
€ 42.99€ 41.27
€ 42.99
€ 41.27
Functional Verification of Dynamically Reconfigurable FPGA-Based Syste...
Gong, Lingkan; Diessel, Oliver
Paperback. Num Pages: 237 pages, 24 black & white illustrations, 48 colour illustrations, 12 black & white tables, biograp. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 237
- Condition
- New
- SKU
- V9783319380865
- ISBN
- 9783319380865
Paperback
Condition: New
€ 126.98
€ 126.98
Functional Verification of Dynamically Reconfigurable FPGA-based Syste...
Gong, Lingkan, Diessel, Oliver
Hardcover. Num Pages: 216 pages, 24 black & white illustrations, 48 colour illustrations, 12 black & white tables, biograp. BIC Classification: TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 161 x 246 x 14. Weight in Grams: 484.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer
- Edition
- 2015th Edition
- Condition
- New
- SKU
- V9783319068374
- ISBN
- 9783319068374
Hardback
Condition: New
€ 128.17
€ 128.17
Functional Verification of Programmable Embedded Architectures
Mishra, Prabhat; Dutt, Nikil (University Of C...
Hardback. Presents a top-down validation methodology that complements the existing bottom-up approaches. This work addresses two fundamental challenges in functional verification: lack of a golden reference model, and lack of a comprehensive functional coverage metric. It is designed for students, researchers, CAD tool developers, designers, and managers. Num Pages: 180 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 1020.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 180
- Condition
- New
- SKU
- V9780387261430
- ISBN
- 9780387261430
Hardback
Condition: New
€ 131.49
€ 131.49
Paperback. Num Pages: 199 pages, biography. BIC Classification: THR; TJFC; UGC; UYD; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 199
- Condition
- New
- SKU
- V9781489973368
- ISBN
- 9781489973368
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. Proceedings of the NATO Advanced Study Institute on "Fundamental Algorithms for Computer Graphics" held at Ilkley, Yorkshire, England, March 30 - April 12, 1985 Editor(s): Earnshaw, Rae. Series: Springer Study Edition. Num Pages: 1058 pages, 13 black & white illustrations. BIC Classification: PBK; UGC; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 53. Weight in Grams: 1784.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 1058
- Condition
- New
- SKU
- V9783540543978
- ISBN
- 9783540543978
Paperback
Condition: New
€ 75.78
€ 75.78
Paperback. Editor(s): Pezze, Mauro. Series: Lecture Notes in Computer Science. Num Pages: 421 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 421
- Condition
- New
- SKU
- V9783540008996
- ISBN
- 9783540008996
Paperback
Condition: New
€ 72.41
€ 72.41
paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 388 pages, biography. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 554.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2005th Edition
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540254201
- ISBN
- 9783540254201
Paperback
Condition: New
€ 72.01
€ 72.01
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 27 revised full papers, two tool papers presented together with two invited papers were carefully reviewed and selected from 166 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 439 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783540330936
- ISBN
- 9783540330936
Paperback
Condition: New
€ 72.29
€ 72.29
paperback. Constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering held in France in 2002. The 21 full papers and four tool presentations cover formal frameworks, model and program analysis, architecture descriptions, meta-models and more. Editor(s): Kutsche, Ralf-Detlef; Weber, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540433538
- ISBN
- 9783540433538
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, that was held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science. Num Pages: 458 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 712.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 458
- Condition
- New
- SKU
- V9783540712886
- ISBN
- 9783540712886
Paperback
Condition: New
€ 68.67
€ 68.67
Paperback. This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components. Editor(s): Fiadeiro, Jose Luiz. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540787426
- ISBN
- 9783540787426
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 501 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 501
- Condition
- New
- SKU
- V9783642005923
- ISBN
- 9783642005923
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Rosenblum, David S.; Taentzer, Gabriele. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 396 pages, 127 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 23. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642120282
- ISBN
- 9783642120282
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Editor(s): Lara, Juan de; Zisman, Andrea. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 536 pages, 168 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783642288715
- ISBN
- 9783642288715
Paperback
Condition: New
€ 69.31
€ 69.31
Paperback. Editor(s): Cortellessa, Vittorio; Varro, Daniel. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 396 pages, 90 black & white illustrations, biography. BIC Classification: JPP; UMX; UMZ; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 557.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783642370564
- ISBN
- 9783642370564
Paperback
Condition: New
€ 67.93
€ 67.93
Paperback. Editor(s): Gnesi, Stefania; Rensink, Arend. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 448 pages, 103 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 448
- Condition
- New
- SKU
- V9783642548031
- ISBN
- 9783642548031
Paperback
Condition: New
€ 68.44
€ 68.44