Computer programming / software development
Results 7761 - 7780 of 7780
Computer programming / software development
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
Paperback. .
- Publisher
- Pearson Education Limited
- Number of pages
- 827
- Format
- Paperback
- Publication date
- 2013
- Edition
- International ed
- Condition
- New
- SKU
- V9781292023946
- ISBN
- 9781292023946
Paperback
Condition: New
€ 123.70
€ 123.70
Paperback. Editor(s): Kliemann, Lasse; Sanders, Peter. Series: Lecture Notes in Computer Science. Num Pages: 419 pages, 68 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 658.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 419
- Condition
- New
- SKU
- V9783319494869
- ISBN
- 9783319494869
Paperback
Condition: New
€ 67.93
€ 67.93
paperback. Num Pages: 118 pages, 1 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 7. Weight in Grams: 204.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer United States
- Edition
- 1989th Edition
- Number of pages
- 118
- Condition
- New
- SKU
- V9780387969602
- ISBN
- 9780387969602
Paperback
Condition: New
€ 126.07
€ 126.07
Paperback. Constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. Editor(s): Fomin, Fedor V.; Kaski, Petteri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 423 pages, 62 black & white illustrations, biography. BIC Classification: PBD; PBKS; UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 584.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 423
- Condition
- New
- SKU
- V9783642311543
- ISBN
- 9783642311543
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Translator(s): Czerwinski, M. Num Pages: black & white illustrations, bibliography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 40. Weight in Grams: 1070.
- Format
- Paperback
- Publication date
- 1981
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540107439
- ISBN
- 9783540107439
Paperback
Condition: New
€ 78.29
€ 78.29