Computer science
Results 7201 - 7224 of 16996
Computer science
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
€ 116.23
€ 116.23
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: 236 pages, biography. BIC Classification: THR; TJFC; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 236
- Condition
- New
- SKU
- V9781461374909
- ISBN
- 9781461374909
Paperback
Condition: New
€ 184.23
€ 184.23
Paperback. This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD. Series: Lecture Notes in Electrical Engineering. Num Pages: 252 pages, 133 black & white tables, biography. BIC Classification: PBF; PBW; TJFC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642260643
- ISBN
- 9783642260643
Paperback
Condition: New
€ 186.09
€ 186.09
Hardback. This book presents the hardware implementation of control algorithms represented by graph-schemes of algorithm. It includes new methods of logic synthesis and optimization for logic circuits of Mealy and Moore FSMs oriented on both ASIC and FPLD. Series: Lecture Notes in Electrical Engineering. Num Pages: 252 pages, 133 black & white tables, biography. BIC Classification: TJF; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 1190.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783642043086
- ISBN
- 9783642043086
Hardback
Condition: New
€ 189.59
€ 189.59
hardcover. This text describes logic synthesis for both look-up table (LUT) and multiplexor-based architectures, with a balanced presentation of existing techniques together with algorithms and the system developed by the authors. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 427 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 25. Weight in Grams: 807.
- Format
- Hardback
- Publication date
- 1995
- Publisher
- Springer United States
- Edition
- 1995th Edition
- Number of pages
- 427
- Condition
- New
- SKU
- V9780792395966
- ISBN
- 9780792395966
Hardback
Condition: New
€ 130.94
€ 130.94
Logic Synthesis for Asynchronous Controllers and Interfaces
Cortadella, Jordi; Kishinevsky, M.; Kondratye...
Paperback. Series: Springer Series in Advanced Microelectronics. Num Pages: 286 pages, biography. BIC Classification: TJFD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 450.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2002
- Number of pages
- 286
- Condition
- New
- SKU
- V9783642627767
- ISBN
- 9783642627767
Paperback
Condition: New
€ 121.89
€ 121.89
Logic Synthesis for Asynchronous Controllers and Interfaces
Cortadella, Jordi; Kishinevsky, M.; Kondratye...
Hardback. This book systematically teaches the reader about computer-aided design of asynchronous circuits. It should appeal to researchers, electrical engineers and advanced students. Series: Springer Series in Advanced Microelectronics. Num Pages: 286 pages, biography. BIC Classification: TJFD5; UT; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 17. Weight in Grams: 1290.
- Format
- Hardback
- Publication date
- 2002
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 286
- Condition
- New
- SKU
- V9783540431527
- ISBN
- 9783540431527
Hardback
Condition: New
€ 200.33
€ 200.33
Hardback. Research and development of logic synthesis and verification have matured considerably. Many commercial products are available, and they have been critical in harnessing advances in fabrication technology to produce today's plethora of electronic components. This book presents an overview of logic synthesis and verification. Editor(s): Hassoun, Soha; Sasao, Tsutomu. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 454 pages, biography. BIC Classification: TJFC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 25. Weight in Grams: 835.
- Format
- Hardback
- Publication date
- 2001
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 454
- Condition
- New
- SKU
- V9780792376064
- ISBN
- 9780792376064
Hardback
Condition: New
€ 194.89
€ 194.89
Paperback. This book offers reminiscences and essays on the work of Marek Sergot, and articles on logic programming, temporal reasoning and action languages, artificial intelligence and law, deontic logic and norm-governed systems and logical approaches to policies. Editor(s): Artikis, Alexander; Craven, Robert; Kesim Cicekli, Nihan; Sadighi, Babak; Stathis, Kostas. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 445 pages, 36 black & white illustrations, biography. BIC Classification: UKN; UMZ; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 445
- Condition
- New
- SKU
- V9783642294136
- ISBN
- 9783642294136
Paperback
Condition: New
€ 65.19
€ 65.19
Paperback. Editor(s): Lambert, Marcus J. Num Pages: 103 pages. BIC Classification: UY. Dimension: 226 x 154 x 9. Weight in Grams: 226.
- Publisher
- Nova Science Publishers Inc
- Format
- Paperback
- Publication date
- 2014
- Condition
- New
- SKU
- V9781631178535
- ISBN
- 9781631178535
Paperback
Condition: New
€ 137.07€ 94.53
€ 137.07
€ 94.53
Paperback. Editor(s): Brough, D.R. BIC Classification: UY. Dimension: 235 x 155. Weight in Grams: 498.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Condition
- New
- SKU
- V9789401051316
- ISBN
- 9789401051316
Paperback
Condition: New
€ 122.08
€ 122.08
Logic Programming and Nonmonotonic Reasoning: 12th International Confe...
. Ed(S): Cabalar, Pedro; Son, Tran Cao
paperback. Editor(s): Cabalar, Pedro; Son, Tran Cao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 588 pages, 70 black & white illustrations, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer Germany
- Edition
- 2013th Edition
- Number of pages
- 588
- Condition
- New
- SKU
- V9783642405631
- ISBN
- 9783642405631
Paperback
Condition: New
€ 66.65
€ 66.65
Paperback. Contains the refereed proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, held in May 2011 in Vancouver, Canada. This title features 16 revised full papers, 26 short papers and 3 invited talks. Editor(s): Delgrande, James; Faber, Wolfgang. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 419 pages, biography. BIC Classification: UM; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 646.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 419
- Condition
- New
- SKU
- V9783642208942
- ISBN
- 9783642208942
Paperback
Condition: New
€ 65.10
€ 65.10
Paperback. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 671 pages, biography. BIC Classification: PBD; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 1021.
- Format
- Paperback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 671
- Condition
- New
- SKU
- V9783642042379
- ISBN
- 9783642042379
Paperback
Condition: New
€ 126.13
€ 126.13
Paperback. This volume contains the revised refereed papers accepted for the presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning. The 28 papers presented define the state of the art in this interdisciplinary area of research. Editor(s): Nerode, Anil; Truszczynski, Mirek. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 279 x 216 x 22. Weight in Grams: 613.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540594871
- ISBN
- 9783540594871
Paperback
Condition: New
€ 69.56
€ 69.56