Checkout/View Shopping Cart >>

×

Shopping cart

Shop By

Categories

Home » Computing » Computer programming / software development

Computer programming / software development

Agile programming

Algorithms & data structures

Aspect programming / AOP

Compilers

Database programming

Extreme programming

Functional programming

Games development & programming

Graphics programming

Macintosh programming

Microsoft programming

Mobile & handheld device programming / Apps programming

Network programming

Object-oriented programming (OOP)

Program concepts / learning to program

Programming & scripting languages: general

Software Engineering

Web programming

Sort by

Author Name +/-

Results 241 - 260 of 8447

Computer programming / software development

. Ed(S): Beringer, Lennart; Felty, Amy - Interactive Theorem Proving - 9783642323461 - V9783642323461

Interactive Theorem Proving

. Ed(S): Beringer, Lennart; Felty, Amy

paperback. Editor(s): Beringer, Lennart; Felty, Amy. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 430 pages, 37 black & white illustrations, biography. BIC Classification: UMZ; UR; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 603.

Format: Paperback
Publication date: 2012
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition: 2012th Edition
Number of pages: 430
Condition: New
SKU: V9783642323461
ISBN: 9783642323461

Paperback

Condition: New

€ 65.42

. Ed(S): Bern, Marshall W.; Flaherty, Joseph E.; Luskin, Mitchell Barry - Grid Generation and Adaptive Algorithms - 9781461271918 - V9781461271918

Grid Generation and Adaptive Algorithms

. Ed(S): Bern, Marshall W.; Flaherty, Joseph ...

Paperback. Editor(s): Bern, Marshall W.; Flaherty, Joseph E.; Luskin, Mitchell Barry. Series: The IMA Volumes in Mathematics and its Applications. Num Pages: 198 pages, 21 black & white tables, biography. BIC Classification: PBV; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 320.

Format: Paperback
Publication date: 2012
Publisher: Springer-Verlag New York Inc. United States
Edition: Softcover reprint of the original 1st ed. 1999
Number of pages: 198
Condition: New
SKU: V9781461271918
ISBN: 9781461271918

Paperback

Condition: New

€ 63.36

. Ed(S): Bernard, Alain; Rivest, Louis; Dutta, Debasish - Product Lifecycle Management for Society - 9783662514542 - V9783662514542

Product Lifecycle Management for Society

. Ed(S): Bernard, Alain; Rivest, Louis; Dutta...

Paperback. Editor(s): Bernard, Alain; Rivest, Louis; Dutta, Debasish. Series: IFIP Advances in Information and Communication Technology. Num Pages: 725 pages, 311 colour illustrations, biography. BIC Classification: KJQ; UMA; UMZ; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 1114.

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: 725
Condition: New
SKU: V9783662514542
ISBN: 9783662514542

Paperback

Condition: New

€ 126.74

. Ed(S): Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina - Formal Methods for Executable Software Models - 9783319073163 - V9783319073163

Formal Methods for Executable Software Models

. Ed(S): Bernardo, Marco; Damiani, Ferruccio;...

Paperback. Editor(s): Bernardo, Marco; Damiani, Ferruccio; Haehnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 343 pages, 101 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.

Format: Paperback
Publication date: 2014
Publisher: Springer International Publishing AG Switzerland
Number of pages: 343
Condition: New
SKU: V9783319073163
ISBN: 9783319073163

Paperback

Condition: New

€ 64.58

. Ed(S): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane - Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 9783319340951 - V9783319340951

Formal Methods for the Quantitative Evaluation of Collective Adaptive ...

. Ed(S): Bernardo, Marco; De Nicola, Rocco; H...

Paperback. Editor(s): Bernardo, Marco; De Nicola, Rocco; Hillston, Jane. Series: Lecture Notes in Computer Science. Num Pages: 268 pages, 67 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYAM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.

Format: Paperback
Publication date: 2016
Publisher: Springer International Publishing AG Switzerland
Number of pages: 268
Condition: New
SKU: V9783319340951
ISBN: 9783319340951

Paperback

Condition: New

€ 63.89

. Ed(S): Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi - Formal Methods for Computational Systems Biology - 9783540688921 - V9783540688921

Formal Methods for Computational Systems Biology

. Ed(S): Bernardo, Marco; Degano, Pierpaolo; ...

Paperback. Editor(s): Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 537 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 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: V9783540688921
ISBN: 9783540688921

Paperback

Condition: New

€ 66.52

. Ed(S): Bernardo, Marco; Johnsen, Einar Broch - Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - 9783319189406 - V9783319189406

Formal Methods for Multicore Programming: 15th International School on...

. Ed(S): Bernardo, Marco; Johnsen, Einar Broc...

paperback. Editor(s): Bernardo, Marco; Johnsen, Einar Broch. Series: Lecture Notes in Computer Science. Num Pages: 211 pages, 72 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 343.

Format: Paperback
Publication date: 2015
Publisher: Springer Switzerland
Edition: 2015th Edition
Number of pages: 211
Condition: New
SKU: V9783319189406
ISBN: 9783319189406

Paperback

Condition: New

€ 63.43

. Ed(S): Bernardo, Marco; Vink, Erik De; Pierro, Alessandra Di; Wiklicky, Herbert - Formal Methods for Dynamical Systems - 9783642388736 - V9783642388736

Formal Methods for Dynamical Systems

. Ed(S): Bernardo, Marco; Vink, Erik De; Pier...

Paperback. This book offers lectures from the 2013 International School on Formal Methods for Design of Computer, Communication & Software Systems on chaotic dynamics, information theory, systems biology, hybrid systems, quantum computing, automata-based models and more. Editor(s): Bernardo, Marco; Vink, Erik de; Pierro, Alessandra di; Wiklicky, Herbert. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 181 pages, 49 black & white illustrations, biography. BIC Classification: UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 10. Weight in Grams: 302.

Format: Paperback
Publication date: 2013
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages: 181
Condition: New
SKU: V9783642388736
ISBN: 9783642388736

Paperback

Condition: New

€ 58.90

. Ed(S): Bernsmed, Karin; Fischer-Hubner, Simone - Secure it Systems - 9783319115986 - V9783319115986

Secure it Systems

. Ed(S): Bernsmed, Karin; Fischer-Hubner, Sim...

Paperback. Editor(s): Bernsmed, Karin; Fischer-Hubner, Simone. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 308 pages, 81 black & white illustrations, biography. BIC Classification: UMB; URY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.

Format: Paperback
Publication date: 2014
Publisher: Springer International Publishing AG Switzerland
Number of pages: 308
Condition: New
SKU: V9783319115986
ISBN: 9783319115986

Paperback

Condition: New

€ 64.21

. Ed(S): Bernstein, Daniel J.; Chatterjee, Sanjit - Progress in Cryptology - INDOCRYPT - 9783642255779 - V9783642255779

Progress in Cryptology - INDOCRYPT

. Ed(S): Bernstein, Daniel J.; Chatterjee, Sa...

Paperback. Editor(s): Bernstein, Daniel J.; Chatterjee, Sanjit. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 414 pages, biography. BIC Classification: PBD; UKN; UMB; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 588.

Format: Paperback
Publication date: 2011
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages: 414
Condition: New
SKU: V9783642255779
ISBN: 9783642255779

Paperback

Condition: New

€ 65.56

. Ed(S): Bernus, Peter; Doumeingts, Guy; Fox, Mark - Enterprise Architecture, Integration and Interoperability - 9783642155086 - V9783642155086

Enterprise Architecture, Integration and Interoperability

. Ed(S): Bernus, Peter; Doumeingts, Guy; Fox,...

Hardback. Constitutes the refereed proceedings of the IFIP TC 5 International Conference on Enterprise Architecture, Integration, Interoperability and Networking, EAI2N 2010, held as part of the 21st World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. Editor(s): Bernus, Peter; Doumeingts, Guy; Fox, Mark. Series: IFIP Advances in Information and Communication Technology. Num Pages: 191 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UNF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 454.

Format: Hardback
Publication date: 2010
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages: 191
Condition: New
SKU: V9783642155086
ISBN: 9783642155086

Hardback

Condition: New

€ 64.27

. Ed(S): Bernus, Peter; Doumeingts, Guy; Fox, Mark - Enterprise Architecture, Integration and Interoperability - 9783642423352 - V9783642423352

Enterprise Architecture, Integration and Interoperability

. Ed(S): Bernus, Peter; Doumeingts, Guy; Fox,...

Paperback. Editor(s): Bernus, Peter; Doumeingts, Guy; Fox, Mark. Series: IFIP Advances in Information and Communication Technology. Num Pages: 191 pages, biography. BIC Classification: UKN; UMZ; UNF; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 308.

Format: Paperback
Publication date: 2014
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages: 191
Condition: New
SKU: V9783642423352
ISBN: 9783642423352

Paperback

Condition: New

€ 64.18

. Ed(S): Beroggi, Giampiero E. G.; Wallace, W. A. - Computer Supported Risk Management - 9789401041096 - V9789401041096

Computer Supported Risk Management

. Ed(S): Beroggi, Giampiero E. G.; Wallace, W...

Paperback. Editor(s): Beroggi, Giampiero E. G.; Wallace, W. A. Series: Topics in Safety, Risk, Reliability and Quality. Num Pages: 382 pages, biography. BIC Classification: RNF; TBC; TGPR; TN; TQ; UMB. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 20. Weight in Grams: 617.

Format: Paperback
Publication date: 2012
Publisher: Springer Netherlands
Edition: Softcover reprint of the original 1st ed. 1995
Number of pages: 382
Condition: New
SKU: V9789401041096
ISBN: 9789401041096

Paperback

Condition: New

€ 239.98

. Ed(S): Bertacco, Valeria; Legay, Axel - Hardware and Software: Verification and Testing - 9783319030760 - V9783319030760

Hardware and Software: Verification and Testing

. Ed(S): Bertacco, Valeria; Legay, Axel

Paperback. Editor(s): Bertacco, Valeria; Legay, Axel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 386 pages, 147 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 543.

Format: Paperback
Publication date: 2013
Publisher: Springer International Publishing AG Switzerland
Number of pages: 386
Condition: New
SKU: V9783319030760
ISBN: 9783319030760

Paperback

Condition: New

€ 65.21

. Ed(S): Bertogna, Marko; Pinho, Luis Miguel; Quinones, Eduardo - Reliable Software Technologies - Ada Europe 2016 - 9783319390826 - V9783319390826

Reliable Software Technologies - Ada Europe 2016

. Ed(S): Bertogna, Marko; Pinho, Luis Miguel;...

Paperback. Editor(s): Bertogna, Marko; Pinho, Luis Miguel; Quinones, Eduardo. Series: Lecture Notes in Computer Science. Num Pages: 227 pages, 59 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 355.

Format: Paperback
Publication date: 2016
Publisher: Springer International Publishing AG Switzerland
Number of pages: 227
Condition: New
SKU: V9783319390826
ISBN: 9783319390826

Paperback

Condition: New

€ 63.51

. Ed(S): Bessani, Alysson; Bouchenak, Sara - Distributed Applications and Interoperable Systems - 9783319191287 - V9783319191287

Distributed Applications and Interoperable Systems

. Ed(S): Bessani, Alysson; Bouchenak, Sara

Paperback. Editor(s): Bessani, Alysson; Bouchenak, Sara. Series: Lecture Notes in Computer Science. Num Pages: 233 pages, 88 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.

Format: Paperback
Publication date: 2015
Publisher: Springer International Publishing AG Switzerland
Number of pages: 233
Condition: New
SKU: V9783319191287
ISBN: 9783319191287

Paperback

Condition: New

€ 63.57

. Ed(S): Bessiere, Christian; Nijssen, Siegfried; Pedreschi, Dino - Data Mining and Constraint Programming - 9783319501369 - V9783319501369

Data Mining and Constraint Programming

. Ed(S): Bessiere, Christian; Nijssen, Siegfr...

Paperback. Editor(s): Bessiere, Christian; Nijssen, Siegfried; Pedreschi, Dino. Series: Lecture Notes in Computer Science. Num Pages: 349 pages, 73 black & white illustrations, biography. BIC Classification: UGK; UMB; UNF; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 557.

Format: Paperback
Publication date: 2017
Publisher: Springer International Publishing AG Switzerland
Number of pages: 349
Condition: New
SKU: V9783319501369
ISBN: 9783319501369

Paperback

Condition: New

€ 64.66

. Ed(S): Bestougeff, H.; Dubois, Jacques-Emile; Thuraisingham, Bhavani M. - Heterogeneous Information Exchange and Organizational Hubs - 9789048160303 - V9789048160303

Heterogeneous Information Exchange and Organizational Hubs

. Ed(S): Bestougeff, H.; Dubois, Jacques-Emil...

Paperback. Editor(s): Bestougeff, H.; Dubois, Jacques-Emile; Thuraisingham, Bhavani M. Num Pages: 243 pages, biography. BIC Classification: KJM; KJQ; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 397.

Format: Paperback
Publication date: 2010
Publisher: Springer Netherlands
Edition: Softcover reprint of the original 1st ed. 2002
Number of pages: 243
Condition: New
SKU: V9789048160303
ISBN: 9789048160303

Paperback

Condition: New

€ 122.35

. Ed(S): Beydeda, Sami; Book, Matthias; Gruhn, Volker - Model-Driven Software Development - 9783540256137 - V9783540256137

Model-Driven Software Development

. Ed(S): Beydeda, Sami; Book, Matthias; Gruhn...

Hardback. Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the core of model-driven development. The aim of this book is to give an overview of the state of the art in model-driven software development. Editor(s): Beydeda, Sami; Book, Matthias; Gruhn, Volker. Num Pages: 464 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 846.

Format: Hardback
Publication date: 2005
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages: 464
Condition: New
SKU: V9783540256137
ISBN: 9783540256137

Hardback

Condition: New

€ 188.56

. Ed(S): Beydeda, Sami; Book, Matthias; Gruhn, Volker - Model-Driven Software Development - 9783642065026 - V9783642065026

Model-Driven Software Development

. Ed(S): Beydeda, Sami; Book, Matthias; Gruhn...

Paperback. Editor(s): Beydeda, Sami; Book, Matthias; Gruhn, Volker. Num Pages: 464 pages, 195 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 668.

Format: Paperback
Publication date: 2010
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition: 1st ed. Softcover of orig. ed. 2005
Number of pages: 464
Condition: New
SKU: V9783642065026
ISBN: 9783642065026

Paperback

Condition: New

€ 187.61

Page 13 of 423

Subscribe to our newsletter

News on special offers, signed editions & more!