Programming & scripting languages: general
Results 301 - 320 of 493
Programming & scripting languages: general
Paperback. Constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. Editor(s): Wolff, Burkhart; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 226
- Condition
- New
- SKU
- V9783642245794
- ISBN
- 9783642245794
Paperback
Condition: New
€ 69.04
€ 69.04
Conceptual Modeling – ER 2011: 30th International Conference on Conc...
. Ed(S): Jeusfeld, Manfred A.; Delcambre, Loi...
paperback. Contains sections on modeling goals and compliance; human and socio-technical factors; ontologies; data model theory; model development and maintainability; user interfaces and software classification; evolution, propagation and refinement; UML and requirements modeling; views, queries and search; requirements and business intelligence; and more. Editor(s): Jeusfeld, Manfred A.; Delcambre, Lois; Ling, Tok Wang. Series: Lecture Notes in Computer Science. Num Pages: 530 pages, 81 black & white illustrations, 96 colour illustrations, biography. BIC Classification: UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 816.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 530
- Condition
- New
- Edition
- 2011th Edition
- SKU
- V9783642246050
- ISBN
- 9783642246050
Paperback
Condition: New
€ 72.12
€ 72.12
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. Editor(s): Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 504 pages, 154 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 771.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 504
- Condition
- New
- SKU
- V9783642246890
- ISBN
- 9783642246890
Paperback
Condition: New
€ 71.81
€ 71.81
Paperback. This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers. Editor(s): Aichernig, Bernhard K.; Boer, Frank S. de; Bonsangue, Marcello M. (Leiden University). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 393 pages, 145 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 617.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2012
- Number of pages
- 393
- Condition
- New
- SKU
- V9783642252709
- ISBN
- 9783642252709
Paperback
Condition: New
€ 70.77
€ 70.77
Paperback. Editor(s): Joshi, Rajeev; Muller, Peter; Podelski, Andreas. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 326 pages, 41 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 326
- Condition
- New
- SKU
- V9783642277047
- ISBN
- 9783642277047
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. Editor(s): Kannan, Rajkumar; Andres, Frederic. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 356 pages, 139 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 150 x 18. Weight in Grams: 544.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783642278716
- ISBN
- 9783642278716
Paperback
Condition: New
€ 70.27
€ 70.27
Verification, Model Checking, and Abstract Interpretation
. Ed(S): Kuncak, Viktor; Rybalchenko, Andrey
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. Editor(s): Kuncak, Viktor; Rybalchenko, Andrey. Series: Lecture Notes in Computer Science. Num Pages: 457 pages, 111 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 703.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 457
- Condition
- New
- SKU
- V9783642279393
- ISBN
- 9783642279393
Paperback
Condition: New
€ 71.34
€ 71.34
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642280375
- ISBN
- 9783642280375
Paperback
Condition: New
€ 69.35
€ 69.35
Paperback. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012. Editor(s): Furia, Carlo A.; Nanz, Sebastian. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 100 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 372
- Condition
- New
- SKU
- V9783642305603
- ISBN
- 9783642305603
Paperback
Condition: New
€ 70.42
€ 70.42
Paperback. Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. Editor(s): Brorsson, Mats; Pinho, Luis Miguel. Series: Lecture Notes in Computer Science. Num Pages: 220 pages, 59 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 220
- Condition
- New
- SKU
- V9783642305979
- ISBN
- 9783642305979
Paperback
Condition: New
€ 69.04
€ 69.04
Paperback. Suitable for both first-time and advanced users of Maple, this book provides a tutorial that extends from high school algebra to advanced topics in mathematics, including special functions, multivariable calculus, differential equations, and complex numbers. Num Pages: 496 pages, 64 black & white illustrations, 58 black & white halftones. BIC Classification: PBW; UF; UMX. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 149 x 222 x 27. Weight in Grams: 714.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Taylor & Francis Inc United States
- Edition
- 1st Edition
- Number of pages
- 496
- Condition
- New
- SKU
- V9781584882329
- ISBN
- 9781584882329
Paperback
Condition: New
€ 252.47
€ 252.47
Paperback.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- APress United States
- Edition
- 3rd
- Number of pages
- 1020
- Condition
- New
- SKU
- V9781590592274
- ISBN
- 9781590592274
Paperback
Condition: New
€ 58.49
€ 58.49
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. This book features 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 558 pages, biography. BIC Classification: UB; UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 839.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540705437
- ISBN
- 9783540705437
Paperback
Condition: New
€ 169.15
€ 169.15
Paperback. Series: Undergraduate Topics in Computer Science. Num Pages: 253 pages, 203 black & white illustrations, 46 colour illustrations, 47 colour tables, biography. BIC Classification: UMA; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 467.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319443379
- ISBN
- 9783319443379
Paperback
Condition: New
€ 64.95
€ 64.95
paperback. Num Pages: 696 pages. BIC Classification: TBC; UMX. Category: (U) Tertiary Education (US: College). Dimension: 232 x 187 x 23. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Pearson United States
- Edition
- 4th Edition
- Number of pages
- 696
- Condition
- New
- SKU
- V9780134444291
- ISBN
- 9780134444291
Paperback
Condition: New
€ 233.15
€ 233.15
paperback. Num Pages: 848 pages. BIC Classification: UMS; UMX. Category: (U) Tertiary Education (US: College). Dimension: 232 x 178 x 41. Weight in Grams: 1066.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Pearson United States
- Edition
- 3rd Edition
- Number of pages
- 848
- Condition
- New
- SKU
- V9780134444307
- ISBN
- 9780134444307
Paperback
Condition: New
€ 232.27
€ 232.27
paperback. Num Pages: 912 pages, black & white tables, figures. BIC Classification: UMX. Category: (U) Tertiary Education (US: College). Dimension: 232 x 187 x 32. Weight in Grams: 1293.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Pearson United States
- Edition
- 6th Edition
- Number of pages
- 912
- Condition
- New
- SKU
- V9780136079477
- ISBN
- 9780136079477
Paperback
Condition: New
€ 241.72
€ 241.72
Paperback.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Packt Publishing
- Condition
- New
- SKU
- V9781782166924
- ISBN
- 9781782166924
Paperback
Condition: New
€ 61.31
€ 61.31
Paperback. Num Pages: 720 pages, black & white illustrations, colour illustrations, figures. BIC Classification: UMK; UML; UMX. Category: (U) Tertiary Education (US: College). Dimension: 205 x 253 x 20. Weight in Grams: 998.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Pearson Education (US) United States
- Edition
- 2nd Edition
- Number of pages
- 720
- Condition
- New
- SKU
- V9780133128079
- ISBN
- 9780133128079
Paperback
Condition: New
€ 233.73
€ 233.73
Paperback. Num Pages: 960 pages. BIC Classification: UMN; UMX. Category: (U) Tertiary Education (US: College). Dimension: 229 x 189 x 30. Weight in Grams: 1228.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Pearson Education (US) United States
- Edition
- 1st Edition
- Number of pages
- 960
- Condition
- New
- SKU
- V9780133454840
- ISBN
- 9780133454840
Paperback
Condition: New
€ 276.04
€ 276.04