Computer programming / software development
Results 4161 - 4180 of 7271
Computer programming / software development
Paperback. .
- Publisher
- Springer International Publishing AG
- Format
- Paperback
- Publication date
- 2016
- Edition
- 2nd ed. 2015
- Condition
- New
- SKU
- V9783319275840
- ISBN
- 9783319275840
Paperback
Condition: New
€ 46.34
€ 46.34
Hardcover. .
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2005
- Edition
- 2006th Edition
- Condition
- New
- SKU
- V9781852339029
- ISBN
- 9781852339029
Hardback
Condition: New
€ 177.78€ 61.91
€ 177.78
€ 61.91
Paperback. Num Pages: 548 pages, 2 black & white tables, biography. BIC Classification: UG; UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer London Ltd United Kingdom
- Edition
- Softcover reprint of hardcover 1st ed. 2006
- Number of pages
- 548
- Condition
- New
- SKU
- V9781849969543
- ISBN
- 9781849969543
Paperback
Condition: New
€ 188.68
€ 188.68
Mathematical and Engineering Methods in Computer Science
. Ed(S): Hlineny, Petr; Kofron, Jan; Korenek,...
Paperback. Editor(s): Hlineny, Petr; Kofron, Jan; Korenek, Jan; Matula, Petr; Pala, Karel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 170 pages, 50 black & white illustrations, biography. BIC Classification: PBUD; UKN; UMB; UMZ; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 170
- Condition
- New
- SKU
- V9783319148953
- ISBN
- 9783319148953
Paperback
Condition: New
€ 52.30
€ 52.30
Paperback. Editor(s): Kofron, Jan; Vojnar, Tomas. Series: Lecture Notes in Computer Science. Num Pages: 166 pages, 51 colour illustrations, biography. BIC Classification: PSA; UKN; UMB; UMZ; UNH; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 166
- Condition
- New
- SKU
- V9783319298160
- ISBN
- 9783319298160
Paperback
Condition: New
€ 120.68
€ 120.68
Mathematical and Engineering Methods in Computer Science
. Ed(S): Kotasek, Zdenek; Bouda, Jan; Cerna, ...
Paperback. Constitutes the refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. Editor(s): Kotasek, Zdenek; Bouda, Jan; Cerna, Ivana; Sekanina, Lukas; Vojnar, Tomas; Antos, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 53 black & white illustrations, biography. BIC Classification: UKN; UMB; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642259289
- ISBN
- 9783642259289
Paperback
Condition: New
€ 79.53
€ 79.53
Mathematical and Engineering Methods in Computer Science
. Ed(S): Kucera, Antonin; Henzinger, Thomas A...
Paperback. Editor(s): Kucera, Antonin; Henzinger, Thomas A.; Nesetril, Jaroslav; Vojnar, Tomas; Antos, David. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 225 pages, 32 black & white illustrations, biography. BIC Classification: KCH; UKN; UMB; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 327.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642360442
- ISBN
- 9783642360442
Paperback
Condition: New
€ 63.90
€ 63.90
Mathematical and Statistical Methods for Insurance and Finance
. Ed(S): Perna, Cira; Sibillo, Marilena
Hardback. The interaction between mathematicians and statisticians reveals to be an effective approach to the analysis of insurance and financial problems. This work gathers papers presented at the Maf2006 conference, held at the University of Salerno in 2006. It covers a variety of subjects in insurance and financial fields. Editor(s): Perna, Cira; Sibillo, Marilena. Num Pages: 208 pages, biography. BIC Classification: KCBM; KCH; KJQ; PBW; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 493.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer Verlag Italy
- Number of pages
- 208
- Condition
- New
- SKU
- V9788847007031
- ISBN
- 9788847007031
Hardback
Condition: New
€ 64.62
€ 64.62
Hardback. Presents a comprehensive introduction to various mathematical approaches to achieving high-quality software. This book considers such mathematical approaches as: Z specification language; Vienna Development Methods (VDM); Cleanroom approach developed at IBM software reliability; and, unified modelling language (UML). Num Pages: 232 pages, 52 black & white illustrations, 78 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 16. Weight in Grams: 537.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 232
- Condition
- New
- SKU
- V9781846282423
- ISBN
- 9781846282423
Hardback
Condition: New
€ 122.33
€ 122.33
Paperback. Num Pages: 232 pages, 52 black & white illustrations, 78 black & white tables, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Edition
- 2006
- Number of pages
- 232
- Condition
- New
- SKU
- V9781849965644
- ISBN
- 9781849965644
Paperback
Condition: New
€ 121.12
€ 121.12
Paperback. Editor(s): Kotsireas, Ilias S. Series: Lecture Notes in Computer Science. Num Pages: 651 pages, 101 black & white illustrations, biography. BIC Classification: UMB; UNF; UYA; UYQ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 33. Weight in Grams: 985.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 651
- Condition
- New
- SKU
- V9783319328584
- ISBN
- 9783319328584
Paperback
Condition: New
€ 67.01
€ 67.01
Paperback. Editor(s): Becvar, J. Series: Lecture Notes in Computer Science. Num Pages: 480 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 25. Weight in Grams: 684.
- Format
- Paperback
- Publication date
- 1975
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 480
- Condition
- New
- SKU
- V9783540073895
- ISBN
- 9783540073895
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs. Series: Lecture Notes in Computer Science. Num Pages: 799 pages, biography. BIC Classification: PBW; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 210 x 40. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1993
- Number of pages
- 799
- Condition
- New
- SKU
- V9783540571827
- ISBN
- 9783540571827
Paperback
Condition: New
€ 68.04
€ 68.04
Paperback. Addresses various aspects in theoretical computer science and its mathematical foundations, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, and logic and formal specifications. Series: Lecture Notes in Computer Science. Num Pages: 640 pages, biography. BIC Classification: PBKS; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 973.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783540852377
- ISBN
- 9783540852377
Paperback
Condition: New
€ 125.09
€ 125.09
Paperback. This text gives an overview on research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing should benefit from this book. Editor(s): Nielsen, Mogens; Rovan, Branislav. Series: Lecture Notes in Computer Science. Num Pages: 710 pages, biography. BIC Classification: UMC; UMX; UT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 37. Weight in Grams: 1009.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 710
- Condition
- New
- SKU
- V9783540679011
- ISBN
- 9783540679011
Paperback
Condition: New
€ 133.81
€ 133.81
Paperback. Constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. This book covers such topics as: algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, and grammars and formal languages. Editor(s): Murlak, Filip; Sankowski, Piotr. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 633 pages, biography. BIC Classification: UMB; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 881.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 633
- Condition
- New
- SKU
- V9783642229923
- ISBN
- 9783642229923
Paperback
Condition: New
€ 67.01
€ 67.01
Mathematical Foundations of Computer Science 2012: 37th International ...
. Ed(S): Rovan, Branislav; Sassone, Vladimiro...
paperback. Editor(s): Rovan, Branislav; Sassone, Vladimiro; Widmayer, Peter. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 840 pages, 102 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 43. Weight in Grams: 1177.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Germany
- Edition
- 2012th Edition
- Number of pages
- 840
- Condition
- New
- SKU
- V9783642325885
- ISBN
- 9783642325885
Paperback
Condition: New
€ 138.42
€ 138.42
Paperback. Editor(s): Italiano, Giuseppe F.; Pighizzini, Giovanni; Sannella, Donald T. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, 58 black & white illustrations, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783662480533
- ISBN
- 9783662480533
Paperback
Condition: New
€ 66.62
€ 66.62
Paperback. Editor(s): Italiano, Giuseppe F.; Pighizzini, Giovanni; Sannella, Donald T. Series: Lecture Notes in Computer Science. Num Pages: 485 pages, 51 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 485
- Condition
- New
- SKU
- V9783662480564
- ISBN
- 9783662480564
Paperback
Condition: New
€ 65.37
€ 65.37
Mathematical Foundations of Programming Language Semantics
. Ed(S): Main, M.; Melton, Austin; Mislove, M...
Paperback. Editor(s): Main, M.; Melton, Austin; Mislove, Michael; Schmidt, David. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, 1 black & white illustrations, biography. BIC Classification: PBC; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 33. Weight in Grams: 911.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 648
- Condition
- New
- SKU
- V9783540190202
- ISBN
- 9783540190202
Paperback
Condition: New
€ 73.71
€ 73.71