Computer programming / software development
Results 381 - 400 of 7663
Computer programming / software development
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. 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
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 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. 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. 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. 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 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): 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. 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. 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. 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. 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
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. 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
Hardback. The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software. Series: IFIP Advances in Information and Communication Technology. Num Pages: 451 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 162 x 28. Weight in Grams: 772.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Chapman and Hall United Kingdom
- Number of pages
- 451
- Condition
- New
- SKU
- V9780412820502
- ISBN
- 9780412820502
Hardback
Condition: New
€ 258.28
€ 258.28
Paperback. Michael Goodrich and Roberto Tamassia, authors of the successful, Data Structures and Algorithms in Java, 2/e, have written Algorithm Engineering, a text designed to provide a comprehensive introduction to the design, implementation and analysis of computer algorithms and data structures from a modern perspective. Num Pages: 720 pages, Ill. BIC Classification: UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 193 x 38. Weight in Grams: 1350.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 1st
- Number of pages
- 720
- Condition
- New
- SKU
- V9780471383659
- ISBN
- 9780471383659
Paperback
Condition: New
€ 224.21
€ 224.21
Hardcover. Introducing a NEW addition to our growing library of computer science titles, Algorithm Design and Applications, by Michael T. Goodrich & Roberto Tamassia! Algorithms is a course required for all computer science majors, with a strong focus on theoretical topics. Num Pages: 800 pages. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 258 x 208 x 29. Weight in Grams: 1498.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Wiley
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781118335918
- ISBN
- 9781118335918
Hardback
Condition: New
€ 184.03
€ 184.03
Hardback. Networked information technology (NIT) systems (network-centric systems) constitute the cornerstone of the information systems and web-connected activities. This work develops a conceptual foundation for NIT systems and presents an integrated view of needed control algorithms (ADDM-asynchronous, distributed, decision-making). Num Pages: 403 pages, 15 black & white illustrations, 25 black & white tables, biography. BIC Classification: UMB; UT. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 241 x 166 x 29. Weight in Grams: 780.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 403
- Condition
- New
- SKU
- V9780387955445
- ISBN
- 9780387955445
Hardback
Condition: New
€ 130.55
€ 130.55
paperback. Num Pages: 403 pages, 15 black & white illustrations, 25 black & white tables, biography. BIC Classification: UL; UMB; UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 403
- Condition
- New
- SKU
- V9781475780666
- ISBN
- 9781475780666
Paperback
Condition: New
€ 129.25
€ 129.25