.png){kind=logo}
Computer programming / software development
Results 7993 - 8016 of 8431
Computer programming / software development
Paperback. Num Pages: 350 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 19. Weight in Grams: 628.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1989
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642750328
- ISBN
- 9783642750328
Paperback
Condition: New
€ 68.11
€ 68.11
Paperback. Editor(s): Wirsing, Martin; Bergstra, J. A. Series: Lecture Notes in Computer Science. Num Pages: 572 pages, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 572
- Condition
- New
- SKU
- V9783540516989
- ISBN
- 9783540516989
Paperback
Condition: New
€ 136.28
€ 136.28
Algebraic Methodology and Software Technology (Amast '93)
. Ed(S): Nivat, Maurice; Rattray, Charles; Ru...
Paperback. This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods. Editor(s): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe. Series: Workshops in Computing. Num Pages: 416 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 710.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1994
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540198529
- ISBN
- 9783540198529
Paperback
Condition: New
€ 68.68
€ 68.68
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 447 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 447
- Condition
- New
- SKU
- V9783540799795
- ISBN
- 9783540799795
Paperback
Condition: New
€ 68.51
€ 68.51
paperback. These are the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. Editor(s): Kirchner, Helene; Ringeissen, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, biography. BIC Classification: PBF; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 520
- Condition
- New
- SKU
- V9783540441441
- ISBN
- 9783540441441
Paperback
Condition: New
€ 74.48
€ 74.48
Paperback. Includes the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. This book offers coverage that includes issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 404 pages, biography. BIC Classification: UM. 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
- 404
- Condition
- New
- SKU
- V9783540356332
- ISBN
- 9783540356332
Paperback
Condition: New
€ 72.29
€ 72.29
Paperback. Editor(s): Muntean, Traian; Poulakis, Dimitrios; Rolland, Robert. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 285 pages, 14 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 444.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 285
- Condition
- New
- SKU
- V9783642406621
- ISBN
- 9783642406621
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011. This work features the papers that cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, and finite and infinite computations. Editor(s): Winkler, Franz. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 271 pages, 22 black & white illustrations, 1 colour illustrations, biography. BIC Classification: PBD; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 271
- Condition
- New
- SKU
- V9783642214929
- ISBN
- 9783642214929
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 371 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 569.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 371
- Condition
- New
- SKU
- V9783642035630
- ISBN
- 9783642035630
Paperback
Condition: New
€ 67.71
€ 67.71
Paperback. Editor(s): Maletti, Andreas. Series: Lecture Notes in Computer Science. Num Pages: 231 pages, 21 black & white illustrations, biography. BIC Classification: PBD; UMZ; URY; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 231
- Condition
- New
- SKU
- V9783319230207
- ISBN
- 9783319230207
Paperback
Condition: New
€ 66.13
€ 66.13
Paperback. This is an expanded edition of a popular textbook that provides a purely algebraic, self-contained and in-depth exposition of the theory of function fields. It contains numerous exercises, some fairly simple, some quite difficult. Series: Graduate Texts in Mathematics. Num Pages: 374 pages, biography. BIC Classification: PBF; PBMW; PBW; UGC; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Edition
- Softcover reprint of hardcover 2nd ed. 2008
- Condition
- New
- SKU
- V9783642095566
- ISBN
- 9783642095566
Paperback
Condition: New
€ 78.84
€ 78.84
paperback. Editor(s): Astesiano, Egidio; Kreowski, Hans-Jorg; Krieg-Bruckner, Bernd. Series: IFIP State-of-the-Art Reports. Num Pages: 616 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 942.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 616
- Condition
- New
- SKU
- V9783642641510
- ISBN
- 9783642641510
Paperback
Condition: New
€ 70.18
€ 70.18
Paperback. This collection of 15 papers honors the career of Symeon Bozapalidis. The focus is on his teaching subjects: algebra, linear algebra, mathematical logic, number theory, automata theory, tree languages and series, algebraic semantics, and fuzzy languages. Editor(s): Kuich, Werner; Rahonis, George. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 373 pages, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 156 x 20. Weight in Grams: 572.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011th Edition
- Number of pages
- 350
- Condition
- New
- SKU
- V9783642248962
- ISBN
- 9783642248962
Paperback
Condition: New
€ 67.75
€ 67.75
Paperback. This book is one of the first to cover SAT-solvers and how they can be used in cryptanalysis. It includes chapters on finite field linear algebra and the equicomplexity of matrix operations. Num Pages: 389 pages, biography. BIC Classification: PBF; PBMW; UMB; URY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 594.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 389
- Condition
- New
- SKU
- V9781489984500
- ISBN
- 9781489984500
Paperback
Condition: New
€ 316.73
€ 316.73
Paperback. Constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation. Series: Lecture Notes in Computer Science. Num Pages: 257 pages, biography. BIC Classification: PSA; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783540851004
- ISBN
- 9783540851004
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Series: Monographs in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 234 x 24. Weight in Grams: 566.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 366
- Condition
- New
- SKU
- V9781461293774
- ISBN
- 9781461293774
Paperback
Condition: New
€ 117.43
€ 117.43
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. This title features topical sections on mathematical modeling, system analysis and design, genomics, molecular structure analysis, automata theory, and more. Editor(s): Horimoto, Katsuhisa; Nakatsui, Masahiko; Popov, Nikolaj. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 194 pages, biography. BIC Classification: PSA; UMX; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 308.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 194
- Condition
- New
- SKU
- V9783642280665
- ISBN
- 9783642280665
Paperback
Condition: New
€ 82.59
€ 82.59
Algebraic and Coalgebraic Methods in the Mathematics of Program Constr...
. Ed(S): Backhouse, Roland C.; Crole, Roy; Gi...
Paperback. This textbook-like tutorial presents eight chapters on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, temporal algebra and more. Editor(s): Backhouse, Roland C.; Crole, Roy; Gibbons, Jeremy. Series: Lecture Notes in Computer Science. Num Pages: 404 pages, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783540436133
- ISBN
- 9783540436133
Paperback
Condition: New
€ 72.32
€ 72.32
Paperback. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2003
- Number of pages
- 332
- Condition
- New
- SKU
- V9783642055393
- ISBN
- 9783642055393
Paperback
Condition: New
€ 128.33
€ 128.33
Hardback. This title presents a collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Grobner bases, and much more. Editor(s): Joswig, Michael; Takayama, Nobuki. Num Pages: 332 pages, biography. BIC Classification: PBF; PBM; UFM; UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 332
- Condition
- New
- SKU
- V9783540002567
- ISBN
- 9783540002567
Hardback
Condition: New
€ 129.29
€ 129.29
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: PBCD; UM. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 431.
- Format
- Paperback
- Publisher
- Springer Verlag GmbH Austria
- Edition
- 2
- Condition
- New
- SKU
- V9783211818916
- ISBN
- 9783211818916
Paperback
Condition: New
€ 61.83
€ 61.83
Paperback. Constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008. The papers are organized in topical sections on knowledge representation, constraints, planning, grammar and language processing, statistical learning, and vision and image processing. Series: Lecture Notes in Computer Science. Num Pages: 632 pages, biography. BIC Classification: UKR; UMB; UMX; UND; UNF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 955.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540893776
- ISBN
- 9783540893776
Paperback
Condition: New
€ 131.12
€ 131.12
Paperback / so. Editor(s): Holleczek, Peter. Series: Informatik Aktuell. Num Pages: 130 pages, black & white illustrations, figures, bibliography. BIC Classification: UMZ; UT. Category: (G) General (US: Trade). Dimension: 229 x 152 x 10. Weight in Grams: 227.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 130
- Condition
- New
- SKU
- V9783540853237
- ISBN
- 9783540853237
Paperback
Condition: New
€ 83.54
€ 83.54
Paperback. Is Ajax a new technology, or the same old stuff web developers have been using for years? Both, actually. This book demonstrates not only how tried-and-true web standards make Ajax possible, but how these older technologies allow you to give sites a decidedly modern Web 2.0 feel. Num Pages: 982 pages, 1, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 232 x 181 x 47. Weight in Grams: 1682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- O'Reilly Media, Inc, USA United States
- Edition
- First Edition
- Number of pages
- 982
- Condition
- New
- SKU
- V9780596528386
- ISBN
- 9780596528386
Paperback
Condition: New
€ 52.99€ 50.79
€ 52.99
€ 50.79