Computing
Results 13945 - 13968 of 31278
Computing
Paperback. Series: Operations Research/Computer Science Interfaces Series. Num Pages: 254 pages, biography. BIC Classification: KJT; PBU; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 416.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 254
- Condition
- New
- SKU
- V9781461285649
- ISBN
- 9781461285649
Paperback
Condition: New
€ 122.09
€ 122.09
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. 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): Marti-Oliet, Narciso; Olveczky, Peter Csaba; Talcott, Carolyn L. Series: Lecture Notes in Computer Science. Num Pages: 634 pages, 103 black & white illustrations, biography. BIC Classification: PBD; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 634
- Condition
- New
- SKU
- V9783319231648
- ISBN
- 9783319231648
Paperback
Condition: New
€ 67.32
€ 67.32
Paperback. Editor(s): Hoek, Wiebe van der; Holliday, Wesley; Wang, Wen-Fang. Series: Lecture Notes in Computer Science. Num Pages: 439 pages, 31 colour illustrations, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 439
- Condition
- New
- SKU
- V9783662485606
- ISBN
- 9783662485606
Paperback
Condition: New
€ 65.05
€ 65.05
Paperback. Editor(s): Grossi, Davide; Roy, Olivier; Huang, Huaxin. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 375 pages, 41 black & white illustrations, biography. BIC Classification: PBC; PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 375
- Condition
- New
- SKU
- V9783642409479
- ISBN
- 9783642409479
Paperback
Condition: New
€ 64.74
€ 64.74
Paperback. Constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. This title covers such topics as: semantic models for knowledge, for belief, and for uncertainty; logical analysis of the structure of games; and, belief revision, belief merging. Editor(s): Ditmarsch, Hans van; Lang, Jerome; Ju, Shier. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 414 pages, biography. BIC Classification: HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 635.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2011
- Number of pages
- 414
- Condition
- New
- SKU
- V9783642241291
- ISBN
- 9783642241291
Paperback
Condition: New
€ 65.44
€ 65.44
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 340 pages, biography. BIC Classification: PBC; PBD; UM; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 340
- Condition
- New
- SKU
- V9783642048920
- ISBN
- 9783642048920
Paperback
Condition: New
€ 64.23
€ 64.23
Paperback. Editor(s): Vaananen, Jouko; Hirvonen, Asa; Queiroz, Ruy de. Series: Lecture Notes in Computer Science. Num Pages: 469 pages, 32 black & white illustrations, biography. BIC Classification: PBCD; UMB; UYA; UYQM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 24. Weight in Grams: 718.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 469
- Condition
- New
- SKU
- V9783662529201
- ISBN
- 9783662529201
Paperback
Condition: New
€ 65.62
€ 65.62
Paperback. Editor(s): De Paiva, Valeria; Queiroz, Ruy de; Moss, Lawrence S.; Leivant, Daniel; Oliveira, Anjolina G. de. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 14 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 221
- Condition
- New
- SKU
- V9783662477083
- ISBN
- 9783662477083
Paperback
Condition: New
€ 53.43
€ 53.43
Paperback. Editor(s): Kohlenbach, Ulrich; Barcelo, Pablo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 257 pages, 17 black & white illustrations, biography. BIC Classification: UMB; UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 257
- Condition
- New
- SKU
- V9783662441442
- ISBN
- 9783662441442
Paperback
Condition: New
€ 63.23
€ 63.23
Paperback. Editor(s): Libkin, Leonid; Kohlenbach, Ulrich; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 293 pages, 15 black & white illustrations, biography. BIC Classification: UYA; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 293
- Condition
- New
- SKU
- V9783642399916
- ISBN
- 9783642399916
Paperback
Condition: New
€ 58.66
€ 58.66
Paperback. Constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. This title covers topics such as: various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, and partial order. Editor(s): Beklemishev, Lev D.; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 321 pages, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783642209192
- ISBN
- 9783642209192
Paperback
Condition: New
€ 64.13
€ 64.13
Paperback. Contains the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. This title includes 21 papers presented together with the abstracts of 7 tutorials and invited lectures that were reviewed and selected from numerous submissions. Editor(s): Hodges, Wilfrid; Queiroz, Ruy J. G. B. de. Series: Lecture Notes in Computer Science. Num Pages: 321 pages, biography. BIC Classification: HPL; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 20. Weight in Grams: 482.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 321
- Condition
- New
- SKU
- V9783540699361
- ISBN
- 9783540699361
Paperback
Condition: New
€ 112.88
€ 112.88
Paperback. Editor(s): Queiroz, Ruy de; Ong, Luke. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 349 pages, 49 black & white illustrations, biography. BIC Classification: PBD; UMB; UYA; UYAM; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2nd ed. 2012
- Number of pages
- 349
- Condition
- New
- SKU
- V9783642326202
- ISBN
- 9783642326202
Paperback
Condition: New
€ 64.82
€ 64.82
Paperback. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this title constitutes the proceedings of the 17th International Workshop on Logic, Language, Information and Computation, WoLLIC 2010, held in Brasilia, Brazil, in July 2010. Editor(s): Dawar, Anuj; Queiroz, Ruy de. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 269 pages, 28 black & white illustrations, biography. BIC Classification: UMB; UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 269
- Condition
- New
- SKU
- V9783642138232
- ISBN
- 9783642138232
Paperback
Condition: New
€ 63.90
€ 63.90
Logic, Language, and Computation: 10th International Tbilisi Symposium...
. Ed(S): Aher, Martin; Hole, Daniel; Jerabek,...
paperback. Editor(s): Aher, Martin; Hole, Daniel; Jerabek, Emil; Kupke, Clemens. Series: Lecture Notes in Computer Science. Num Pages: 347 pages, 47 black & white illustrations, biography. BIC Classification: UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 534.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Germany
- Edition
- 2015th Edition
- Number of pages
- 347
- Condition
- New
- SKU
- V9783662469057
- ISBN
- 9783662469057
Paperback
Condition: New
€ 64.49
€ 64.49
Paperback. Editor(s): Hansen, Helle Hvid; Murray, Sarah E.; Sadrzadeh, Mehrnoosh; Zeevat, Henk. Series: Lecture Notes in Computer Science. Num Pages: 355 pages, 46 black & white illustrations, biography. BIC Classification: UYQ; UYQL. Category: (G) General (US: Trade). Dimension: 235 x 155. Weight in Grams: 583.
- Format
- Paperback
- Publication date
- 2017
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 355
- Condition
- New
- SKU
- V9783662543313
- ISBN
- 9783662543313
Paperback
Condition: New
€ 64.51
€ 64.51
Paperback. Editor(s): Bezhanishvili, Guram; Lobner, Sebastian; Marra, Vincenzo; Richter, Frank. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 289 pages, 56 black & white illustrations, biography. BIC Classification: UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783642369759
- ISBN
- 9783642369759
Paperback
Condition: New
€ 58.64
€ 58.64
Paperback. Editor(s): Ohlbach, Hans Jurgen; Reyle, U. Series: Trends in Logic. Num Pages: 429 pages, biography. BIC Classification: CFX; HPL; PBC; UYAM; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 23. Weight in Grams: 704.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 429
- Condition
- New
- SKU
- V9789401059367
- ISBN
- 9789401059367
Paperback
Condition: New
€ 65.48
€ 65.48
Paperback. Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25 - August 6, 1989. Editor(s): Bauer, Friedrich L. Series: NATO Asi Series / NATO Asi Subseries F:. Num Pages: 485 pages, biography. BIC Classification: UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 26. Weight in Grams: 853.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1991
- Number of pages
- 485
- Condition
- New
- SKU
- V9783642768019
- ISBN
- 9783642768019
Paperback
Condition: New
€ 124.44
€ 124.44
Paperback. Editor(s): Ejerhed, Eva; Lindstrom, Sten. Series: Trends in Logic. Num Pages: 233 pages, biography. BIC Classification: GT; HPL; UYQ. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 13. Weight in Grams: 402.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 233
- Condition
- New
- SKU
- V9789401063265
- ISBN
- 9789401063265
Paperback
Condition: New
€ 63.59
€ 63.59
Hardback. This book focuses on synopsys design compiler. The book assists designers accustomed to schematic capture-based design to develop the required expertise to use the Synopsys Design Compiler. It discusses over 100 'Classic Scenarios' faced by designers when using the Design Compiler. Num Pages: 322 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 664.
- Format
- Hardback
- Publication date
- 1996
- Publisher
- Kluwer Academic Publishers United States
- Edition
- 2 Rev ed
- Number of pages
- 322
- Condition
- New
- SKU
- V9780792397861
- ISBN
- 9780792397861
Hardback
Condition: New
€ 192.54
€ 192.54
Paperback. Num Pages: 322 pages, biography. BIC Classification: THR; TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 527.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2nd ed. 1997
- Number of pages
- 322
- Condition
- New
- SKU
- V9781461286349
- ISBN
- 9781461286349
Paperback
Condition: New
€ 186.23
€ 186.23