.png){kind=logo}
Computer programming / software development
Results 4441 - 4464 of 8431
Computer programming / software development
paperback. This text constitutes the refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. Fifty revised papers and two invited memorial papers on the perspectives of system informatics are presented. Editor(s): Bjorner, Dines; Broy, Manfred; Zamulin, A.; Erashov, A.P. Series: Lecture Notes in Computer Science. Num Pages: 563 pages, biography. BIC Classification: UMC; UMX; UYF. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2001st Edition
- Number of pages
- 563
- Condition
- New
- SKU
- V9783540430759
- ISBN
- 9783540430759
Paperback
Condition: New
€ 75.47
€ 75.47
Cooperative Environments for Distributed Systems Engineering
Drira, Khalil; Martelli, Andrea; Villemur, Th...
Paperback. This text documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology, such as: collaboration systems design; analysis; and verification middleware product data. Series: Lecture Notes in Computer Science. Num Pages: 582 pages, biography. BIC Classification: UK; UMZ; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 582
- Condition
- New
- SKU
- V9783540430834
- ISBN
- 9783540430834
Paperback
Condition: New
€ 70.03
€ 70.03
Hardback. Series: Xpert.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 578.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540430889
- ISBN
- 9783540430889
Hardback
Condition: New
€ 84.39
€ 84.39
Paperback. This title constitutes the refereed proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, PADL 2002. Among the topics addressed include: ACL, higher order logic programming, compilers, embedded programs, types, XML parsing, and logic programming. Editor(s): Krishnamurthi, S.; Ramakrishnan, C. R. Series: Lecture Notes in Computer Science. Num Pages: 364 pages, biography. BIC Classification: UMC; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 511.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783540430926
- ISBN
- 9783540430926
Paperback
Condition: New
€ 71.45
€ 71.45
paperback. This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI. Among the topics addressed are formal specification, specification languages and term rewriting. Editor(s): Cerioli, M.; Reggio, Gianna. Series: Lecture Notes in Computer Science. Num Pages: 358 pages, biography. BIC Classification: PBCD; UMZ; UYAM; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 358
- Condition
- New
- SKU
- V9783540431596
- ISBN
- 9783540431596
Paperback
Condition: New
€ 71.35
€ 71.35
Paperback. This work presents new techniques for the formal specification and verification of object-oriented software. As modularity is of importance for reuse and component-based programming, emphasis is given to the completeness of specification techniques to allow module verification. Series: Lecture Notes in Computer Science. Num Pages: 298 pages, biography. BIC Classification: UMN; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783540431671
- ISBN
- 9783540431671
Paperback
Condition: New
€ 70.39
€ 70.39
Paperback. Assessing the state of the art in active research areas in theoretical computer science, this book presents research papers and survey articles written for Grzegorz Rozenberg's 60th birthday. Topics include basic decidability and the notion of information, graph grammars and graph transformations. Editor(s): Brauer, Wilfried; Ehrig, Hartmut; Karhumaki, Juhani; Salomaa, Arto K. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: UMB; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 1460.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540431909
- ISBN
- 9783540431909
Paperback
Condition: New
€ 73.60
€ 73.60
Objektorientierte Anwendungsentwicklung mit der postrelationalen Daten...
Kirsten, Wolfgang; Ihringer, Michael; Kuhn, M...
Hardback. BIC Classification: UMZ. Dimension: 254 x 178. Weight in Grams: 1240.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540432487
- ISBN
- 9783540432487
Hardback
Condition: New
€ 121.87
€ 121.87
Paperback. Reflecting the interest in using agents as a new paradigm for software engineering, this text presents 14 full papers and five survey articles from the seond AOSE workshop (2001). It covers societies and organizations, protocols and interaction frameworks, UML, agent systems and more. Editor(s): Wooldridge, Michael; Weiss, Gerhard; Ciancarini, Paolo. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 17. Weight in Grams: 473.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783540432821
- ISBN
- 9783540432821
Paperback
Condition: New
€ 70.81
€ 70.81
Paperback. This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory. Editor(s): Callaghan, P.M.; Luo, Z.; McKinna, J.; Pollack, R. Series: Lecture Notes in Computer Science. Num Pages: 248 pages, biography. BIC Classification: PBCD; UMC; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 13. Weight in Grams: 820.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 248
- Condition
- New
- SKU
- V9783540432876
- ISBN
- 9783540432876
Paperback
Condition: New
€ 69.38
€ 69.38
Hypermedia, Openness, Structural Awareness and Adaptivity
. Ed(S): Reich, Siegfried; Tzagarakis, M. M.;...
paperback. Presenting the joint post-proceedings of three International Workshops held as part of the 12th ACM Conference on Hypertext and Hypermedia in Denmark in 2001. The 28 revised full papers are organized in sections on open hypermedia systems, structural computing and adaptive hypermedia. Editor(s): Reich, Siegfried; Tzagarakis, M. M.; De Bra, P. M. E. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UG; UKS; UMW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 233 x 155 x 18. Weight in Grams: 1090.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540432937
- ISBN
- 9783540432937
Paperback
Condition: New
€ 71.14
€ 71.14
paperback. Constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering held in France in 2002. The 21 full papers and four tool presentations cover formal frameworks, model and program analysis, architecture descriptions, meta-models and more. Editor(s): Kutsche, Ralf-Detlef; Weber, Herbert. Series: Lecture Notes in Computer Science. Num Pages: 348 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2002nd Edition
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540433538
- ISBN
- 9783540433538
Paperback
Condition: New
€ 67.96
€ 67.96
Paperback. Constitutes the proceedings of the 11th European Symposium on Programming held in France in 2002. The 21 revised full papers cover typing and modularity, programming paradigms, lambda calculus, program analysis applications and principles, and verification and analysis of distributed programs. Editor(s): Metayer, Daniel le. Series: Lecture Notes in Computer Science. Num Pages: 330 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 330
- Condition
- New
- SKU
- V9783540433637
- ISBN
- 9783540433637
Paperback
Condition: New
€ 71.09
€ 71.09
Paperback. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems. Editor(s): Nielsen, Mogens; Engberg, Uffe. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, biography. BIC Classification: UMZ; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540433668
- ISBN
- 9783540433668
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. Constitutes the refereed proceedings of the 11th International Conference on Compiler Construction held in France in 2002. The 19 full papers cover analysis and optimization, low-level analysis, grammars and parsing, domain-specific languages and tools, energy consumption optimizations and more. Editor(s): Horspool, R.Nigel. Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UMC. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 18. Weight in Grams: 505.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540433699
- ISBN
- 9783540433699
Paperback
Condition: New
€ 71.35
€ 71.35
Hardback. Teaches finite element methods and basic finite difference methods from a computational point of view. This text emphasizes developing flexible computer programs using the numerical library Diffpack, which is detailed for problems including model equations in applied mathematics, heat transfer, elasticity, and viscous fluid flow. Series: Texts in Computational Science and Engineering. Num Pages: 888 pages, biography. BIC Classification: PBKJ; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 160 x 37. Weight in Grams: 1340.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2003
- Number of pages
- 888
- Condition
- New
- SKU
- V9783540434160
- ISBN
- 9783540434160
Hardback
Condition: New
€ 73.81
€ 73.81
Hardback. Series: X.systems.press. BIC Classification: UMZ. Dimension: 235 x 155. Weight in Grams: 2650.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer Berlin Heidelberg
- Condition
- New
- SKU
- V9783540434184
- ISBN
- 9783540434184
Hardback
Condition: New
€ 161.24
€ 161.24
Paperback. Constitutes the proceedings of three workshops (EvoCOP, EvoIASP and EvoSTIM/EvoPLAN) on the application of evolutionary programming and algorithms in various domains. The 33 papers cover combinatorial optimization problems, image analysis, signal processing, scheduling, timetabling and AI planning. Editor(s): Cagnoni, Stefano; Gottlieb, Jens; Hart, Emma; Middendorf, Martin; Raidl, Gunther R. (Vienna University of Technology). Series: Lecture Notes in Computer Science. Num Pages: 360 pages, biography. BIC Classification: UMB; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 19. Weight in Grams: 1130.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 360
- Condition
- New
- SKU
- V9783540434320
- ISBN
- 9783540434320
Paperback
Condition: New
€ 71.41
€ 71.41
Paperback. Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more. Editor(s): Kuich, Werner; Rozenberg, Grzegorz; Salomaa, Arto. Series: Lecture Notes in Computer Science. Num Pages: 398 pages, biography. BIC Classification: PBCD; UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 21. Weight in Grams: 570.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 398
- Condition
- New
- SKU
- V9783540434535
- ISBN
- 9783540434535
Paperback
Condition: New
€ 72.29
€ 72.29
Hardback. Aims to provide an extremely clear monograph on algorithmic information theory. This work contains discussions of some interesting philosophical questions surrounding the meaning of randomness, as well as notion of randomness in physics and the information content of mathematical knowledge. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 468 pages, biography. BIC Classification: PBB; PBCD; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 26. Weight in Grams: 862.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2002
- Number of pages
- 468
- Condition
- New
- SKU
- V9783540434665
- ISBN
- 9783540434665
Hardback
Condition: New
€ 115.20
€ 115.20
Paperback. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 272
- Condition
- New
- SKU
- V9783540434771
- ISBN
- 9783540434771
Paperback
Condition: New
€ 67.09
€ 67.09
Hardback. Describes a scientifically solid, yet practically affordable and understandable approach. This book presents a developed methodological framework, which combines process and programming knowledge so as to assure that software eventually complies with user requirements, combined with real-world examples. Num Pages: 215 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 460.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783540434863
- ISBN
- 9783540434863
Hardback
Condition: New
€ 71.33
€ 71.33
Paperback. This text contains the post-proceedings of the 5th International Conference on Artificial Evolution held in France in 2001. The 28 full papers cover theoretical issues, algorithmic issues, applications, implementation issues, genetic programming, constraint handling and co-evolution. Editor(s): Collet, Pierre; Fonlupt, Cyril; Hao, Jin-Kao; Lutton, Evelyne; Schoenauer, Marc. Series: Lecture Notes in Computer Science. Num Pages: 374 pages, biography. BIC Classification: PSAJ; PSAK; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 1220.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 374
- Condition
- New
- SKU
- V9783540435440
- ISBN
- 9783540435440
Paperback
Condition: New
€ 72.05
€ 72.05
Hardback. Introduces graph algorithms on an intuitive basis followed by an exposition in a literate programming style, with correctness proofs as well as worst-case analyses. This book provides C++ implementations of algorithms using the LEDA library of data structures and algorithms. Num Pages: 489 pages, biography. BIC Classification: UMB; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 860.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 489
- Condition
- New
- SKU
- V9783540435501
- ISBN
- 9783540435501
Hardback
Condition: New
€ 98.99
€ 98.99