Computer programming / software development
Results 321 - 340 of 7670
Computer programming / software development
Unifying Theories of Programming and Formal Engineering Methods
. Ed(S): Liu, Zhiming; Woodcock, Jim; Zhu, Hu...
Paperback. Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 283 pages, 50 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783642397202
- ISBN
- 9783642397202
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Editor(s): Wolff, Burkhart; Gaudel, Marie-Claude; Feliachi, Abderrahmane. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 370.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783642357046
- ISBN
- 9783642357046
Paperback
Condition: New
€ 85.78
€ 85.78
Paperback. Editor(s): Naumann, David. Series: Lecture Notes in Computer Science. Num Pages: 154 pages, 10 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 8. Weight in Grams: 250.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 154
- Condition
- New
- SKU
- V9783319148052
- ISBN
- 9783319148052
Paperback
Condition: New
€ 54.39
€ 54.39
Paperback. Editor(s): Bowen, Jonathan P.; Zhu, Huibiao. Series: Lecture Notes in Computer Science. Num Pages: 217 pages, 36 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 217
- Condition
- New
- SKU
- V9783319522272
- ISBN
- 9783319522272
Paperback
Condition: New
€ 66.10
€ 66.10
Hardback. Presents an exposition of major developments in uniform random number generation for practical use. This book emphasizes on practice in relation to the theoretical background of uniform random numbers. It is suitable for those interested in algorithmic methods for generating 'randomness' on a computer. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 209 pages, biography. BIC Classification: PBT; PBW; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 14. Weight in Grams: 498.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 209
- Condition
- New
- SKU
- V9780792395720
- ISBN
- 9780792395720
Hardback
Condition: New
€ 253.73
€ 253.73
Paperback. Num Pages: 464 pages, illustrations. BIC Classification: UMN; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 281 x 213 x 26. Weight in Grams: 1071.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- IEEE Computer Society Press,U.S. United States
- Edition
- 1st Edition
- Number of pages
- 464
- Condition
- New
- SKU
- V9780818677335
- ISBN
- 9780818677335
Paperback
Condition: New
€ 103.75
€ 103.75
Unified Low-power Design Flow for Data-dominated Multi-media and Telec...
Catthoor, Farncky, Holman, J. P.
Hardcover. Collects several low-power oriented design flows which are being developed in several European research groups into a more abstract but unifying design flow oriented to data-dominated multi-media and telecom applications. This book provides an overview of the field and addresses known issues to arrive at industrially relevant results. Editor(s): Catthoor, Francky. Num Pages: 181 pages, biography. BIC Classification: TJFC; UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 12. Weight in Grams: 1050.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer
- Edition
- 2000th Edition
- Condition
- New
- SKU
- V9780792379478
- ISBN
- 9780792379478
Hardback
Condition: New
€ 198.07
€ 198.07
Paperback. Possessing what readers need to grasp Unicode, this book takes on a guide through the character world. It is suitable for both beginning and seasoned programmers. Num Pages: 800 pages, Illustrations. BIC Classification: UMB. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 232 x 180 x 33. Weight in Grams: 1150.
- Publisher
- O'Reilly Media, Inc, USA United States
- Number of pages
- 800
- Format
- Paperback
- Publication date
- 2006
- Condition
- New
- SKU
- V9780596101213
- ISBN
- 9780596101213
Paperback
Condition: New
€ 60.48
€ 60.48
Hardcover. Introduces unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. This book is suitable for researchers and graduate students engaged in automatic verification and concurrency theory. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 184 pages, 51 black & white illustrations, 4 black & white tables, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 12. Weight in Grams: 450.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540774259
- ISBN
- 9783540774259
Hardback
Condition: New
€ 127.78
€ 127.78
paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 184 pages, 51 black & white illustrations, 4 black & white tables, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 290.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2008
- Number of pages
- 184
- Condition
- New
- SKU
- V9783642096051
- ISBN
- 9783642096051
Paperback
Condition: New
€ 127.73
€ 127.73
paperback. Covers Version 2.6 of the Linux kernel, which has seen significant changes to nearly every kernel subsystem, particularly in the areas of memory management and block devices. This book provides a guided tour of the code that forms the core of all Linux operating systems. Num Pages: 944 pages, 1, black & white illustrations. BIC Classification: ULL; UM. Category: (G) General (US: Trade). Dimension: 230 x 184 x 48. Weight in Grams: 1602.
- Publisher
- O'Reilly Media
- Number of pages
- 944
- Format
- Paperback
- Publication date
- 2005
- Edition
- 3rd Edition
- Condition
- New
- SKU
- V9780596005658
- ISBN
- 9780596005658
Paperback
Condition: New
€ 66.53€ 51.31
€ 66.53
€ 51.31
Paperback. This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification presented in a formal manner. Num Pages: 257 pages, 145 black & white illustrations, biography. BIC Classification: UMA; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 457.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 257
- Condition
- New
- SKU
- V9783662523070
- ISBN
- 9783662523070
Paperback
Condition: New
€ 66.70
€ 66.70
Paperback. Licensing is a major part of what open source and free software are all about, but it's still one of the most complicated areas of law. This book explains your licensing options, how they compare and interoperate, and how license choices affect project possibilities. Num Pages: 208 pages, 1, black & white illustrations. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 231 x 177 x 11. Weight in Grams: 346.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- O´Reilly Media United States
- Edition
- First Edition,Annotated
- Number of pages
- 208
- Condition
- New
- SKU
- V9780596005818
- ISBN
- 9780596005818
Paperback
Condition: New
€ 37.99€ 36.59
€ 37.99
€ 36.59
Hardcover. After an introduction to cryptography and data security, the authors of this book explain the main techniques in modern cryptography. The book is uniquely designed for students of engineering and applied computer science, and engineering practitioners. Num Pages: 372 pages, 39 black & white tables, biography. BIC Classification: TJK; UMB; UR. Category: (P) Professional & Vocational. Dimension: 247 x 168 x 33. Weight in Grams: 738.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 392
- Format
- Hardback
- Publication date
- 2011
- Edition
- 1st ed. 2010
- Condition
- New
- SKU
- V9783642041006
- ISBN
- 9783642041006
Hardback
Condition: New
€ 50.79
€ 50.79
Hardback. Num Pages: 700 pages, 100 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319257013
- ISBN
- 9783319257013
Hardback
Condition: New
€ 72.17
€ 72.17
paperback. Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the basic CSP knowledge needed to utilize those tools. Series: Texts in Computer Science. Num Pages: 548 pages, biography. BIC Classification: UL; UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer United Kingdom
- Number of pages
- 548
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9781447126003
- ISBN
- 9781447126003
Paperback
Condition: New
€ 69.46
€ 69.46
Paperback. Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you'll recognize, helping you appreciate why these ideas matter and how they can inform your day-to-day programming. Num Pages: 332 pages, black & white illustrations. BIC Classification: UMA; UMX. Category: (XV) Technical / Manuals. Dimension: 232 x 177 x 18. Weight in Grams: 580.
- Publisher
- O´Reilly Media United States
- Number of pages
- 332
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449329273
- ISBN
- 9781449329273
Paperback
Condition: New
€ 43.99€ 30.67
€ 43.99
€ 30.67
Paperback. This witty book helps you understand how data compression algorithms work-in theory and practice-so you can choose the best solution among all the available compression tools. Num Pages: 242 pages, black & white illustrations. BIC Classification: UMB; UNA; UNH; UYF. Category: (P) Professional & Vocational. Dimension: 179 x 234 x 19. Weight in Grams: 426.
- Publisher
- O´Reilly Media, Inc, USA
- Format
- Paperback
- Publication date
- 2016
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491961537
- ISBN
- 9781491961537
Paperback
Condition: New
€ 40.99€ 38.41
€ 40.99
€ 38.41
Paperback. Improve your programming through a solid understanding of C pointers and memory management. With this practical book, you'll learn how pointers provide the mechanism to dynamically manipulate memory, enhance support for data structures, and enable access to hardware. Num Pages: 226 pages, Illustrations. BIC Classification: UMX. Category: (XV) Technical / Manuals. Dimension: 232 x 177 x 15. Weight in Grams: 398.
- Publisher
- O´Reilly Media United States
- Number of pages
- 226
- Format
- Paperback
- Publication date
- 2013
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781449344184
- ISBN
- 9781449344184
Paperback
Condition: New
€ 43.99€ 30.67
€ 43.99
€ 30.67
Paperback. Editor(s): Durand-Lose, Jerome; Jonoska, Natasha. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 264 pages, 74 black & white illustrations, biography. BIC Classification: PSA; UMB; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783642328930
- ISBN
- 9783642328930
Paperback
Condition: New
€ 61.44
€ 61.44