×


 x 

Shopping cart

Computer programming / software development

Results 381 - 400 of 7663

Computer programming / software development

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Subscribe to our newsletter

News on special offers, signed editions & more!