Computer programming / software development
Results 6021 - 6040 of 6464
Computer programming / software development
Paperback. Series: Symbolic Computation / Computer Graphics - Systems and Applications. Num Pages: 298 pages, biography. BIC Classification: UGC; UML; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 16. Weight in Grams: 540.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1987
- Number of pages
- 298
- Condition
- New
- SKU
- V9783642824319
- ISBN
- 9783642824319
Paperback
Condition: New
€ 122.47
€ 122.47
Paperback. This text considers the notions of relations, as found in logic programming or in relational databases, and of functions, as found in functional programming or in equational languages. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 188 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 10. Weight in Grams: 272.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540666448
- ISBN
- 9783540666448
Paperback
Condition: New
€ 63.27
€ 63.27
Paperback. "Tika in Action" is a hands-on guide for developers working with search engines, content management systems, and other similar applications who want to exploit the information locked in digital documents. It introduces the world of mining text and binary documents as well as other information sources. Num Pages: 255 pages, Illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 189 x 14. Weight in Grams: 448.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Manning Publications United States
- Edition
- Pap/Psc
- Number of pages
- 229
- Condition
- New
- SKU
- V9781935182856
- ISBN
- 9781935182856
Paperback
Condition: New
€ 52.24
€ 52.24
Paperback. This book deals with time-dependent Petri nets, introducing three basic classes as a presentation for the possibilities of including time to a standard Petri net. The book offers many examples and exercises and benefits both researchers and graduate students. Num Pages: 220 pages, 54 black & white illustrations, 6 colour illustrations, biography. BIC Classification: PSA; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2013
- Number of pages
- 220
- Condition
- New
- SKU
- V9783662514351
- ISBN
- 9783662514351
Paperback
Condition: New
€ 64.09
€ 64.09
Paperback. Time Is Money not only shows developers how to create a business case that they can present to a non-technical audience, but also helps executives understand the ROI of investing in faster web performance. Num Pages: 100 pages. BIC Classification: KJQ; UFP; UGB; UMW. Category: (P) Professional & Vocational. Dimension: 250 x 150 x 15. Weight in Grams: 666.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- O´Reilly Media
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781491928745
- ISBN
- 9781491928745
Paperback
Condition: New
€ 22.10
€ 22.10
Hardback. This book provides a comprehensive study of complexity results and optimal and suboptimal algorithms concerning time-dependent scheduling in single-, parallel- and dedicated-machine environments. This is the first monograph on time-dependent scheduling. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 396 pages, 26 black & white illustrations, 48 black & white tables, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 760.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 396
- Condition
- New
- SKU
- V9783540694458
- ISBN
- 9783540694458
Hardback
Condition: New
€ 156.27
€ 156.27
Paperback. Num Pages: 169 pages, 61 black & white illustrations, 14 colour illustrations, 11 black & white tables, 2 colou. BIC Classification: TTBM; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 273.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2015
- Number of pages
- 169
- Condition
- New
- SKU
- V9783319380773
- ISBN
- 9783319380773
Paperback
Condition: New
€ 120.26
€ 120.26
Paperback. Offering something for everyone who uses Tomcat, this book covers all major platforms, including Windows, Solaris, Linux, and Mac OS X; contains details on Tomcat configuration files; and even has a quick-start guide to get developers up and running with Java servlets and JavaServer Pages. Num Pages: 496 pages, 1, black & white illustrations. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 231 x 181 x 28. Weight in Grams: 842.
- Publisher
- O'Reilly Media
- Number of pages
- 496
- Format
- Paperback
- Publication date
- 2007
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780596101060
- ISBN
- 9780596101060
Paperback
Condition: New
€ 42.99€ 41.15
€ 42.99
€ 41.15
Tool Support for System Specification, Development and Verification
Berghammer, Rudolf. Ed(S): Berghammer, Rudolf...
Paperback. This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies. Editor(s): Berghammer, Rudolf; Lakhnech, Y. Series: Advances in Computing Sciences. Num Pages: 241 pages, 53 black & white illustrations. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 13. Weight in Grams: 460.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 241
- Condition
- New
- SKU
- V9783211832820
- ISBN
- 9783211832820
Paperback
Condition: New
€ 63.99
€ 63.99
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Garavel, Hubert; Hatcliff, John
Paperback. Editor(s): Garavel, Hubert; Hatcliff, John. Series: Lecture Notes in Computer Science. Num Pages: 620 pages, biography. BIC Classification: UMZ; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 620
- Condition
- New
- SKU
- V9783540008989
- ISBN
- 9783540008989
Paperback
Condition: New
€ 130.98
€ 130.98
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 628 pages, biography. BIC Classification: UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 628
- Condition
- New
- SKU
- V9783540212997
- ISBN
- 9783540212997
Paperback
Condition: New
€ 130.98
€ 130.98
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Halbwachs, Nicolas; Zuck, Lenore D.
Paperback. Editor(s): Halbwachs, Nicolas; Zuck, Lenore D. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 590 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 590
- Condition
- New
- SKU
- V9783540253334
- ISBN
- 9783540253334
Paperback
Condition: New
€ 130.78
€ 130.78
Paperback. Constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 1610.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540330561
- ISBN
- 9783540330561
Paperback
Condition: New
€ 71.19
€ 71.19
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 760 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 38. Weight in Grams: 1052.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 760
- Condition
- New
- SKU
- V9783540712084
- ISBN
- 9783540712084
Paperback
Condition: New
€ 126.11
€ 126.11
Paperback. This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation. Series: Lecture Notes in Computer Science. Num Pages: 536 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 536
- Condition
- New
- SKU
- V9783540787990
- ISBN
- 9783540787990
Paperback
Condition: New
€ 66.09
€ 66.09
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
€ 65.62
€ 65.62
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Esparza, Javier; Majumdar, Rupak
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Editor(s): Esparza, Javier; Majumdar, Rupak. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 484 pages, 102 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 25. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 484
- Condition
- New
- SKU
- V9783642120015
- ISBN
- 9783642120015
Paperback
Condition: New
€ 65.70
€ 65.70
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Flanagan, Cormac; Konig, Barbara
Paperback. Constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. Editor(s): Flanagan, Cormac; Konig, Barbara. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 579 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 884.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 579
- Condition
- New
- SKU
- V9783642287558
- ISBN
- 9783642287558
Paperback
Condition: New
€ 66.61
€ 66.61
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Piterman, Nir; Smolka, Scott
Paperback. Editor(s): Piterman, Nir; Smolka, Scott. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 137 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642367410
- ISBN
- 9783642367410
Paperback
Condition: New
€ 67.85
€ 67.85
Tools and Algorithms for the Construction and Analysis of Systems
. Ed(S): Abraham, Erika; Havelund, Klaus
Paperback. Editor(s): Abraham, Erika; Havelund, Klaus. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 670 pages, 142 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1015.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 670
- Condition
- New
- SKU
- V9783642548611
- ISBN
- 9783642548611
Paperback
Condition: New
€ 67.52
€ 67.52