.png){kind=logo}
Computing
Results 13705 - 13728 of 30851
Computing
Paperback / so. Series: Kunstliche Intelligenz. Num Pages: black & white illustrations, bibliography. BIC Classification: UMX; UMZ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 9. Weight in Grams: 277.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer Fachmedien Wiesbaden Germany
- Condition
- New
- SKU
- V9783528051273
- ISBN
- 9783528051273
Paperback
Condition: New
€ 71.47
€ 71.47
Paperback. Series: Studienbucher Informatik. BIC Classification: UMB. Dimension: 240 x 168. .
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Fachmedien Wiesbaden
- Condition
- New
- SKU
- V9783834818874
- ISBN
- 9783834818874
Paperback
Condition: New
€ 39.30
€ 39.30
Paperback. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 979.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 1st ed. Softcover of orig. ed. 2008
- Number of pages
- 646
- Condition
- New
- SKU
- V9783642093456
- ISBN
- 9783642093456
Paperback
Condition: New
€ 197.62
€ 197.62
Hardback. Presents comprehensive studies on nine specification languages and their logics of reasoning. This book features short commentaries on the specification languages written by researchers associated with their original development. It contains references and pointers to developments. Editor(s): Bjorner, Dines; Henson, Martin C. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 646 pages, 69 black & white illustrations, biography. BIC Classification: UMX. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1136.
- Format
- Hardback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 646
- Condition
- New
- SKU
- V9783540741060
- ISBN
- 9783540741060
Hardback
Condition: New
€ 198.64
€ 198.64
Paperback. Editor(s): Salwicki, A. Series: Lecture Notes in Computer Science. Num Pages: 336 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 1040.
- Format
- Paperback
- Publication date
- 1983
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 336
- Condition
- New
- SKU
- V9783540119814
- ISBN
- 9783540119814
Paperback
Condition: New
€ 54.23
€ 54.23
Paperback. Editor(s): Rohit, Parikh. Series: Lecture Notes in Computer Science. Num Pages: 436 pages, biography. BIC Classification: GBC; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 1340.
- Format
- Paperback
- Publication date
- 1985
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 436
- Condition
- New
- SKU
- V9783540156482
- ISBN
- 9783540156482
Paperback
Condition: New
€ 72.82
€ 72.82
Paperback. Editor(s): Clarke, E.; Kozen, D. Series: Lecture Notes in Computer Science. Num Pages: 537 pages, biography. BIC Classification: UMB; UMX. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 749.
- Format
- Paperback
- Publication date
- 1984
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 537
- Condition
- New
- SKU
- V9783540128960
- ISBN
- 9783540128960
Paperback
Condition: New
€ 91.45
€ 91.45
Paperback. With contributions by nummerous experts Editor(s): Kozen, D. Series: Lecture Notes in Computer Science. Num Pages: 437 pages, biography. BIC Classification: UMB. Category: (P) Professional & Vocational. Dimension: 250 x 170 x 22. Weight in Grams: 1350.
- Format
- Paperback
- Publication date
- 1982
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 437
- Condition
- New
- SKU
- V9783540112129
- ISBN
- 9783540112129
Paperback
Condition: New
€ 54.09
€ 54.09
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Atlantis Press United Kingdom
- Edition
- 2013th Edition
- Number of pages
- 168
- Condition
- New
- SKU
- V9789491216947
- ISBN
- 9789491216947
Hardback
Condition: New
€ 66.95
€ 66.95
Paperback. Constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. Editor(s): Cerro, Luis Farinas del; Herzig, Andreas; Mengin, Jerome. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 512 pages, 49 black & white illustrations, biography. BIC Classification: UM; UNH; UYA; UYQ; UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 713.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 512
- Condition
- New
- SKU
- V9783642333521
- ISBN
- 9783642333521
Paperback
Condition: New
€ 69.07
€ 69.07
Paperback. Constitutes the proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. This title includes papers that cover topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, and probabilistic logic. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 440 pages, biography. BIC Classification: UMX; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 676.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 440
- Condition
- New
- SKU
- V9783540878025
- ISBN
- 9783540878025
Paperback
Condition: New
€ 68.43
€ 68.43
Paperback. This volume constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held in September 1994. The work has been divided into sections on non monotonic reasoning, automated reasoning, logic programming, knowledge representation and belief revision. Editor(s): MacNish, Craig; Pearce, David; Pereira, L.M. Series: Lecture Notes in Computer Science. Num Pages: 425 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 22. Weight in Grams: 1330.
- Format
- Paperback
- Publication date
- 1994
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 425
- Condition
- New
- SKU
- V9783540583325
- ISBN
- 9783540583325
Paperback
Condition: New
€ 72.74
€ 72.74
Paperback. Editor(s): Ferme, Eduardo; Leite, Joao. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 720 pages, 88 black & white illustrations, biography. BIC Classification: UM; UN; UNH; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 37. Weight in Grams: 1086.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 720
- Condition
- New
- SKU
- V9783319115573
- ISBN
- 9783319115573
Paperback
Condition: New
€ 70.51
€ 70.51
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 608 pages, 70 black & white illustrations, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 31. Weight in Grams: 920.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 608
- Condition
- New
- SKU
- V9783319487571
- ISBN
- 9783319487571
Paperback
Condition: New
€ 69.52
€ 69.52
Paperback. The proceedings of an international workshop which discusses such topics as automated theorem proving, the logical foundations of logic programming, systems of nonmonotonic reasoning, temporal and epistemic logics, belief revision and modal logics for representing graph information. Editor(s): Pearce, David; Wagner, G. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1992
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 420
- Condition
- New
- SKU
- V9783540558873
- ISBN
- 9783540558873
Paperback
Condition: New
€ 72.62
€ 72.62
Paperback. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics. Editor(s): Eijck, J.Van. Series: Lecture Notes in Computer Science. Num Pages: 580 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
- Format
- Paperback
- Publication date
- 1991
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 580
- Condition
- New
- SKU
- V9783540536864
- ISBN
- 9783540536864
Paperback
Condition: New
€ 136.52
€ 136.52
Paperback. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: PBCD; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 593.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 2004
- Number of pages
- 368
- Condition
- New
- SKU
- V9783642622489
- ISBN
- 9783642622489
Paperback
Condition: New
€ 128.65
€ 128.65
Hardback. Logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data. Intended for scientists and graduate students, this book presents research results on logic applications in databases that focus on application areas such as XML, web data, workflow, and others. Editor(s): Chomicki, Jan; Meyden, Ron Van Der; Saake, Gunter. Num Pages: 368 pages, 3 black & white tables, biography. BIC Classification: UN; UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 22. Weight in Grams: 719.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 368
- Condition
- New
- SKU
- V9783540007050
- ISBN
- 9783540007050
Hardback
Condition: New
€ 135.27
€ 135.27
Paperback. Editor(s): Apt, Krzysztof R. Series: NATO ASI Subseries F. Num Pages: 500 pages, biography. BIC Classification: UKN; UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 26. Weight in Grams: 873.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1985
- Number of pages
- 500
- Condition
- New
- SKU
- V9783642824555
- ISBN
- 9783642824555
Paperback
Condition: New
€ 130.52
€ 130.52
Hardcover. Logics and Falsifications Series: Trends in Logic. Num Pages: 217 pages, 18 black & white illustrations, biography. BIC Classification: CFA; UYQL. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 18. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 2015
- Publisher
- Springer
- Edition
- 2014th Edition
- Condition
- New
- SKU
- V9783319052052
- ISBN
- 9783319052052
Hardback
Condition: New
€ 67.27
€ 67.27
Paperback. Series: Law and Philosophy Library. Num Pages: 314 pages, biography. BIC Classification: HPL; LAB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 464.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Number of pages
- 314
- Condition
- New
- SKU
- V9789048149285
- ISBN
- 9789048149285
Paperback
Condition: New
€ 249.88
€ 249.88
Paperback. This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals. Series: Cognitive Technologies. Num Pages: 305 pages, 26 black & white illustrations, biography. BIC Classification: HPL; PBCD; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 16. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 305
- Condition
- New
- SKU
- V9783642261879
- ISBN
- 9783642261879
Paperback
Condition: New
€ 194.25
€ 194.25
Logical Thinking in the Pyramidal Schema of Concepts: the Logical and ...
Geldsetzer, Lutz; Schwartz, Richard L.
Paperback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 184 pages, black & white illustrations, bibliography. BIC Classification: HPL; PBC; UYA. Category: (G) General (US: Trade). Dimension: 234 x 156 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Number of pages
- 184
- Condition
- New
- SKU
- V9789401784443
- ISBN
- 9789401784443
Paperback
Condition: New
€ 148.68
€ 148.68
Hardback. This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema. Num Pages: 140 pages, biography. BIC Classification: HPL; PBC; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 438.
- Publisher
- Springer
- Format
- Hardback
- Publication date
- 2012
- Edition
- 2013 ed.
- Condition
- New
- SKU
- V9789400753006
- ISBN
- 9789400753006
Hardback
Condition: New
€ 149.71
€ 149.71