Computer science
Results 9769 - 9792 of 16992
Computer science
Logic Programming and Automated Reasoning: 6th International Conferenc...
. Ed(S): Ganzinger, Harald; Voronkov, Andrei;...
paperback. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540664925
- ISBN
- 9783540664925
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. Series: Surveys in Computer Science. Num Pages: 284 pages, biography. BIC Classification: UMX; UN; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 17. Weight in Grams: 523.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1990
- Number of pages
- 284
- Condition
- New
- SKU
- V9783642839542
- ISBN
- 9783642839542
Paperback
Condition: New
€ 95.73
€ 95.73
Paperback. Editor(s): Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw. Series: Lecture Notes in Computer Science. Num Pages: 588 pages, 76 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 30. Weight in Grams: 890.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 588
- Condition
- New
- SKU
- V9783319232638
- ISBN
- 9783319232638
Paperback
Condition: New
€ 66.05
€ 66.05
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
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. 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
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. 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
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.48€ 94.53
€ 137.48
€ 94.53
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
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
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
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
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
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
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
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
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. 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
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): 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. 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): 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
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