.png){kind=logo}
Computer programming / software development
Results 1705 - 1728 of 7832
Computer programming / software development
Paperback. Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 311
- Condition
- New
- SKU
- V9783319357591
- ISBN
- 9783319357591
Paperback
Condition: New
€ 66.85
€ 66.85
Hardback. Concrete Semantics Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 311
- Condition
- New
- SKU
- V9783319105413
- ISBN
- 9783319105413
Hardback
Condition: New
€ 101.17
€ 101.17
Paperback. Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 537 pages, biography. BIC Classification: UKN; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540853602
- ISBN
- 9783540853602
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 651 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 651
- Condition
- New
- SKU
- V9783642040801
- ISBN
- 9783642040801
Paperback
Condition: New
€ 131.34
€ 131.34
Paperback. Editor(s): Koutny, Maciej; Ulidowski, Irek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 596 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783642329395
- ISBN
- 9783642329395
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. Editor(s): D'Argenio, Pedro R.; Melgratti, Hernan. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 576 pages, 83 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 872.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 576
- Condition
- New
- SKU
- V9783642401831
- ISBN
- 9783642401831
Paperback
Condition: New
€ 69.70
€ 69.70
Paperback. Editor(s): Baldan, Paolo; University of Roma "La Sapienza". Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 32. Weight in Grams: 932.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 616
- Condition
- New
- SKU
- V9783662445839
- ISBN
- 9783662445839
Paperback
Condition: New
€ 69.58
€ 69.58
Hardcover. Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. Num Pages: 434 pages, Illustrations (some col.). BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 243 x 190 x 30. Weight in Grams: 986.
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Number of pages
- 434
- Format
- Hardback
- Publication date
- 2006
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780470093559
- ISBN
- 9780470093559
Hardback
Condition: New
€ 79.78
€ 79.78
Paperback. In this practical book, you'll learn how Go was written to help introduce and master these concepts, as well as how to use basic concurrency patterns to form large systems that are reliable and remain simple and easy to understand. Num Pages: 300 pages. BIC Classification: UM. Category: (XV) Technical / Manuals. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491941195
- ISBN
- 9781491941195
Paperback
Condition: New
€ 52.99€ 37.55
€ 52.99
€ 37.55
Hardcover. Editor(s): Becker, Alexander S. Num Pages: 242 pages, b/w illus. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 261 x 186 x 21. Weight in Grams: 694.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Nova Science Publishers Inc United States
- Number of pages
- 242
- Condition
- New
- SKU
- V9781604562743
- ISBN
- 9781604562743
Hardback
Condition: New
€ 237.80€ 162.43
€ 237.80
€ 162.43
Paperback. This volume provides an elementary introduction to Communicating Sequential Processes (CSP) and its use as a formal method for understanding concurrency. Examples and exercises are presented throughout to aid teaching and to help motivate students studying this difficult subject. Series: Worldwide Series in Computer Science. Num Pages: 526 pages, illustrations. BIC Classification: UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 230 x 181 x 30. Weight in Grams: 896.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 1st Edition
- Number of pages
- 526
- Condition
- New
- SKU
- V9780471623731
- ISBN
- 9780471623731
Paperback
Condition: New
€ 78.50
€ 78.50
Concurrent Object-Oriented Programming and Petri Nets
. Ed(S): Agha, Gul A.; Cindio, Fiorella De; R...
Paperback. This volume presents results on Petri nets and concurrent object-oriented programming. The 24 thoroughly reviewed and revised papers are organized in three sections including a detailed approach to integrating Petri nets and object-orientation, and concrete examples to demonstrate the approach. Editor(s): Agha, Gul A.; Cindio, Fiorella de; Rozenberg, Grzegorz. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540419426
- ISBN
- 9783540419426
Paperback
Condition: New
€ 135.92
€ 135.92
Paperback. Wouldn't it be great to take advantage of multicore processors without having to manage threads? This concise book shows you how to use Apple's Grand Central Dispatch (GCD) to simplify programming for multiple cores on iOS devices and Mac OS X. Num Pages: 60 pages, black & white illustrations. BIC Classification: ULH; UMP; UMQ; UMS. Category: (XV) Technical / Manuals. Dimension: 233 x 178 x 3. Weight in Grams: 113.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- O´Reilly Media United States
- Number of pages
- 60
- Condition
- New
- SKU
- V9781449305635
- ISBN
- 9781449305635
Paperback
Condition: New
€ 22.26
€ 22.26
Hardcover. This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes. Num Pages: 516 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 35. Weight in Grams: 936.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 410
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783642320262
- ISBN
- 9783642320262
Hardback
Condition: New
€ 130.58
€ 130.58
paperback. This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes. Num Pages: 548 pages, biography. BIC Classification: UK; UMZ; UT; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 831.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 548
- Condition
- New
- SKU
- V9783642446153
- ISBN
- 9783642446153
Paperback
Condition: New
€ 87.91
€ 87.91
Hardback. Protocols that remain zero-knowledge when many instances are executed concurrently are called concurrent zero-knowledge. This book presents constructions of concurrent zero-knowledge protocols. It shows why 'traditional' proof techniques are not suitable for establishing the concurrent zero-knowledge property of 'message-efficient' protocols. Series: Information Security and Cryptography. Num Pages: 198 pages, biography. BIC Classification: UMB; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 459.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 198
- Condition
- New
- SKU
- V9783540329381
- ISBN
- 9783540329381
Hardback
Condition: New
€ 131.49
€ 131.49
Hardback. This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics. Series: Cognitive Technologies. Num Pages: 233 pages, biography. BIC Classification: HPL; PBC; UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 532.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 233
- Condition
- New
- SKU
- V9783642190674
- ISBN
- 9783642190674
Hardback
Condition: New
€ 128.27
€ 128.27
Paperback. Editor(s): Gammerman, Alexander; Luo, Zhiyuan; Vega, Jesus; Vovk, Vladimir. Series: Lecture Notes in Computer Science. Num Pages: 241 pages, 45 black & white illustrations, biography. BIC Classification: UMB; UNF; UNH; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 158 x 234 x 16. Weight in Grams: 374.
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319333946
- ISBN
- 9783319333946
Paperback
Condition: New
€ 66.25
€ 66.25
Hardcover. This book reviews problems in connected dominating set theory, discussing motivation and overview, problem complexity analysis and approximation algorithm designs. Readers will clearly grasp background, formulation, major research results and open problems. Series: Springer Optimization and its Applications. Num Pages: 216 pages, biography. BIC Classification: KJT; PBU; PBV; UKN; UMB. Category: (P) Professional & Vocational. Dimension: 241 x 159 x 18. Weight in Grams: 468.
- Format
- Hardback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2013th Edition
- Number of pages
- 250
- Condition
- New
- SKU
- V9781461452416
- ISBN
- 9781461452416
Hardback
Condition: New
€ 66.82
€ 66.82
hardcover. Editor(s): Kondoz, Ahmet; Dagiuklas, Tasos. Num Pages: 229 pages, 21 black & white illustrations, 87 colour illustrations, 80 colour tables, biography. BIC Classification: TTB; UKN; UML; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 1st ed. 2017
- Number of pages
- 229
- Condition
- New
- SKU
- V9781493940240
- ISBN
- 9781493940240
Hardback
Condition: New
€ 128.12
€ 128.12
Paperback. With Skype, mobile telephony and other innovations in communication transforming the way families keep in touch with each other, this study analyzes how connections between families and couples are evolving in today's evolving technological context. Editor(s): Neustaedter, Carman; Harrison, Steve; Sellen, Abigail. Num Pages: 208 pages, biography. BIC Classification: UBJ; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 326.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 208
- Condition
- New
- SKU
- V9781447159698
- ISBN
- 9781447159698
Paperback
Condition: New
€ 65.92
€ 65.92
Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 134 pages, 59 black & white illustrations, 3 colour illustrations, biography. BIC Classification: GPFC; PBT; TJFM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 134
- Condition
- New
- SKU
- V9789811024917
- ISBN
- 9789811024917
Paperback
Condition: New
€ 78.38
€ 78.38
Hardback. Presents some of the basic ideas of constraint programming and mathematical programming, explores approaches to integration, offers information on heuristic methods, and attempts to discern directions in this field. Editor(s): Milano, Michela. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 692.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 370
- Condition
- New
- SKU
- V9781402075834
- ISBN
- 9781402075834
Hardback
Condition: New
€ 202.06
€ 202.06
Paperback. Editor(s): Milano, Michela. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 370 pages, biography. BIC Classification: PBF; PBW; UMN; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 370
- Condition
- New
- SKU
- V9781461347194
- ISBN
- 9781461347194
Paperback
Condition: New
€ 195.25
€ 195.25