Computer programming / software development
Results 5089 - 5112 of 8428
Computer programming / software development
Paperback. Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 506 pages, biography. BIC Classification: UGK; UMB; UMZ; UT; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 506
- Condition
- New
- SKU
- V9783642006012
- ISBN
- 9783642006012
Paperback
Condition: New
€ 69.07
€ 69.07
paperback. This volume features contributions based on the presentations given at the International Symposium Creating Brain-Like Intelligence, held in Hohenstein, Germany, February 2007. It represents the current state of the art in several research fields. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 351 pages, biography. BIC Classification: PSAN; UGK; UMB; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2009th Edition
- Number of pages
- 351
- Condition
- New
- SKU
- V9783642006159
- ISBN
- 9783642006159
Paperback
Condition: New
€ 128.39
€ 128.39
Paperback. Constitutes the refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Wurzburg, Germany, during October 4-6, 2007. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 263 pages, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 409.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783642006746
- ISBN
- 9783642006746
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. This work covers topics including traditional compiler construction, compiler analyses and runtime systems and tools. Editor(s): Moor, Oege De; Schwartzbach, Michael I. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 281 pages, biography. BIC Classification: UKR; UMB; UMC; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 440.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783642007217
- ISBN
- 9783642007217
Paperback
Condition: New
€ 66.99
€ 66.99
Paperback. Constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Editor(s): Kowalewski, S. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 472 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 472
- Condition
- New
- SKU
- V9783642007675
- ISBN
- 9783642007675
Paperback
Condition: New
€ 68.78
€ 68.78
Hardback. This book provides a detailed reference for Logica's industry-leading TestFrame(R) methodology, which enables organizations to develop and execute their tests in a structured way. It offers much hands-on advice and documentation templates. Num Pages: 184 pages, biography. BIC Classification: KJMV6; UKR; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 465.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 184
- Condition
- New
- SKU
- V9783642008214
- ISBN
- 9783642008214
Hardback
Condition: New
€ 67.04
€ 67.04
Paperback. This book features contributions from the LIX Fall Colloquium on the Emerging Trends in Visual Computing, ETVC 2008. Coverage includes information geometry and applications, computer graphics and vision, and medical imaging and computational anatomy. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 386 pages, biography. BIC Classification: UG; UMB; UYA; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 386
- Condition
- New
- SKU
- V9783642008252
- ISBN
- 9783642008252
Paperback
Condition: New
€ 68.03
€ 68.03
Paperback. Constitutes the thoroughly refereed proceedings of the 22nd International Conference on Computer Processing of Oriental Languages, ICCPOL 2009, held in Hong Kong, in March 2009. This title includes papers that address a variety of topics in natural language processing and its applications. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 418 pages, biography. BIC Classification: 2G; CB; UMB; UMX; UNF; UYQL. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 418
- Condition
- New
- SKU
- V9783642008306
- ISBN
- 9783642008306
Paperback
Condition: New
€ 68.19
€ 68.19
Paperback. Constitutes the proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrucken, Germany, in March 2009. This title features papers that show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, and, computational linguistics and finance. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 324 pages, biography. BIC Classification: PHQ; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 156 x 18. Weight in Grams: 512.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 324
- Condition
- New
- SKU
- V9783642008337
- ISBN
- 9783642008337
Paperback
Condition: New
€ 67.31
€ 67.31
Paperback. These Transactions publish archival papers in the area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. This second volume focuses on concurrency in process-aware information systems. Editor(s): Van der Aalst, Wil M. P. Series: Lecture Notes in Computer Science/Transactions on Petri Nets and Other Models of Concurrency. Num Pages: 315 pages, biography. BIC Classification: UGK; UKR; UMB; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 315
- Condition
- New
- SKU
- V9783642008986
- ISBN
- 9783642008986
Paperback
Condition: New
€ 67.19
€ 67.19
Paperback. This book contains extended versions of key papers from the 2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007). It also covers such topics as microarchitecture, code generation, and performance modeling. Series: Lecture Notes in Computer Science. Num Pages: 341 pages, biography. BIC Classification: UKN; UMB; UMX; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783642009037
- ISBN
- 9783642009037
Paperback
Condition: New
€ 67.43
€ 67.43
Paperback. Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 769 pages, biography. BIC Classification: PBCD; UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1163.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 769
- Condition
- New
- SKU
- V9783642009815
- ISBN
- 9783642009815
Paperback
Condition: New
€ 132.47
€ 132.47
Paperback. Constitutes the refereed proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2009, held in Tubingen, Germany, in April 2009. This work contains papers that discuss developments and applications in metaheuristics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 267 pages, biography. BIC Classification: PSA; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 267
- Condition
- New
- SKU
- V9783642010088
- ISBN
- 9783642010088
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2009, held in Nantes, France in April 2009. This book presents 39 revised full papers together with 5 invited talks that were reviewed and selected from 72 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 601 pages, biography. BIC Classification: UMB; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 36. Weight in Grams: 914.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 601
- Condition
- New
- SKU
- V9783642010194
- ISBN
- 9783642010194
Paperback
Condition: New
€ 130.82
€ 130.82
Hardback. This book puts the development of multi-agent systems into a larger perspective with traditional software engineering approaches to tackle difficult challenges of modern-day software systems, such as decentralized control, self-adaptation, and large-scale. Num Pages: 224 pages, biography. BIC Classification: TGP; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 520.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 224
- Condition
- New
- SKU
- V9783642010637
- ISBN
- 9783642010637
Hardback
Condition: New
€ 139.39
€ 139.39
Paperback. Constitutes the proceedings of the Third International United Information Systems Conference, UNISCON 2009, which was held in Sydney, Australia, during April 21-24, 2009. This book covers such topics as: information systems modelling; information systems analysis; information systems integration; and, business process modelling. Series: Lecture Notes in Business Information Processing. Num Pages: 564 pages, biography. BIC Classification: JNV; KJE; KJQ; UKR; UMZ; UND. Category: (P) Professional & Vocational. Dimension: 236 x 157 x 33. Weight in Grams: 850.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 564
- Condition
- New
- SKU
- V9783642011115
- ISBN
- 9783642011115
Paperback
Condition: New
€ 69.80
€ 69.80
Paperback. Constitutes the refereed joint proceedings of eleven European workshops on the Theory and Applications of Evolutionary Computation, EvoWorkshops 2009, held in Tubingen, Germany, in April 2009 within the scope of the EvoStar 2009 event. This book presents 68 revised full papers and 23 revised short papers that were selected from 143 submissions. Series: Lecture Notes in Computer Science. Num Pages: 861 pages, biography. BIC Classification: UG; UKN; UMB; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 1179.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 861
- Condition
- New
- SKU
- V9783642011283
- ISBN
- 9783642011283
Paperback
Condition: New
€ 133.37
€ 133.37
Paperback / so. Series: eXamen.Press. Num Pages: 247 pages, black & white illustrations, bibliography. BIC Classification: PB; UMX. Category: (G) General (US: Trade). Dimension: 234 x 156 x 14. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642011344
- ISBN
- 9783642011344
Paperback
Condition: New
€ 39.33
€ 39.33
Paperback. Constitutes the refereed proceedings of the 11th European Conference on Genetic Programming, EuroGP 2009, held in Tubingen, Germany, in April 2009 co located with the Evo 2009 events. This book reflects research in the field of genetic programming, including work on representations, theory, operators and analysis, and feature selection. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 376 pages, biography. BIC Classification: PSA; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783642011801
- ISBN
- 9783642011801
Paperback
Condition: New
€ 67.79
€ 67.79
Paperback. Constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tubingen, Germany, in April 2009 co located with the Evo 2009 events. This book includes such topics as biomarker discovery, cell simulation and modeling, and ecological modeling. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 215 pages, biography. BIC Classification: PSA; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 340.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 215
- Condition
- New
- SKU
- V9783642011832
- ISBN
- 9783642011832
Paperback
Condition: New
€ 66.22
€ 66.22
Software Engineering, Artificial Intelligence, Networking and Parallel...
. Ed(S): Lee, Roger; Ishii, Naohiro
Hardback. This volume includes the best papers of the 10th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. The conference was held in Daegu, Korea on May 27-29, 2009. Editor(s): Lee, Roger; Ishii, Naohiro. Series: Studies in Computational Intelligence. Num Pages: 284 pages, 40 black & white tables, biography. BIC Classification: UM; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1330.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642012020
- ISBN
- 9783642012020
Hardback
Condition: New
€ 199.87
€ 199.87
Paperback. Offers an overview of the work undertaken by researchers in the area of Agent-Oriented Software Engineering. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 289 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 468.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783642013379
- ISBN
- 9783642013379
Paperback
Condition: New
€ 67.04
€ 67.04
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 251 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 251
- Condition
- New
- SKU
- V9783642013638
- ISBN
- 9783642013638
Paperback
Condition: New
€ 66.95
€ 66.95
Das V-Modell(r) XT. Fur Projektleiter Und QS-Verantwortliche Kompakt U...
Friedrich, Jan; Hammerschall, Ulrike; Kuhrman...
Paperback / so. Kurz- und Kompaktreferenz fur Projektleiter und Verantwortliche in der Qualitatssicherung: Pragnant und prazise beschreiben die Autoren erste Schritte und mogliche Vorgehensweisen. Ihr Buch unterstutzt alle Beteiligten in V-Modell-XT-Projekten " Series: Informatik Im Fokus. Num Pages: 162 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 203 x 127 x 10. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2
- Number of pages
- 162
- Condition
- New
- SKU
- V9783642014871
- ISBN
- 9783642014871
Paperback
Condition: New
€ 37.75
€ 37.75