.png){kind=logo}
Computer programming / software development
Results 5329 - 5352 of 8428
Computer programming / software development
Foundations of Software Technology and Theoretical Computer Science
Rudrapatna K. . Ed(S): Shyamasundar
Paperback. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory. Editor(s): Shyamasundar, Rudrapatna K. Series: Lecture Notes in Computer Science. Num Pages: 938 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 1993
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 938
- Condition
- New
- SKU
- V9783540575290
- ISBN
- 9783540575290
Paperback
Condition: New
€ 73.64
€ 73.64
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. Constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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): Birkedal, Lars. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 501 pages, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 705.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 501
- Condition
- New
- SKU
- V9783642287282
- ISBN
- 9783642287282
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 2011, held in Saarbrucken, Germany, March 26 - April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. Editor(s): Hofmann, Martin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 488 pages, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 689.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 488
- Condition
- New
- SKU
- V9783642198045
- ISBN
- 9783642198045
Paperback
Condition: New
€ 68.86
€ 68.86
Paperback. Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 404 pages, 47 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 623.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 404
- Condition
- New
- SKU
- V9783642120312
- ISBN
- 9783642120312
Paperback
Condition: New
€ 68.08
€ 68.08
Paperback. Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 486 pages, biography. BIC Classification: UMB; UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 741.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 486
- Condition
- New
- SKU
- V9783642005954
- ISBN
- 9783642005954
Paperback
Condition: New
€ 68.84
€ 68.84
Paperback. Deals with topics that include algebraic models, automata and language theory, behavioral equivalences, categorical models, and computation processes over discrete and continuous data. This book also covers infinite state systems computation structures, and logics of programs, modal, spatial, and temporal logics. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 395 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 559.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 395
- Condition
- New
- SKU
- V9783540713883
- ISBN
- 9783540713883
Paperback
Condition: New
€ 72.10
€ 72.10
Paperback. These refereed proceedings of the 6th International Conference on Foundations of Software Science and Computation Structures, include: algebraic models; automata and language theory; behavioral equivalences; categorical models; and computation processes over discrete and continuous data. Editor(s): Gordon, Andrew D. Series: Lecture Notes in Computer Science. Num Pages: 440 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 23. Weight in Grams: 640.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540008972
- ISBN
- 9783540008972
Paperback
Condition: New
€ 73.28
€ 73.28
Foundations of Software Science and Computation Structures
. Ed(S): Esparza, Javier; Murawski, Andrzej S...
Paperback. Editor(s): Esparza, Javier; Murawski, Andrzej S. Series: Lecture Notes in Computer Science. Num Pages: 568 pages, 59 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2017
- Number of pages
- 568
- Condition
- New
- SKU
- V9783662544570
- ISBN
- 9783662544570
Paperback
Condition: New
€ 69.31
€ 69.31
Foundations of Software Science and Computation Structures
. Ed(S): Jacobs, Bart (Radboud Universiteit N...
Paperback. Editor(s): Jacobs, Bart (Radboud Universiteit Nijmegen); Loding, Christof. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, 78 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 29. Weight in Grams: 854.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 561
- Condition
- New
- SKU
- V9783662496299
- ISBN
- 9783662496299
Paperback
Condition: New
€ 69.10
€ 69.10
Paperback. Editor(s): Pitts, Andrew M. Series: Lecture Notes in Computer Science. Num Pages: 481 pages, 92 black & white illustrations, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 735.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 481
- Condition
- New
- SKU
- V9783662466773
- ISBN
- 9783662466773
Paperback
Condition: New
€ 68.37
€ 68.37
Paperback. Editor(s): Muscholl, Anca. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 473 pages, 48 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 724.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 473
- Condition
- New
- SKU
- V9783642548291
- ISBN
- 9783642548291
Paperback
Condition: New
€ 68.32
€ 68.32
paperback. Editor(s): Pfenning, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 475 pages, 51 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 475
- Condition
- New
- SKU
- V9783642370748
- ISBN
- 9783642370748
Paperback
Condition: New
€ 68.74
€ 68.74
Paperback. Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures held in France in 2002. The 28 full papers cover algebraic, logical and geometric theories and methods supporting the analysis and transformation of programs and software systems. Editor(s): Nielsen, Mogens; Engberg, Uffe. Series: Lecture Notes in Computer Science. Num Pages: 443 pages, biography. BIC Classification: UMZ; UYA; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 443
- Condition
- New
- SKU
- V9783540433668
- ISBN
- 9783540433668
Paperback
Condition: New
€ 73.21
€ 73.21
Paperback. Software science topics covered in this text include algebraic, categorical, logical and geometric theories. Also discussed are synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems. Editor(s): Honsell, Furio; Miculan, Marino. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 603.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540418641
- ISBN
- 9783540418641
Paperback
Condition: New
€ 72.73
€ 72.73
Paperback. This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 462 pages, biography. BIC Classification: UM; UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 1440.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 462
- Condition
- New
- SKU
- V9783540330455
- ISBN
- 9783540330455
Paperback
Condition: New
€ 73.45
€ 73.45
Paperback. The FOSAD symposia are a vital means of disseminating cutting-edge developments in computer network security. This collection features revised versions of nine lectures given at FOSAD tutorials by some of the world's leading researchers in the field. Editor(s): Aldini, Alessandro; Gorrieri, Roberto. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 275 pages, 58 black & white illustrations, 33 colour illustrations, biography. BIC Classification: UKN; UMX; URY; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 439.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 275
- Condition
- New
- SKU
- V9783642230813
- ISBN
- 9783642230813
Paperback
Condition: New
€ 66.95
€ 66.95
Hardcover. This book reviews the basics of rule learning as applied to classical machine learning and modern data mining. It connects attribute-value learning with inductive logic programming, and offers complete coverage of most important elements of rule learning. Series: Cognitive Technologies. Num Pages: 334 pages, biography. BIC Classification: UMB; UNF; UYAM; UYQM; UYQP. Category: (P) Professional & Vocational. Dimension: 240 x 161 x 24. Weight in Grams: 666.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 345
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2012th Edition
- Condition
- New
- SKU
- V9783540751960
- ISBN
- 9783540751960
Hardback
Condition: New
€ 101.73
€ 101.73
Foundations of Real-Time Computing: Scheduling and Resource Management
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
Paperback. Editor(s): Van Tilborg, Andre M.; Koob, Gary M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 326 pages, biography. BIC Classification: UL; UMX; UMZ; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9781461367666
- ISBN
- 9781461367666
Paperback
Condition: New
€ 194.49
€ 194.49
Foundations of Real-Time Computing: Formal Specifications and Methods
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
Paperback. Editor(s): Van Tilborg, Andre M.; Koob, Gary M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UL; UMX; UMZ; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9781461367963
- ISBN
- 9781461367963
Paperback
Condition: New
€ 194.50
€ 194.50
Foundations of Python Network Programming: The Comprehensive Guide to ...
Goerzen, John; Bower, Tim; Rhodes, Brandon
Paperback. This updated second edition covers WSGI, FastCGI, and asynchronous communication and explains multitasking network servers using several models. Extensive examples demonstrate important concepts and practices, offering fully-functioning stand alone programs. Num Pages: 388 pages, biography. BIC Classification: UMW. Category: (P) Professional & Vocational. Dimension: 235 x 190 x 24. Weight in Grams: 644.
- Publisher
- APress United States
- Number of pages
- 388
- Format
- Paperback
- Publication date
- 2010
- Edition
- 2 Rev ed
- Condition
- New
- SKU
- V9781430230038
- ISBN
- 9781430230038
Paperback
Condition: New
€ 66.22
€ 66.22
Paperback. Num Pages: 388 pages, 11 black & white illustrations, biography. BIC Classification: UMW. Category: (G) General (US: Trade). Dimension: 242 x 193 x 22. Weight in Grams: 712.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Format
- Paperback
- Publication date
- 2014
- Edition
- 3rd ed. 2014
- Condition
- New
- SKU
- V9781430258544
- ISBN
- 9781430258544
Paperback
Condition: New
€ 67.07€ 59.73
€ 67.07
€ 59.73
Paperback. This book introduces readers to Popfly and shows them everything they need to start creating hybrid web applications without the need to know any code. It allows anybody to quickly and easily create fun and useful mashup applications. Series: Foundations. Num Pages: 194 pages, biography. BIC Classification: UGB; UM. Category: (G) General (US: Trade). Dimension: 229 x 176 x 14. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 191
- Condition
- New
- SKU
- V9781590599518
- ISBN
- 9781590599518
Paperback
Condition: New
€ 37.99€ 32.24
€ 37.99
€ 32.24
Paperback. Num Pages: 394 pages, biography. BIC Classification: UM. Category: (G) General (US: Trade). Dimension: 235 x 190 x 22. Weight in Grams: 662.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- APress United States
- Number of pages
- 394
- Condition
- New
- SKU
- V9781590595404
- ISBN
- 9781590595404
Paperback
Condition: New
€ 48.99€ 41.21
€ 48.99
€ 41.21