Computer science
Results 9073 - 9096 of 16990
Computer science
Paperback. Constitutes the proceedings of the Second International Colloquium on Theoretical Aspects of Computing. The papers in this book include topics on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, and object-orientation and component systems. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 632 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 32. Weight in Grams: 1940.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 632
- Condition
- New
- SKU
- V9783540291077
- ISBN
- 9783540291077
Paperback
Condition: New
€ 136.71
€ 136.71
Paperback / so. Series: Wirtschaftsinformatik. Num Pages: black & white illustrations, bibliography. BIC Classification: KJMV5; UY. Category: (G) General (US: Trade). Dimension: 210 x 148 x 10. Weight in Grams: 222.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Deutscher Universitatsverlag United States
- Condition
- New
- SKU
- V9783824421800
- ISBN
- 9783824421800
Paperback
Condition: New
€ 67.68
€ 67.68
Hardback. Editor(s): Cermak-Sassenrath, Daniel. Series: Gaming Media and Social Effects. Num Pages: 200 pages, 20 colour illustrations, biography. BIC Classification: JFD; UD; UYQ; UYZ. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer Verlag, Singapore Singapore
- Number of pages
- 200
- Condition
- New
- SKU
- V9789811018893
- ISBN
- 9789811018893
Hardback
Condition: New
€ 123.11
€ 123.11
hardcover. Editor(s): Filippini, Daniel. Series: Springer Series on Chemical Sensors and Biosensors. Num Pages: 438 pages, biography. BIC Classification: PDDM; PSB; TC; TDC; TTBM; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 818.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2013th Edition
- Number of pages
- 438
- Condition
- New
- SKU
- V9783642346477
- ISBN
- 9783642346477
Hardback
Condition: New
€ 357.58
€ 357.58
Paperback. Editor(s): Filippini, Daniel. Series: Springer Series on Chemical Sensors and Biosensors. Num Pages: 438 pages, biography. BIC Classification: PDDM; PSB; TC; TDC; TTBM; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 670.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 438
- Condition
- New
- SKU
- V9783642444784
- ISBN
- 9783642444784
Paperback
Condition: New
€ 354.36
€ 354.36
Paperback. Brings a pragmatic perspective to the discussion of the unity of science. This book contributes to our understanding of the dynamic process by presenting and discussing the important hypotheses, issues and theories in philosophical and logical study of language, thought and action. It is aimed at graduate students and researchers. Editor(s): Vanderveken, Daniel. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 562 pages, biography. BIC Classification: CF; HPL; J; PB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 962.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 562
- Condition
- New
- SKU
- V9781402026164
- ISBN
- 9781402026164
Paperback
Condition: New
€ 249.61
€ 249.61
Paperback. Editor(s): Vanderveken, Daniel. Series: Logic, Epistemology, and the Unity of Science. Num Pages: 562 pages, biography. BIC Classification: CF; HPL; J; PB; UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 29. Weight in Grams: 1462.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2005
- Number of pages
- 562
- Condition
- New
- SKU
- V9789048166886
- ISBN
- 9789048166886
Paperback
Condition: New
€ 442.88
€ 442.88
Paperback. Editor(s): Varro, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 219 pages, 81 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 219
- Condition
- New
- SKU
- V9783319087887
- ISBN
- 9783319087887
Paperback
Condition: New
€ 63.39
€ 63.39
Paperback. Series: Applied Mathematical Sciences. Num Pages: 774 pages, 36 black & white illustrations, 5 colour illustrations, biography. BIC Classification: PDE; PHDF; PHU; TDC; TGMD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 43. Weight in Grams: 1175.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 774
- Condition
- New
- SKU
- V9781461287858
- ISBN
- 9781461287858
Paperback
Condition: New
€ 116.32
€ 116.32
Paperback. .
- Publisher
- Apress
- Format
- Paperback
- Publication date
- 2017
- Edition
- 1st ed.
- Condition
- New
- SKU
- V9781484226032
- ISBN
- 9781484226032
Paperback
Condition: New
€ 34.99€ 34.60
€ 34.99
€ 34.60
Paperback. Optimizing Hospital-wide Patient Scheduling Series: Lecture Notes in Economics and Mathematical Systems. Num Pages: 119 pages, 22 black & white illustrations, biography. BIC Classification: KJT; MBP; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 7. Weight in Grams: 221.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 119
- Condition
- New
- SKU
- V9783319040653
- ISBN
- 9783319040653
Paperback
Condition: New
€ 74.88
€ 74.88
Hardcover. This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 322 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 165 x 24. Weight in Grams: 632.
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 320
- Format
- Hardback
- Publication date
- 2008
- Edition
- 2008th Edition
- Condition
- New
- SKU
- V9783540741046
- ISBN
- 9783540741046
Hardback
Condition: New
€ 85.72
€ 85.72
Paperback / so. Series: Bestmasters. Num Pages: black & white illustrations, bibliography. BIC Classification: UYQV. Category: (G) General (US: Trade). Dimension: 210 x 148 x 7. Weight in Grams: 150.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Vieweg United States
- Condition
- New
- SKU
- V9783658107376
- ISBN
- 9783658107376
Paperback
Condition: New
€ 58.70
€ 58.70
Hardback. The book explores practical advantages of Grid Computing and what is needed by an organization to migrate to this new computing paradigm. Num Pages: 400 pages, Illustrations. BIC Classification: TJ; UY. Category: (P) Professional & Vocational. Dimension: 239 x 162 x 22. Weight in Grams: 652.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 400
- Condition
- New
- SKU
- V9780471687566
- ISBN
- 9780471687566
Hardback
Condition: New
€ 163.16
€ 163.16
Paperback. This book helps scientists and researchers to gain a basic understanding of microarray analysis methodologies and tools. It is designed to be used by the practicing professional tasked with the design and analysis of microarray experiments or as a course text. Editor(s): Berrar, Daniel P.; Dubitzky, Werner; Granzow, Martin. Num Pages: 384 pages, biography. BIC Classification: PSAJ; PSB; PSD; UMB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 590.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 384
- Condition
- New
- Edition
- 2009th Edition
- SKU
- V9781441912268
- ISBN
- 9781441912268
Paperback
Condition: New
€ 65.03
€ 65.03
paperback. This book is mandatory reading for the rapidly growing RoboCup community as well as a valuable source of reference and inspiration for R&D professionals interested in robotics, distributed artificial intelligence, and multi-agent systems. Series: Lecture Notes in Computer Science. Num Pages: 786 pages, biography. BIC Classification: UYQ. Category: (G) General (US: Trade); (U) Tertiary Education (US: College). Dimension: 234 x 156 x 39. Weight in Grams: 1084.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer Germany
- Edition
- 2004th Edition
- Number of pages
- 786
- Condition
- New
- SKU
- V9783540224433
- ISBN
- 9783540224433
Paperback
Condition: New
€ 125.77
€ 125.77
Paperback. Constitutes the refereed proceedings of the Third European Conference on Smart Sensing and Context, EuroSSC 2008, held in Zurich, Switzerland, October 29-31, 2008. This title includes papers that are organized in topical sections on smart objects, spatial and human context inference, and context processing and quality of context. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 259 pages, biography. BIC Classification: UKN; UKR; UNF; UT; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 259
- Condition
- New
- SKU
- V9783540887928
- ISBN
- 9783540887928
Paperback
Condition: New
€ 63.90
€ 63.90
Paperback / so. Series: Springers Angewandte Informatik. Num Pages: 220 pages, black & white illustrations, bibliography. BIC Classification: UMX; UMZ; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 13. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer Verlag GmbH Austria
- Number of pages
- 220
- Condition
- New
- SKU
- V9783211825785
- ISBN
- 9783211825785
Paperback
Condition: New
€ 69.12
€ 69.12
Paperback / so. Series: Springer-Lehrbuch. Num Pages: colour illustrations, bibliography. BIC Classification: PBC; PBF; PBW; PHU; UY. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 249.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642451300
- ISBN
- 9783642451300
Paperback
Condition: New
€ 36.73
€ 36.73
Paperback. Outlines fire performance objectives and related criteria for VID systems. This book also indentifies conceptual characteristic fire, smoke and nuisance scenarios within a series of selected environments, and examines related performance and installation issues as well. Series: SpringerBriefs in Fire. Num Pages: 62 pages, 10 black & white illustrations, biography. BIC Classification: TTBM; UYQP; UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 3. Weight in Grams: 117.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 62
- Condition
- New
- SKU
- V9781461442011
- ISBN
- 9781461442011
Paperback
Condition: New
€ 47.97
€ 47.97
Paperback.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 587
- Condition
- New
- SKU
- V9781590599662
- ISBN
- 9781590599662
Paperback
Condition: New
€ 51.99€ 45.89
€ 51.99
€ 45.89
Paperback. Suitable for undergraduate students of computer science and mathematics, this title gives a proof of Godel's completeness theorem and its main consequences using Robinson's completeness theorem and Godel's compactness theorem for propositional logic. Series: Unitext / La Matematica Per Il 3+2. Num Pages: 141 pages, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 6. Weight in Grams: 266.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Verlag Italy
- Edition
- 2012
- Number of pages
- 141
- Condition
- New
- SKU
- V9788847023604
- ISBN
- 9788847023604
Paperback
Condition: New
€ 63.78
€ 63.78
Hardback. This edited volume is the first of its kind and provides a representative sample of contemporary computational intelligence (CI) activities in the area of automotive technology. All chapters contain overviews of the state-of-the-art. Editor(s): Prokhorov, Danil. Series: Studies in Computational Intelligence. Num Pages: 365 pages, 48 black & white tables, biography. BIC Classification: TRC; UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 165 x 27. Weight in Grams: 826.
- Format
- Hardback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. 2008. Corr. 2nd printing 2009
- Number of pages
- 365
- Condition
- New
- SKU
- V9783540792567
- ISBN
- 9783540792567
Hardback
Condition: New
€ 188.04
€ 188.04
Paperback. This edited volume is the first of its kind and provides a representative sample of contemporary computational intelligence (CI) activities in the area of automotive technology. All chapters contain overviews of the state-of-the-art. Editor(s): Prokhorov, Danil. Series: Studies in Computational Intelligence. Num Pages: 380 pages, 48 black & white tables, biography. BIC Classification: TBJ; TRC; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 380
- Condition
- New
- SKU
- V9783642424250
- ISBN
- 9783642424250
Paperback
Condition: New
€ 185.78
€ 185.78