TOP
紅利積點抵現金,消費購書更貼心
篩選商品
縮小範圍
適讀年齡
搜尋結果 /

Declarative Proceedings

23938
1 / 599
Declarative Programming and Knowledge Management ─ Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
90 折
出版日:2014/09/14 作者:Michael Hanus (EDT); Ricardo Rocha (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programm
優惠價: 9 2430
無庫存
Cross-Cultural Design ─ 6th International Conference, CCD 2014, Held As Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings
75 折
出版日:2014/05/27 作者:P. L. Patrick Rau (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This volume constitutes the refereed proceedings of the 6th International Conference on Cross-Cultural Design, CCD 2014, held as part of the 16th International Conference on Human-Computer Interaction
優惠:外文好書 優惠價: 75 5062
庫存:1
Proceedings of the Sixth Asia-Europe Symposium on Processing and Properties of Reinforced Polymers(簡體書)
滿額折
出版日:2013/05/30 作者:Xiaolin Xie  出版社:華中科技大學出版社  裝訂:平裝
Proceedings of the sixth Asia-Europe Symposium on Processing and Properties of Reinforced Polymers collects 185 papers 
優惠價: 87 512
庫存:1
Practical Aspects of Declarative Languages ― 17th International Symposium, Padl 2015, Proceedings
90 折
出版日:2015/06/01 作者:Enrico Pontelli (EDT); Tran Cao Son (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.The 10 revised pape
優惠價: 9 2430
無庫存
The Australian Pursuit of Japanese War Criminals, 1943-1957:From Foe to Friend
滿額折
出版日:2017/05/26 作者:Dean Aszkielowicz  出版社:香港大學出版社  裝訂:精裝
Previous scholarship on trials of war criminals focused on the legal proceedings with only tacit acknowledgement of the political and social context. Dean Aszkielowicz argues in The Australian Pursuit
優惠:香港大學書展 優惠價: 79 1301
庫存:1
Tease
66 折
出版日:2015/04/28 作者:Amanda Maciel  出版社:Harpercollins Childrens Books  裝訂:平裝
Criminally charged for the bullying and harassment that led to a classmate's shocking suicide, Sara is instantly ostracized and subjected to court proceedings and an appointed therapist while coming t
優惠:挖寶專區-原文書 優惠價: 66 250
庫存:1
Practical Aspects of Declarative Languages ― 16th International Symposium, Padl 2014, San Diego, Ca, USA, January 19-20, 2014, Proceedings
90 折
出版日:2013/12/19 作者:Matthew Flatt (EDT); Hai-feng Guo (EDT)  出版社:Springer Verlag  裝訂:平裝
This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with
優惠價: 9 3240
無庫存
出版日:2009/01/01 作者:Andy Gill (EDT); Terrance Swift (EDT)  出版社:Springer-Verlag New York Inc  裝訂:平裝
This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Penalties of Empire:Capital Trials in Colonial Hong Kong
滿額折
出版日:2025/04/22 作者:Christopher Munn  出版社:香港大學出版社  裝訂:精裝
‘We must have a procedure – if we are going to hang anyone – that is just,’ said Chief Justice Sir Francis Piggott in 1909, on discovering that Chinese accused of murder were being denied interpretation in Hong Kong’s courts. Due process, no matter how costly or inconvenient, was ‘one of the penalties of empire,’ he declared.Penalties of Empire explores how judges, juries, and lawyers strove to deliver justice during the 150 years when the death penalty was in force in Hong Kong. Nine main chapters focus on key capital trials in the first century of British rule. Among the cases are piracies, assassinations, and crimes of passion and desperation. These chapters describe the proceedings in court and the participants involved. They also explore the debates surrounding each case and the exercise or denial of mercy by governors. Two final chapters discuss the decline of the death penalty after World War II, its suspension after 1966, and the controversies leading to its formal abolition in
優惠:香港大學書展 優惠價: 79 1051
庫存:5
Industrial Engineering and Manufacturing Technology ─ Proceedings of the International Conference on Industrial Engineering and Manufacturing Technology (Iciemt 2014), Shanghai, China, 10-11 July 2014
75 折
出版日:2015/02/20 作者:Dawei Zheng (EDT)  出版社:Taylor & Francis  裝訂:精裝
The 2014 International Conference on Industrial Engineering and Manufacturing Technology (ICIEMT 2014) was held July 10-11, 2014 in Shanghai, China. The objective of ICIEMT 2014 was to provide a platf
優惠:Taylor and Francis 書展 優惠價: 75 8550
庫存:1
Deductive and Declarative Programming
90 折
出版日:2006/11/23 作者:Peter Padawitz  出版社:Cambridge Univ Pr  裝訂:平裝
Declarative programs consist of mathematical functions and relations and are amenable to formal specification and verification, since the methods of logic and proof can be applied to the programs in a well-defined manner. Here Dr Padawitz emphasizes verification based on logical inference rules, i.e. deduction (in contrast with model-theoretic approaches, deductive methods can be automated to some extent). His treatment of the subject differs from others in that he tries to capture the actual styles and applications of programming; neither too general with respect to the underlying logic, nor too restrictive for the practice of programming. He generalizes and unifies results from classical theorem-proving and term rewriting to provide proof methods tailored to declarative program synthesis and verification. Detailed examples accompany the development of the methods, whose use is supported by a documented prototyping system. The book can be used for graduate courses or as a reference fo
優惠價: 9 2281
無庫存
Knowledge Representation, Reasoning and Declarative Problem Solving
90 折
出版日:2010/06/24 作者:Chitta Baral  出版社:Cambridge Univ Pr  裝訂:平裝
Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book.
優惠價: 9 3158
無庫存
Knowledge Representation, Reasoning and Declarative Problem Solving
90 折
出版日:2003/01/09 作者:Chitta Baral  出版社:Cambridge Univ Pr  裝訂:精裝
Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Que clase te gusta mas?/ What Do You Like Best at School?
滿額折
出版日:2009/03/01 作者:Amy White; Lada J. Kratky (TRN)  出版社:Santillana USA Pub Co Inc  裝訂:平裝
Young children tell what they like best about school in simple declarative sentences.
優惠價: 1 360
無庫存
Prayers and Declarations for the Woman of God ─ Confront Strongholds and Stand Firm Against the Enemy
滿額折
出版日:2018/01/02 作者:Michelle Mcclain-Walters  出版社:Charisma House  裝訂:精裝
This book will provide me with new ways to pray for spiritual breakthrough for my family, church, and every area of my life.Expanding upon the bold, declarative prayers found in Michelle McClain-Walte
優惠價: 1 722
無庫存
Craft Graphql Apis in Elixir With Absinthe ─ Flexible, Robust Services for Queries, Mutations, and Subscriptions
滿額折
出版日:2017/11/25 作者:Bruce Williams; Ben Wilson  出版社:Pragmatic Bookshelf  裝訂:平裝
Your domain is rich and interconnected, and your API should be too. Upgrade your web API to GraphQL, leveraging its flexible queries to empower your users, and its declarative structure to simplify yo
優惠價: 1 2637
無庫存
Walter Was Worried
滿額折
出版日:2016/01/26 作者:Laura Vaccaro Seeger  出版社:Roaring Brook  裝訂:精裝
Opposite the simple declarative sentence, "Walter was worried" is a portrait of a very worried Walter. But wait! The letters that spell out his feelings form his facial characteristi
優惠:外文書周末優惠-單79雙75 優惠價: 79 451
無庫存
出版日:2015/07/29 作者:John Justice  出版社:Peter Lang Pub Inc  裝訂:精裝
Justice propounds a theory of semantics to explain how sentences get to be true or false. The truth or falsity of a declarative sentence depends on the sentence, the circumstances with respect to whic
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2013/11/29 作者:Magdalena Kaufmann  出版社:Springer Verlag  裝訂:平裝
Imperative clauses are recognized as one of the major clause types alongside those known as declarative and interrogative. Nevertheless, they are still an enigma in the study of meaning, which relies
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Women's Daily Declarations for Spiritual Warfare
滿額折
出版日:2013/04/02 作者:John Eckhardt  出版社:Charisma Media  裝訂:精裝
A woman’s devotional for spiritual warfare to use every day of the year.With the same bold, declarative style as the best-selling books Prayers That Rout Demons and Daily Declarations for Spiritual Wa
優惠價: 1 684
無庫存
出版日:2012/11/13 作者:Markus Bestehorn  出版社:Springer-Verlag New York Inc  裝訂:平裝
Declarative query interfaces to Sensor Networks (SN) have become a commodity. These interfaces allow access to SN deployed for collecting data using relational queries. However, SN are not confined to
優惠價: 1 3499
無庫存
出版日:2012/04/25 作者:Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock  出版社:Springer Verlag  裝訂:精裝
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verif
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/04/16 作者:Miriam F. Weismann  出版社:Natl Book Network  裝訂:平裝
Parallel proceedings refers to the simultaneous or successive investigation or litigation of separate criminal, civil, or administrative proceedings. This book serves as a central repository of statut
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2012/03/20 作者:T. Fleischmann  出版社:Consortium Book Sales & Dist  裝訂:平裝
"T Fleischmann's Syzygy, Beauty shimmers with confidence as it tours the surreal chaos of gender, art, and desire. Its declarative sentences?seductive, abject, caustic, moving, informative, and utterl
優惠價: 1 606
無庫存
出版日:2012/03/15 作者:Edouard LevT; Lorin Stein (TRN)  出版社:W W Norton & Co Inc  裝訂:平裝
In this brilliant and sobering self-portrait, Edouard Leve hides nothing from his readers, setting out his entire life, more or less at random, in a string of declarative sentences. Autoportrait is a
優惠價: 1 492
無庫存
出版日:2011/10/26 作者:Magdalena Kaufmann  出版社:Springer Verlag  裝訂:精裝
Imperative clauses are recognized as one of the major clause types alongside those known as declarative and interrogative. Nevertheless, they are still an enigma in the study of meaning, which relies
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Daily Declarations for Spiritual Warfare ─ Biblical Principles to Defeat the Devil
滿額折
出版日:2011/10/04 作者:John Eckhardt  出版社:Charisma Media  裝訂:精裝
Defeat the Devil and Rout His Demons…Every Day of the Year. With the same bold, declarative style as the best-selling book Prayers That Rout Demons, this daily guide gives you inspiration, understandi
優惠價: 1 990
無庫存
Constraint Programming In Music
90 折
出版日:2011/06/03 作者:Assayag  出版社:John Wiley & Sons Inc  裝訂:精裝
Constraint programming (CP) is a declarative programming paradigm with many academic and industrial applications (from n-queens to planning, vehicle routing, and optimization, among other fields). Mus
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Nature of Early Memory
90 折
出版日:2011/05/04 作者:Mark L. Howe  出版社:Oxford Univ Press USA  裝訂:精裝
In this useful text, Mark L. Howe presents the most complete book-length exegesis of the research and theory concerning the emergence and development of declarative, long-term memory from birth throug
優惠價: 9 3249
無庫存
Fabric
滿額折
出版日:2011/02/01 作者:Richard Froude  出版社:Small Pr Distribution  裝訂:平裝
Literary Nonfiction. Poetry. Cross-Genre. "I love Richard Froude's declarative, incandescently plain sentences, which at first seem like high-stakes non sequiturs, then a study in perfect, surprising
優惠價: 1 825
無庫存
出版日:2009/05/30 作者:Tom Schrijvers (EDT); Thom Fruhwirth (EDT)  出版社:Springer Verlag  裝訂:平裝
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Closing the Poverty & Culture Gap ─ Strategies to Reach Every Student
滿額折
出版日:2009/03/31 作者:Donna Walker Tileston; Sandra K. Darling; Belinda Williams (FRW)  出版社:Corwin Pr  裝訂:平裝
Improve achievement in diverse classrooms with a six-part framework to help learners become motivated, create connections from prior knowledge, and acquire procedural and declarative knowledge.
優惠價: 1 1853
無庫存
出版日:2009/02/01 作者:Georgios Miaoulis (EDT); Dimitri Plemenos (EDT)  出版社:Springer Verlag  裝訂:精裝
This book is dedicated to and contains the latest research in intelligent scene modelling information systems. Declarative scene modeling techniques are presented, as well as their implementation in a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Teaching Strategies That Prepare Students for High-Stakes Tests
滿額折
出版日:2008/05/22 作者:Donna Walker Tileston; Sandra K. Darling  出版社:Corwin Pr  裝訂:平裝
Teach for declarative and procedural knowledge and boost student achievement with these practical, research-proven strategies for incorporating state standards and benchmarks into lessons and assessm
優惠價: 1 1795
無庫存
Commanding Your Morning
滿額折
出版日:2007/10/02 作者:Cindy Trimm  出版社:Charisma House  裝訂:精裝
Your Words Have PowerIf you want your life to change, it all starts with what you think and say. In her authoritative, declarative style, Cindy Trimm helps you achieve victory over your circumstances
優惠價: 1 722
無庫存
Walter Was Worried
滿額折
出版日:2006/08/22 作者:Laura Vaccaro Seeger  出版社:Square Fish  裝訂:平裝
Opposite the simple declarative sentence, "Walter was worried" is a portrait of a very worried Walter. But wait! The letters that spell out his feelings form his facial characteristics, as well as his
優惠:外文書周末優惠-單79雙75 優惠價: 79 301
無庫存
Joe Celko's Analytics And Olap in SQL
滿額折
出版日:2006/07/24 作者:Joe Celko  出版社:Morgan Kaufmann Pub  裝訂:平裝
Before SQL programmers could begin working with OLTP (On-Line Transaction Processing) systems, they had to unlearn procedural, record-oriented programming before moving on to SQL’s declarative, set-or
優惠價: 1 3770
無庫存
True to Form ─ Rising and Falling Declaratives As Questions in English
90 折
出版日:2003/09/01 作者:Christine Gunlogson  出版社:Taylor & Francis  裝訂:精裝
This book is concerned with the meaning and use of two kinds of declarative sentences:1) It's raining?2) It's raining.The difference between (1) and (2) is intonational: (1) has a final rise--indicate
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
This Is Baseball
滿額折
出版日:1997/03/15 作者:Margaret Blackstone; John O'Brien (ILT)  出版社:Square Fish  裝訂:平裝
Pithy, declarative sentences and bright, happy pictures introduce very young children to a baseball game--from bat, ball, and glove to the game-winning home run.
優惠:外文書周末優惠-單79雙75 優惠價: 79 301
無庫存
  • 23938
    599
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 599

暢銷榜

客服中心

收藏

會員專區