.png){kind=logo}
Computer programming / software development
Results 4489 - 4512 of 8407
Computer programming / software development
Paperback. Constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2006. This book contains topical sections that include systems of systems, security and survivability analysis, nuclear safety and application of standards, formal approaches, and networks dependability. Series: Lecture Notes in Computer Science. Num Pages: 456 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 456
- Condition
- New
- SKU
- V9783540457626
- ISBN
- 9783540457626
Paperback
Condition: New
€ 73.28
€ 73.28
Hardback. Reviews of the first edition of this book describe it as "a standard reference for algorithmic 3-dimensional topology both for graduate students and researchers". The 2nd edition adds new results, new proofs and commentaries for the benefit of the reader. Series: Algorithms and Computation in Mathematics. Num Pages: 506 pages, 36 black & white tables, biography. BIC Classification: PBP; UMB. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 28. Weight in Grams: 918.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2007
- Number of pages
- 506
- Condition
- New
- SKU
- V9783540458982
- ISBN
- 9783540458982
Hardback
Condition: New
€ 119.82
€ 119.82
Paperback. Constitutes the proceedings of the Second International Conference on Natural Computation, ICNC 2006. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1040 pages, biography. BIC Classification: PSAJ; UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 52. Weight in Grams: 1549.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1040
- Condition
- New
- SKU
- V9783540459071
- ISBN
- 9783540459071
Paperback
Condition: New
€ 135.15
€ 135.15
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 792 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1178.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 792
- Condition
- New
- SKU
- V9783540462675
- ISBN
- 9783540462675
Paperback
Condition: New
€ 132.65
€ 132.65
Paperback. Presents revised texts of selected lectures given by researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in Budapest, Hungary, in July 2005. This book features lectures covering a range of topics such as programming language concepts for subtyping. Series: Lecture Notes in Computer Science. Num Pages: 264 pages, biography. BIC Classification: UMJ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 850.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 264
- Condition
- New
- SKU
- V9783540468431
- ISBN
- 9783540468431
Paperback
Condition: New
€ 69.55
€ 69.55
Paperback. Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book features the papers addressing issues in formal methods and their applications in software engineering. Series: Lecture Notes in Computer Science. Num Pages: 804 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 40. Weight in Grams: 1095.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 804
- Condition
- New
- SKU
- V9783540474609
- ISBN
- 9783540474609
Paperback
Condition: New
€ 131.99
€ 131.99
Paperback. Constitutes the refereed proceedings of 14 international workshops that was held as part of OTM 2006 in Montpellier, France in October/November 2006. This title presents 191 revised full papers. Series: Lecture Notes in Computer Science. Num Pages: 1055 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1055
- Condition
- New
- SKU
- V9783540482734
- ISBN
- 9783540482734
Paperback
Condition: New
€ 135.20
€ 135.20
Paperback. Constitutes the refereed post-proceedings of the 7th International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS 2005, that was held in Utrecht, Netherlands, in July 2005 and in Klagenfurt, Austria, in October 2005. This book presents 19 revised full papers. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540482918
- ISBN
- 9783540482918
Paperback
Condition: New
€ 67.07
€ 67.07
Paperback. Constitutes the refereed proceedings of the Second International Symposium on Visual Computing, ISVC 2006, that was held in Lake Tahoe, NV, USA in November 2006. Editor(s): Bebis, George; Molineros, Jose; Theisel, Holger; Malzbender, Tom; Boyle, Richard; Parvin, Bahram; Meenakshisundaram, Gopi; Pascucci, Valerio; Zara, Jiri; Koracin, Darko. Series: Lecture Notes in Computer Science / Image Processing, Computer Vision, Pattern Recognition, and Graphics. Num Pages: 940 pages, biography. BIC Classification: UG; UMB; UYQP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1419.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 940
- Condition
- New
- SKU
- V9783540486268
- ISBN
- 9783540486268
Paperback
Condition: New
€ 134.12
€ 134.12
Paperback. Constitutes the refereed proceedings of the Second International Symposium on Visual Computing, ISVC 2006, that was held in Lake Tahoe, NV, USA in November 2006. Editor(s): Bebis, George; Molineros, Jose; Theisel, Holger; Malzbender, Tom; Boyle, Richard; Parvin, Bahram; Koracin, Darko; Remagnino, Paolo; Zara, Jiri; Nefian, Ara. Series: Lecture Notes in Computer Science. Num Pages: 952 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 54. Weight in Grams: 2710.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 952
- Condition
- New
- SKU
- V9783540486282
- ISBN
- 9783540486282
Paperback
Condition: New
€ 205.50
€ 205.50
Paperback. Constitutes the refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, that was held in Vasteras, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 228 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 355.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 228
- Condition
- New
- SKU
- V9783540488194
- ISBN
- 9783540488194
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, that was held in Paphos, Cyprus in October/November 2004. This title presents 12 revised full papers that discuss issues related to the adoption and use of rigorous tools and methods for the specification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 203 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 203
- Condition
- New
- SKU
- V9783540489283
- ISBN
- 9783540489283
Paperback
Condition: New
€ 66.97
€ 66.97
Paperback. Constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006. This book presents 22 revised full papers together with 2 invited talks and 1 tutorial that examine foundational and practical issues in programming languages and systems. Series: Lecture Notes in Computer Science. Num Pages: 434 pages, biography. BIC Classification: UMX. Category: (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 434
- Condition
- New
- SKU
- V9783540489375
- ISBN
- 9783540489375
Paperback
Condition: New
€ 72.88
€ 72.88
Formal Approaches to Software Testing and Runtime Verification
. Ed(S): Havelund, Klaus; Nunez, Manuel; Rosu...
Paperback. Constitutes the refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Editor(s): Havelund, Klaus; Nunez, Manuel; Rosu, Grigore; Wolff, Burkhart. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 263 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 263
- Condition
- New
- SKU
- V9783540496991
- ISBN
- 9783540496991
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Series: Fir+Law Forschung fur die Praxis. Num Pages: 150 pages, black & white illustrations, bibliography. BIC Classification: KJU; TJFM; UMZ. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 9. Weight in Grams: 210.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 150
- Condition
- New
- SKU
- V9783540502296
- ISBN
- 9783540502296
Paperback
Condition: New
€ 81.96
€ 81.96
Paperback / so. Num Pages: black & white illustrations, bibliography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 14. Weight in Grams: 413.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540502432
- ISBN
- 9783540502432
Paperback
Condition: New
€ 72.46
€ 72.46
Paperback. Editor(s): Feldmann, Klaus; Schmidt, Bernd. Series: Fachberichte Simulation. Num Pages: 459 pages, 57 black & white illustrations. BIC Classification: TBC; TBJ; TJFM; UMZ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 24. Weight in Grams: 760.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783540502500
- ISBN
- 9783540502500
Paperback
Condition: New
€ 85.81
€ 85.81
Paperback / so. Series: Fachberichte Simulation. Num Pages: black & white illustrations, bibliography. BIC Classification: KJT; PN; TBC; TJFM1; UMZ; UYM; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 16. Weight in Grams: 485.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783540502562
- ISBN
- 9783540502562
Paperback
Condition: New
€ 72.96
€ 72.96
Paperback. Editor(s): Barth, Wilhelm. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 255 pages, 42 black & white illustrations. BIC Classification: MBP; RG; UK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 14. Weight in Grams: 550.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 255
- Condition
- New
- SKU
- V9783540503231
- ISBN
- 9783540503231
Paperback
Condition: New
€ 84.17
€ 84.17
paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 247 pages, black & white illustrations, bibliography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 13. Weight in Grams: 425.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer Germany
- Edition
- 1st Edition
- Number of pages
- 247
- Condition
- New
- SKU
- V9783540504290
- ISBN
- 9783540504290
Paperback
Condition: New
€ 83.44
€ 83.44
Foundations of Software Technology and Theoretical Computer Science
. Ed(S): Nori, Kesav V.; Kumar, Sanjeev
paperback. Editor(s): Nori, Kesav V.; Kumar, Sanjeev. Series: Lecture Notes in Computer Science. Num Pages: 540 pages, biography. BIC Classification: UMZ; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 27. Weight in Grams: 743.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1988th Edition
- Number of pages
- 540
- Condition
- New
- SKU
- V9783540505174
- ISBN
- 9783540505174
Paperback
Condition: New
€ 74.84
€ 74.84
Paperback. Editor(s): Kansy, Klaus; Wisskirchen, Peter. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 195 pages, 34 black & white illustrations. BIC Classification: KJQ; UML. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 11. Weight in Grams: 335.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 195
- Condition
- New
- SKU
- V9783540505433
- ISBN
- 9783540505433
Paperback
Condition: New
€ 82.84
€ 82.84
Paperback. Series: Informationstechnik und Datenverarbeitung. Num Pages: 341 pages, black & white illustrations, bibliography. BIC Classification: KJQ; UMX. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 341
- Condition
- New
- SKU
- V9783540506775
- ISBN
- 9783540506775
Paperback
Condition: New
€ 73.64
€ 73.64
Paperback. Hinweise zurn Selbststudiurn 1 1. Einfiihrung .... . 3 2 Methode der Strukturierten Prograrnrnierung . Num Pages: 298 pages, black & white illustrations, bibliography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 1989
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 298
- Condition
- New
- SKU
- V9783540507451
- ISBN
- 9783540507451
Paperback
Condition: New
€ 72.94
€ 72.94