Computer programming / software development
Results 2761 - 2784 of 6463
Computer programming / software development
Paperback. This text constitutes the proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation held in 1997. The 15 papers presented address such topics as program synthesis, program transformation, program analysis, tabling, metaprogramming and inductive logic programming. Editor(s): Fuchs, N. E. Series: Lecture Notes in Computer Science. Num Pages: 353 pages, 9 black & white illustrations, 2 colour illustrations, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 539.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 353
- Condition
- New
- SKU
- V9783540650744
- ISBN
- 9783540650744
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Series: Springer-Lehrbuch. BIC Classification: UMX. Dimension: 235 x 155. Weight in Grams: 580.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540653899
- ISBN
- 9783540653899
Paperback
Condition: New
€ 49.23
€ 49.23
Paperback. Editor(s): Merx, Oliver. Series: X.Media.Interaktiv. Num Pages: 386 pages, black & white illustrations. BIC Classification: UGD; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783540654094
- ISBN
- 9783540654094
Paperback
Condition: New
€ 81.00
€ 81.00
paperback. Editor(s): Demeyer, Serge; Bosch, Jan. Series: Lecture Notes in Computer Science. Num Pages: 604 pages, biography. BIC Classification: UMN. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 835.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1998th Edition
- Number of pages
- 604
- Condition
- New
- SKU
- V9783540654605
- ISBN
- 9783540654605
Paperback
Condition: New
€ 73.09
€ 73.09
Hardback. Database technology and entity-relationship modelling have become established technologies. This text presents advances in this field in a comprehensive survey. It deals with the entity-relationship model and its relation with the integrated development and modelling of database applications. Num Pages: 640 pages, biography. BIC Classification: UGK; UMZ; UNS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1072.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 640
- Condition
- New
- SKU
- V9783540654704
- ISBN
- 9783540654704
Hardback
Condition: New
€ 67.31
€ 67.31
Hardcover. Object-Process Methodology (OPM) is an intuitive approach to systems engineering. This book presents the theory and practice of OPM with examples from various industry segments and engineering disciplines, as well as daily life. Num Pages: 455 pages, biography. BIC Classification: UMN; UMZ. Category: (P) Professional & Vocational. Dimension: 239 x 164 x 35. Weight in Grams: 858.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer
- Edition
- 2002nd Edition
- Condition
- New
- SKU
- V9783540654711
- ISBN
- 9783540654711
Hardback
Condition: New
€ 120.53
€ 120.53
Paperback. Editor(s): Sichman, Jaime S.; Conte, Rosaria; Gilbert, Nigel. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 245 pages, biography. BIC Classification: UGK; UMZ; UYQ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 245
- Condition
- New
- SKU
- V9783540654766
- ISBN
- 9783540654766
Paperback
Condition: New
€ 66.41
€ 66.41
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 323 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 323
- Condition
- New
- SKU
- V9783540655169
- ISBN
- 9783540655169
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Editor(s): Ewers, Harald; Glombitza, Gerald; Lehmann, Thomas; Meinzer, Hans-Peter. Series: Informatik Aktuell. Num Pages: 471 pages, 172 black & white illustrations. BIC Classification: UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 471
- Condition
- New
- SKU
- V9783540656272
- ISBN
- 9783540656272
Paperback
Condition: New
€ 81.84
€ 81.84
Paperback. This text presents innovative methods for the solution of multibody descriptor models. It emphasizes the interdependence of modelling and numerical solutions of the arising system of differential algebraic equations and stresses the importance of software development in scientific computing. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 362 pages, 24 black & white illustrations, biography. BIC Classification: PBWH; UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 362
- Condition
- New
- SKU
- V9783540656623
- ISBN
- 9783540656623
Paperback
Condition: New
€ 222.21
€ 222.21
paperback. Num Pages: 267 pages, 14 black & white illustrations, 28 black & white tables. BIC Classification: KJQ; UMZ; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st Edition
- Number of pages
- 267
- Condition
- New
- SKU
- V9783540657385
- ISBN
- 9783540657385
Paperback
Condition: New
€ 80.00
€ 80.00
Paperback. Twenty-one reviewed technical contributions address research issues in conceptual modelling, with applications in various contexts. There is an introductory survey and a paper of the future perspectives of conceptual modelling. Editor(s): Chen, Peter P.; Akoka, Jacky; Thalheim, B.; Kangassalo, Hannu. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UGK; UM; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540659266
- ISBN
- 9783540659266
Paperback
Condition: New
€ 67.99
€ 67.99
Paperback. Edited papers from an international workshop on Computation for Metaphors, Analogy, and Agents (CMAA '98). The papers cover research from a variety of disciplines from which have emerged aspects of descriptive, mathematical, computational or design knowledge concerning metaphor and analogy. Editor(s): Nehaniv, Christopher L. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 394 pages, biography. BIC Classification: UMX; UT; UYQE. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 394
- Condition
- New
- SKU
- V9783540659594
- ISBN
- 9783540659594
Paperback
Condition: New
€ 69.40
€ 69.40
Paperback. This text surveys security in large-scale open distributed systems, with classic papers and reviewed contributions. It covers background requirements, issues in trust, programming and mobile computations, general concepts and implementations of security concepts. Editor(s): Vitek, J.; Jensen, C. Damsgaard. Series: Lecture Notes in Computer Science. Num Pages: 516 pages, biography. BIC Classification: UMZ; URY; UTS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 26. Weight in Grams: 722.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 516
- Condition
- New
- SKU
- V9783540661306
- ISBN
- 9783540661306
Paperback
Condition: New
€ 71.50
€ 71.50
Hardback. This text surveys the field of constraint databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages. Num Pages: 428 pages, 6 black & white tables, biography. BIC Classification: UMC; UMX; UNS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 428
- Condition
- New
- SKU
- V9783540661511
- ISBN
- 9783540661511
Hardback
Condition: New
€ 194.49
€ 194.49
Paperback. These refereed papers are structured in topical sections on mixins, debugging and garbage collection, type checking, virtual and multi-methods, adaptive programming, classification and inheritance and distributed objects. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, biography. BIC Classification: UMN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 28. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 552
- Condition
- New
- SKU
- V9783540661566
- ISBN
- 9783540661566
Paperback
Condition: New
€ 71.70
€ 71.70
Paperback. These 27 revised papers are organized in sections on: components; information systems management; method engineering; data warehouses; process modelling; CORBA and distributed information systems; workflow systems; heterogeneous databases; and information systems dynamics. Editor(s): Jarke, Matthias; Oberweis, Andreas. Series: Lecture Notes in Computer Science. Num Pages: 500 pages, biography. BIC Classification: KJQ; UL; UM; UN. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 25. Weight in Grams: 694.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 500
- Condition
- New
- SKU
- V9783540661573
- ISBN
- 9783540661573
Paperback
Condition: New
€ 71.10
€ 71.10
Paperback. This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation. Editor(s): Ganzinger, Harald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UM; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540662228
- ISBN
- 9783540662228
Paperback
Condition: New
€ 70.20
€ 70.20
Paperback. This volume constitutes the refereed proceedings of the First International Workshop on Active Networks held in June and July 1999. It is divided into sections on network architectures, platforms, active management and control, and security. Editor(s): Covaci, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: KJMV; UMZ; UT. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 19. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540662389
- ISBN
- 9783540662389
Paperback
Condition: New
€ 68.63
€ 68.63
paperback. This volume constitutes the proceedings of the International Workshop on the Unified Modeling Language held in June 1998. It presents research and development results as well as advanced applications. Series: Lecture Notes in Computer Science. Num Pages: 460 pages, biography. BIC Classification: UMC; UMN; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 460
- Condition
- New
- SKU
- V9783540662525
- ISBN
- 9783540662525
Paperback
Condition: New
€ 70.35
€ 70.35
Paperback. This text is the second publication focusing on RoboCup (a combination of artificial intelligence and football). It opens with an overview section, provides research papers on selected technical topics, and presents technical and strategic descriptions of the work of participating teams. Editor(s): Asada, Minoru; Kitano, Hiroaki. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 525 pages, 250 black & white illustrations, biography. BIC Classification: TJFM1; UMZ; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 27. Weight in Grams: 807.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 525
- Condition
- New
- SKU
- V9783540663201
- ISBN
- 9783540663201
Paperback
Condition: New
€ 66.53
€ 66.53
Paperback. This text details a new approach to domain-independent integer optimization, which, unlike traditional strategies, is based on local search. It develops the concepts and strategies of integer local search and describes possible combinations with classical methods from linear programming. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 144 pages, biography. BIC Classification: KJT; PBU; UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 8. Weight in Grams: 240.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 144
- Condition
- New
- SKU
- V9783540663676
- ISBN
- 9783540663676
Paperback
Condition: New
€ 64.77
€ 64.77
Theoretical and Practical Aspects of Spin Model Checking
. Ed(S): Dams, Dennis; Gerth, Robert; Leue, S...
Paperback. This text constitutes the refereed proceedings of the 5th and 6th International SPIN Workshops on SPIN Model Checking. Papers present up-to-date research results centred around SPIN, as well as valuable surveys and summaries of application experience. Editor(s): Dams, Dennis; Gerth, Robert; Leue, Stefan; Massinek, Mieke. Series: Lecture Notes in Computer Science. Num Pages: 292 pages, biography. BIC Classification: UFM; UGK; UMG. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 15. Weight in Grams: 910.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 292
- Condition
- New
- SKU
- V9783540664994
- ISBN
- 9783540664994
Paperback
Condition: New
€ 67.19
€ 67.19
Paperback. Programming techniques like object-oriented programming and generic (template) programming are covered here. These techniques increase flexibility, modularization, code reuse and improve maintenance of large numerical codes. Series: Lecture Notes in Computational Science and Engineering. Num Pages: 372 pages, 37 black & white illustrations, 32 black & white tables, biography. BIC Classification: UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 19. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 372
- Condition
- New
- SKU
- V9783540665571
- ISBN
- 9783540665571
Paperback
Condition: New
€ 190.57
€ 190.57