.png){kind=logo}
Computer programming / software development
Results 781 - 800 of 7836
Computer programming / software development
Paperback / so. Series: Produktion Und Logistik. Num Pages: 210 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV5; UMB. Category: (G) General (US: Trade). Dimension: 210 x 148 x 12. Weight in Grams: 281.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Deutscher Universitatsverlag United States
- Number of pages
- 210
- Condition
- New
- SKU
- V9783824467839
- ISBN
- 9783824467839
Paperback
Condition: New
€ 71.54
€ 71.54
Paperback. This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging. Series: Undergraduate Texts in Computer Science. Num Pages: 400 pages, biography. BIC Classification: UMB; UYZG. Category: (G) General (US: Trade). Dimension: 231 x 140 x 24. Weight in Grams: 636.
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 413
- Format
- Paperback
- Publication date
- 2012
- Edition
- Softcover reprint of the original 1st ed. 1997
- Condition
- New
- SKU
- V9781461273097
- ISBN
- 9781461273097
Paperback
Condition: New
€ 68.20
€ 68.20
Paperback. Offers a step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, this text features basic models of computation, formal languages and their properties; computability, decidability and complexity; and design of programming languages. Num Pages: 936 pages, 32 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 46. Weight in Grams: 1428.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 936
- Condition
- New
- SKU
- V9781852330743
- ISBN
- 9781852330743
Paperback
Condition: New
€ 134.37
€ 134.37
Paperback. Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a fresh method for deciding Monadic Second Order theories of trees. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 206 pages, 41 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 338.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 206
- Condition
- New
- SKU
- V9783642118807
- ISBN
- 9783642118807
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. The proceedings of the First International Workshop on Implementing Automata, WIA '96, held in Ontario in 1996. The 13 papers in this volume explore the use of software tools in formal language theory and various issues involved in the implementation of automata of all types. Editor(s): Yu, Sheng; Raymond, Darrell; Wood, Derick. Series: Lecture Notes in Computer Science. Num Pages: 192 pages, biography. BIC Classification: PBCD; UMX; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 650.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 192
- Condition
- New
- SKU
- V9783540631743
- ISBN
- 9783540631743
Paperback
Condition: New
€ 68.23
€ 68.23
Paperback. A two-volume set that constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zurich, Switzerland, in July 2011. Editor(s): Aceto, Luca; Henzinger, Monika; Sgall, Jiri. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 692 pages, biography. BIC Classification: UKN; UMB; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 961.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 692
- Condition
- New
- SKU
- V9783642220111
- ISBN
- 9783642220111
Paperback
Condition: New
€ 132.47
€ 132.47
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta Zofia; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 880 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1212.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 880
- Condition
- New
- SKU
- V9783642392054
- ISBN
- 9783642392054
Paperback
Condition: New
€ 72.70
€ 72.70
Paperback. Editor(s): Fomin, Fedor V.; Freivalds, Rusins; Kwiatkowska, Marta; Peleg, David. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 724 pages, 55 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1001.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 724
- Condition
- New
- SKU
- V9783642392115
- ISBN
- 9783642392115
Paperback
Condition: New
€ 71.21
€ 71.21
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1124 pages, 74 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 56. Weight in Grams: 1660.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1124
- Condition
- New
- SKU
- V9783662439470
- ISBN
- 9783662439470
Paperback
Condition: New
€ 74.15
€ 74.15
Paperback. Editor(s): Esparza, Javier; Fraigniaud, Pierre; Koutsoupias, Elias. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 654 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 654
- Condition
- New
- SKU
- V9783662439500
- ISBN
- 9783662439500
Paperback
Condition: New
€ 69.91
€ 69.91
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 756 pages, 65 black & white illustrations, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 1145.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 756
- Condition
- New
- SKU
- V9783662476659
- ISBN
- 9783662476659
Paperback
Condition: New
€ 70.85
€ 70.85
Paperback. Editor(s): Halldorsson, Magnus M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina. Series: Lecture Notes in Computer Science. Num Pages: 1142 pages, biography. BIC Classification: PBD; UKN; UMB; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 57. Weight in Grams: 1689.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1142
- Condition
- New
- SKU
- V9783662476710
- ISBN
- 9783662476710
Paperback
Condition: New
€ 135.08
€ 135.08
Paperback. This book gets you up to speed with Grunt using practical hands-on examples, so you can wrangle your projects with ease. You'll learn how to create and maintain tasks and project builds, and automate your workflow with plugins and custom tasks. Num Pages: 80 pages, black & white illustrations. BIC Classification: UMW. Category: (XV) Technical / Manuals. Dimension: 234 x 195 x 5. Weight in Grams: 170.
- Publisher
- The Pragmatic Programmers
- Format
- Paperback
- Publication date
- 2014
- Edition
- 1st Edition
- Condition
- New
- SKU
- V9781941222119
- ISBN
- 9781941222119
Paperback
Condition: New
€ 19.29
€ 19.29
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 518 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 789.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 518
- Condition
- New
- SKU
- V9783642029585
- ISBN
- 9783642029585
Paperback
Condition: New
€ 69.19
€ 69.19
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 501 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 501
- Condition
- New
- SKU
- V9789048150502
- ISBN
- 9789048150502
Paperback
Condition: New
€ 251.49
€ 251.49
Automated Deduction - A Basis for Applications Volume I Foundations - ...
. Ed(S): Bibel, Wolfgang; Schmitt, P. H.
Paperback. Editor(s): Bibel, Wolfgang; Schmitt, P. H. Series: Applied Logic Series. Num Pages: 434 pages, biography. BIC Classification: HPL; PBC; UMB; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 627.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1998
- Number of pages
- 434
- Condition
- New
- SKU
- V9789048150519
- ISBN
- 9789048150519
Paperback
Condition: New
€ 250.99
€ 250.99
Paperback. This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation. Editor(s): Ganzinger, Harald. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 452 pages, biography. BIC Classification: UM; UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 630.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 452
- Condition
- New
- SKU
- V9783540662228
- ISBN
- 9783540662228
Paperback
Condition: New
€ 73.16
€ 73.16
Paperback. Constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. This title presents 28 revised full papers and 7 system descriptions that are carefully reviewed and selected from 80 submissions. Editor(s): Bjorner, Nikolaj; Sofronie-Stokkermans, Viorica. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 521 pages, biography. BIC Classification: UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 732.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 521
- Condition
- New
- SKU
- V9783642224379
- ISBN
- 9783642224379
Paperback
Condition: New
€ 69.14
€ 69.14
Paperback. Editor(s): Bonacina, Maria Paola. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 482 pages, 95 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 482
- Condition
- New
- SKU
- V9783642385735
- ISBN
- 9783642385735
Paperback
Condition: New
€ 68.83
€ 68.83
paperback. Editor(s): Felty, Amy P.; Middeldorp, Aart. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UMB; UNH; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1009.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2015
- Number of pages
- 668
- Condition
- New
- SKU
- V9783319214009
- ISBN
- 9783319214009
Paperback
Condition: New
€ 70.06
€ 70.06