Computer science
Results 6361 - 6384 of 16996
Computer science
Paperback. Editor(s): Bull, Larry; Kovacs, Tim. Series: Studies in Fuzziness and Soft Computing. Num Pages: 336 pages, 10 black & white tables, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 336
- Condition
- New
- SKU
- V9783642064135
- ISBN
- 9783642064135
Paperback
Condition: New
€ 185.03
€ 185.03
Paperback. Series: Symbolic computation/Artificial Intelligence. Num Pages: 212 pages, biography. BIC Classification: UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 401.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 1987. Softcover reprint of the original 2
- Number of pages
- 212
- Condition
- New
- SKU
- V9783642831911
- ISBN
- 9783642831911
Paperback
Condition: New
€ 142.65
€ 142.65
Paperback.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 370
- Condition
- New
- SKU
- V9781590598054
- ISBN
- 9781590598054
Paperback
Condition: New
€ 41.99€ 36.31
€ 41.99
€ 36.31
Hardback. Represents a comprehensive survey of the field of rational agency. This work covers the philosophical foundations of rational agency, logical and decision-theoretic approaches to rational agency, multi-agent aspects of rational agency, and describes a number of approaches to programming rational agents. Editor(s): Wooldridge, Mike; Rao, Anand. Series: Applied Logic Series. Num Pages: 302 pages, biography. BIC Classification: HPL; UYQE. Category: (P) Professional & Vocational. Dimension: 254 x 178 x 19. Weight in Grams: 759.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 302
- Condition
- New
- SKU
- V9780792356011
- ISBN
- 9780792356011
Hardback
Condition: New
€ 194.58
€ 194.58
Paperback. Editor(s): Wooldridge, Michael; Rao, A. Series: Applied Logic Series. Num Pages: 302 pages, biography. BIC Classification: HPL; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 596.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 1999
- Number of pages
- 302
- Condition
- New
- SKU
- V9789048151776
- ISBN
- 9789048151776
Paperback
Condition: New
€ 185.83
€ 185.83
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
€ 184.91
€ 184.91
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
€ 184.99
€ 184.99
Hardback. This book draws on papers presented at the 2008 Conference on Information Processing and Management of Uncertainty (IPMU), held in Malaga, Spain. The conference brought together some of the world's leading experts in the study of uncertainty. Editor(s): Bouchon-Meunier, Bernadette; Magdalena, Luis; Ojeda-Aciego, Manuel; Verdegay, Jose-Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 265 pages, 41 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1260.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642107269
- ISBN
- 9783642107269
Hardback
Condition: New
€ 190.04
€ 190.04
Paperback. This book draws on papers presented at the 2008 Conference on Information Processing and Management of Uncertainty (IPMU), held in Malaga, Spain. The conference brought together some of the world's leading experts in the study of uncertainty. Editor(s): Bouchon-Meunier, Bernadette; Magdalena, Luis; Ojeda-Aciego, Manuel; Verdegay, Jose-Luis; Yager, Ronald R. Series: Studies in Fuzziness and Soft Computing. Num Pages: 265 pages, 41 black & white tables, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Previously published in hardcover
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642262357
- ISBN
- 9783642262357
Paperback
Condition: New
€ 186.09
€ 186.09
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
€ 97.42
€ 97.42
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
€ 63.90
€ 63.90
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
€ 70.11
€ 70.11
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
€ 69.87
€ 69.87
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
€ 65.49
€ 65.49
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
€ 65.29
€ 65.29
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
€ 66.02
€ 66.02
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
€ 66.22
€ 66.22
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
€ 69.94
€ 69.94
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
€ 69.20
€ 69.20
Paperback. This book contains the proceedings of the 11th International Conference on Foundations of Software Science and Computational Structures. It covers theories and methods to support analysis, synthesis, transformation and verification of software systems. Editor(s): Amadio, Roberto. Series: Lecture Notes in Computer Science. Num Pages: 523 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 523
- Condition
- New
- SKU
- V9783540784975
- ISBN
- 9783540784975
Paperback
Condition: New
€ 66.10
€ 66.10
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
€ 65.70
€ 65.70
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
€ 66.18
€ 66.18
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
€ 71.39
€ 71.39
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
€ 70.24
€ 70.24