Computer science
Results 13081 - 13104 of 16992
Computer science
Paperback. Editor(s): Koutny, Maciej; Ulidowski, Irek. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 596 pages, 84 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783642329395
- ISBN
- 9783642329395
Paperback
Condition: New
€ 67.13
€ 67.13
Paperback. Constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. Editor(s): Katoen, Joost-Pieter; Konig, Barbara. Series: Lecture Notes in Computer Science. Num Pages: 560 pages, 104 black & white illustrations, 17 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 862.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 560
- Condition
- New
- SKU
- V9783642232169
- ISBN
- 9783642232169
Paperback
Condition: New
€ 67.88
€ 67.88
Paperback. Constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2010, held in Paris, France, August 31 - September 3, 2010. Series: Lecture Notes in Computer Science. Num Pages: 613 pages, 134 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 33. Weight in Grams: 916.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783642153747
- ISBN
- 9783642153747
Paperback
Condition: New
€ 127.50
€ 127.50
Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 651 pages, biography. BIC Classification: UMB; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 930.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 651
- Condition
- New
- SKU
- V9783642040801
- ISBN
- 9783642040801
Paperback
Condition: New
€ 125.17
€ 125.17
Paperback. Constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008. This title includes topics such as model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, and formal languages. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 537 pages, biography. BIC Classification: UKN; UMB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 819.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540853602
- ISBN
- 9783540853602
Paperback
Condition: New
€ 66.21
€ 66.21
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. This title presents 30 revised full papers together with 3 invited papers that were reviewed and selected from 112 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 523 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 523
- Condition
- New
- SKU
- V9783540744061
- ISBN
- 9783540744061
Paperback
Condition: New
€ 66.10
€ 66.10
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. This book contains papers that are organized in topical sections on model checking, process calculi, minimization and equivalence checking, types, semantics and probability. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 528 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 528
- Condition
- New
- SKU
- V9783540373766
- ISBN
- 9783540373766
Paperback
Condition: New
€ 123.88
€ 123.88
Paperback. Constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, real-time systems, verification techniques, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 1304 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 30. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 1304
- Condition
- New
- SKU
- V9783540283096
- ISBN
- 9783540283096
Paperback
Condition: New
€ 72.57
€ 72.57
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 534 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 160 x 236 x 33. Weight in Grams: 822.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 534
- Condition
- New
- SKU
- V9783540229407
- ISBN
- 9783540229407
Paperback
Condition: New
€ 71.62
€ 71.62
Paperback. These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. Editor(s): Brim, Lubos; Jancar, Petr; Kretinsky, Mojmir; Kucera, Antonin. Series: Lecture Notes in Computer Science. Num Pages: 609 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 32. Weight in Grams: 868.
- Format
- Paperback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 609
- Condition
- New
- SKU
- V9783540440437
- ISBN
- 9783540440437
Paperback
Condition: New
€ 130.98
€ 130.98
paperback. Series: Lecture Notes in Computer Science. Num Pages: 524 pages, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 754.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2003rd Edition
- Number of pages
- 524
- Condition
- New
- SKU
- V9783540407539
- ISBN
- 9783540407539
Paperback
Condition: New
€ 71.50
€ 71.50
Paperback. This text constitutes the proceedings of the 12th International Conference on Concurrency Theory, 2001 and contains 32 revised papers and six invited contributions organized in topical sections on mobility, games, probabilistic systems, model checking, unfolding and prefixes and process algebra. Editor(s): Larsen, Kim G.; Nielsen, Mogens. Series: Lecture Notes in Computer Science. Num Pages: 600 pages, biography. BIC Classification: 3JM; PBF; UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 830.
- Format
- Paperback
- Publication date
- 2001
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 600
- Condition
- New
- SKU
- V9783540424970
- ISBN
- 9783540424970
Paperback
Condition: New
€ 72.57
€ 72.57
paperback. This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical understanding of their behaviour is examined in detail. Topics include process algebra, true concurrency, verification case studies and more. Editor(s): Cleaveland, Walter R. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 30. Weight in Grams: 1820.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1992nd Edition
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540558224
- ISBN
- 9783540558224
Paperback
Condition: New
€ 131.19
€ 131.19
Hardback. Concrete Semantics Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 631.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 311
- Condition
- New
- SKU
- V9783319105413
- ISBN
- 9783319105413
Hardback
Condition: New
€ 96.92
€ 96.92
Paperback. Num Pages: 311 pages, 86 black & white illustrations, 1 colour illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- Softcover reprint of the original 1st ed. 2014
- Number of pages
- 311
- Condition
- New
- SKU
- V9783319357591
- ISBN
- 9783319357591
Paperback
Condition: New
€ 63.91
€ 63.91
Hardcover. Introduces the mathematics that supports advanced computer programming and the analysis of algorithms. This book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems. It is useful for computer scientists and also for users of mathematics in various disciplines. Num Pages: 672 pages. BIC Classification: PB; UYA. Category: (U) Tertiary Education (US: College). Dimension: 241 x 192 x 37. Weight in Grams: 1311.
- Publisher
- Pearson Education (US) United States
- Number of pages
- 672
- Format
- Hardback
- Publication date
- 1994
- Edition
- 2nd Edition
- Condition
- New
- SKU
- V9780201558029
- ISBN
- 9780201558029
Hardback
Condition: New
€ 92.05
€ 92.05
Hardback. .
- Publisher
- Springer International Publishing AG
- Format
- Hardback
- Publication date
- 2016
- Edition
- 1st ed. 2016
- Condition
- New
- SKU
- V9783319299525
- ISBN
- 9783319299525
Hardback
Condition: New
€ 59.36
€ 59.36
Hardback. Combining lucid description and illustrations with rigorous arguments and detailed proofs, this book examines the core concepts of automata and languages, computability, and complexity of computation, and offers a solid foundation in computation theory. Num Pages: 281 pages, biography. BIC Classification: PBCD; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 157 x 22. Weight in Grams: 630.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 281
- Condition
- New
- SKU
- V9780857295347
- ISBN
- 9780857295347
Hardback
Condition: New
€ 65.32
€ 65.32
Paperback. Combining lucid description and illustrations with rigorous arguments and detailed proofs, this book examines the core concepts of automata and languages, computability, and complexity of computation, and offers a solid foundation in computation theory. Num Pages: 298 pages, biography. BIC Classification: PDE; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 462.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer London Ltd United Kingdom
- Number of pages
- 298
- Condition
- New
- SKU
- V9781447158165
- ISBN
- 9781447158165
Paperback
Condition: New
€ 63.83
€ 63.83
Paperback. Concise Encyclopaedia of Bioinformatics and Computational Biology, 2nd Edition is a fully revised and updated version of this acclaimed resource. Editor(s): Hancock, John M.; Zvelebil, Marketa J. Num Pages: 822 pages. BIC Classification: GBC; PBW; PS; UY. Category: (P) Professional & Vocational. Dimension: 246 x 191 x 34. Weight in Grams: 1560.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- John Wiley and Sons Ltd United Kingdom
- Edition
- 2nd Edition
- Number of pages
- 824
- Condition
- New
- SKU
- V9780470978719
- ISBN
- 9780470978719
Paperback
Condition: New
€ 99.66
€ 99.66
Concise Encyclopaedia of Bioinformatics and Computational Biology
. Ed(S): Hancock, John M.; Zvelebil, Marketa ...
Hardback. Concise Encyclopaedia of Bioinformatics and Computational Biology, 2nd Edition is a fully revised and updated version of this acclaimed resource. Editor(s): Hancock, John M.; Zvelebil, Marketa J. Num Pages: 822 pages, Illustrations. BIC Classification: GBC; PBW; PS; UY. Category: (P) Professional & Vocational. Dimension: 256 x 197 x 37. Weight in Grams: 1720.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2 Rev ed
- Number of pages
- 822
- Condition
- New
- SKU
- V9780470978726
- ISBN
- 9780470978726
Hardback
Condition: New
€ 185.19
€ 185.19
Paperback. Concise Computer Vision Series: Undergraduate Topics in Computer Science. Num Pages: 429 pages, 69 black & white illustrations, 229 colour illustrations, 4 black & white tables, biograp. BIC Classification: UMA; UYQV; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 792.
- Publisher
- Springer London Ltd
- Format
- Paperback
- Publication date
- 2014
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9781447163190
- ISBN
- 9781447163190
Paperback
Condition: New
€ 70.57
€ 70.57
Paperback. Series: SpringerBriefs in Computer Science. Num Pages: 121 pages, 17 black & white illustrations, 1 black & white tables, biography. BIC Classification: PBD; PBF; PBH; PBV; PBWH; UYA. Category: (P) Professional & Vocational. Dimension: 155 x 240 x 8. Weight in Grams: 208.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 121
- Condition
- New
- SKU
- V9783319017501
- ISBN
- 9783319017501
Paperback
Condition: New
€ 80.04
€ 80.04
Conceptual Structures for STEM Research and Education
. Ed(S): Pfeiffer, Heather D.; Ignatov, Dmitr...
Paperback. Editor(s): Pfeiffer, Heather D.; Ignatov, Dmitry I.; Poelmans, Jonas; Nagarjuna, G. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 344 pages, 109 black & white illustrations, biography. BIC Classification: PBD; UNH; UYQ; UYQP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 489.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 344
- Condition
- New
- SKU
- V9783642357855
- ISBN
- 9783642357855
Paperback
Condition: New
€ 64.79
€ 64.79