.png){kind=logo}
Computer programming / software development
Results 4417 - 4440 of 8407
Computer programming / software development
Paperback. These papers from the 4th International Conference on Text, Speech and Dialogue, TSD 2001, held in Zelezna Ruda, Czech Republic in September 2001, present a wealth of research and development results from the field of natural language processing with emphasis on text, speech and spoken language. Editor(s): Matousek, Vaclav; Mautner, Paul; Moucek, Roman; Tauser, Karel. Series: Lecture Notes in Computer Science. Num Pages: 465 pages, biography. BIC Classification: CFX; UMX; UYQL; UYU. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 657.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 465
- Condition
- New
- SKU
- V9783540425571
- ISBN
- 9783540425571
Paperback
Condition: New
€ 73.54
€ 73.54
Paperback. The papers in this volume cover topics such as: quality of software; software process assessment and improvement; organizational learning and experience factory; industrial experiences and case studies; software and process modelling; and empirical software engineering. Editor(s): Bomarius, Frank; Komi-Sirvio, Seija. Series: Lecture Notes in Computer Science. Num Pages: 388 pages, biography. BIC Classification: UF; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 388
- Condition
- New
- SKU
- V9783540425717
- ISBN
- 9783540425717
Paperback
Condition: New
€ 72.10
€ 72.10
Paperback. The papers in this volume, from the Second International Symposium on Generative and Component-Based Software Engineering, Germany, October 2000, offer topical sections on aspects and patterns, models and paradigms, components and architectures, and Mixin-based composition and metaprogramming. Editor(s): Butler, Greg; Jarzabek, Stan. Series: Lecture Notes in Computer Science. Num Pages: 210 pages, biography. BIC Classification: UKR; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 316.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 210
- Condition
- New
- SKU
- V9783540425786
- ISBN
- 9783540425786
Paperback
Condition: New
€ 68.56
€ 68.56
Software Quality and Software Testing in Internet Times
. Ed(S): Meyerhoff, Dirk; Laibarra, Begona; V...
Paperback. With contributions of numerous experts Editor(s): Meyerhoff, Dirk; Laibarra, Begona; Van Der Pouw Kraan, Rob; Wallet, Alan. Series: High-tech software quality management. Num Pages: 296 pages, 91 black & white illustrations, 13 black & white tables, biography. BIC Classification: UDB; UMZ; UN; UT. Category: (P) Professional & Vocational. Dimension: 242 x 193 x 16. Weight in Grams: 680.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540426325
- ISBN
- 9783540426325
Paperback
Condition: New
€ 71.74
€ 71.74
Hardback. Features an account on the history of software. By exploring the understanding of software and its history, this book explores the fundamental elements that make software what it is. Editor(s): Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L. Num Pages: 283 pages, biography. BIC Classification: HBT; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 283
- Condition
- New
- SKU
- V9783540426646
- ISBN
- 9783540426646
Hardback
Condition: New
€ 72.46
€ 72.46
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts...
. Ed(S): Gogolla, Martin; Kobryn, Cris
Paperback. Contains the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001. Editor(s): Gogolla, Martin; Kobryn, Cris. Series: Lecture Notes in Computer Science. Num Pages: 528 pages, biography. BIC Classification: UKR; UMC; UMN; UMX; UMZL. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 27. Weight in Grams: 1630.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540426677
- ISBN
- 9783540426677
Paperback
Condition: New
€ 74.72
€ 74.72
Paperback. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. Each paper presents the latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development. Editor(s): Henzinger, Thomas A.; Kirsch, Christoph M. Series: Lecture Notes in Computer Science. Num Pages: 513 pages, biography. BIC Classification: UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 679.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 513
- Condition
- New
- SKU
- V9783540426738
- ISBN
- 9783540426738
Paperback
Condition: New
€ 73.91
€ 73.91
Paperback. This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents' mental states, synthesizing agents initially and modelling. Editor(s): Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter; Gordon, Diana R.; Hinchey, Michael G. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 384 pages, biography. BIC Classification: UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540427162
- ISBN
- 9783540427162
Paperback
Condition: New
€ 71.81
€ 71.81
Theoretical Aspects of Computer Software: 4th International Symposium,...
. Ed(S): Kobayashi, Naoki; Pierce, Benjamin C...
paperback. This text constitutes the proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001, presenting 21 revised papers, six invited papers and an open lecture. Topics addressed include: automata theory, control-flow analysis and program logic. Editor(s): Kobayashi, Naoki; Pierce, Benjamin C. Series: Lecture Notes in Computer Science. Num Pages: 576 pages, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer Germany
- Edition
- 2001st Edition
- Number of pages
- 576
- Condition
- New
- SKU
- V9783540427360
- ISBN
- 9783540427360
Paperback
Condition: New
€ 75.71
€ 75.71
Paperback. These are the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001. Issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications. Editor(s): Walsh, Toby. Series: Lecture Notes in Computer Science. Num Pages: 808 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 40. Weight in Grams: 1111.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 808
- Condition
- New
- SKU
- V9783540428633
- ISBN
- 9783540428633
Paperback
Condition: New
€ 136.88
€ 136.88
Paperback. These are the proceedings of the 12th International Conference on Algorithmic Learning Theory. The papers are in sections on complexity of learning, support vector machines, new learning models, online learning, inductive inference, refutable inductive inference, learning structures and languages. Editor(s): Abe, Naoki; Khardon, Roni; Zeugmann, Thomas. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, biography. BIC Classification: UMB; UYQM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 1230.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783540428756
- ISBN
- 9783540428756
Paperback
Condition: New
€ 72.08
€ 72.08
Paperback. These are the refereed proceedings of the 17th International Conference on Logic Programming, ICLP 2001, held in Paphos, Cyprus in November/December 2001. All current aspects of logic programming and computational logics are addressed. Editor(s): Codognet, Philippe. Series: Lecture Notes in Computer Science. Num Pages: 379 pages, biography. BIC Classification: UM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 20. Weight in Grams: 537.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 17
- Number of pages
- 379
- Condition
- New
- SKU
- V9783540429357
- ISBN
- 9783540429357
Paperback
Condition: New
€ 71.81
€ 71.81
Logic for Programming, Artificial Intelligence and Reasoning
. Ed(S): Nieuwenhuis, Robert; Voronkov, Andre...
Paperback. Compiled from the proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning in December 2001, this volume contains 40 revised full papers presented together with an invited paper, on a variety of topics. Editor(s): Nieuwenhuis, Robert; Voronkov, Andrei. Series: Lecture Notes in Computer Science. Num Pages: 741 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 38. Weight in Grams: 1046.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 741
- Condition
- New
- SKU
- V9783540429579
- ISBN
- 9783540429579
Paperback
Condition: New
€ 136.16
€ 136.16
FST TCS 2001 - Foundations of Software Technology and Theoretical Comp...
. Ed(S): Hariharan, Ramesh; Mukund, Madhavan;...
Paperback. Compiled from the proceedings of the 21st "Conference on Foundations of Software Technology and Theoretical Computer Science" in 2001, this volume contains 23 revised full papers together with five invited papers, covering a range of topics. Editor(s): Hariharan, Ramesh; Mukund, Madhavan; Vinay, V. Series: Lecture Notes in Computer Science. Num Pages: 364 pages, biography. BIC Classification: UF; UM; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 1130.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 364
- Condition
- New
- SKU
- V9783540430025
- ISBN
- 9783540430025
Paperback
Condition: New
€ 71.41
€ 71.41
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