He Jifeng (76 results)

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: Used. pp. 196.

Condition: Used. pp. 196 Illus.

Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Nov. 2 (weekend sale item)* 298 pp., ex library, else text clean and binding tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condition: Used. pp. 196.

Condition: As New. Unread book in perfect condition.

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condition: New.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Brand New. 1st edition. 185 pages. 9.00x6.00x0.50 inches. In Stock.

Condition: New.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year's conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year's conference are: - Logics in Computer Science - Data Mining - Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year's conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year's conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20-22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, 'e-Learning Platforms and Tools,' 'Design, Model and Framework of e- Learning Systems,' 'Practice and Experience Sharing,' and 'Pedagogical Issues.' In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao. …

Hardcover. Condition: New. SHRINK-WRAPPED: US SELLER SHIPS FAST FROM USA.

Paperback. Condition: Very Good. Paperback in very good condition. Cover edges and corners are slightly bumped and rubbed. Covers are clean, binding is sound and content is as unread. LW. Used.

Condition: Used. pp. 796.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: Used. pp. 796 Illus.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: Used. pp. 796.

Taschenbuch. Condition: Neu. Advances in Blended Learning | Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers | Elvis Wai Chung Leung (u. a.) | Taschenbuch | x | Englisch | 2008 | Springer | EAN 9783540899617 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20¿22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, ¿e-Learning Platforms and Tools,¿ ¿Design, Model and Framework of e- Learning Systems,¿ ¿Practice and Experience Sharing,¿ and ¿Pedagogical Issues.¿ In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao. …

Condition: Used. pp. xii + 354.

Condition: Used. pp. xii + 354 Illus.

Condition: Used. pp. xii + 354.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Keynote Talks.- Program Verification Through Computer Algebra.- JML's Rich, Inherited Specifications for Behavioral Subtypes.- Three Perspectives in Formal Engineering.- Specification and Verification.- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.- Applying Timed Interval Calculus to Simulink Diagrams.- Reducing Model Checking of the Few to the One.- Induction-Guided Falsification.- Verifying Models of Industrial Systems with Spin.- Stateful Dynamic Partial-Order Reduction.- Internetware and Web-Based Systems.- User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.- Environment Ontology-Based Capability Specification for Web Service Discovery.- Scenario-Based Component Behavior Derivation.- Verification of Computation Orchestration Via Timed Automata.- Towards the Semantics for Web Service Choreography Description Language.- Type Checking Choreography Description Language.- Concurrent, Communicating, Timing and Probabilistic Systems.- Formalising Progress Properties of Non-blocking Programs.- Towards a Fully Generic Theory of Data.- Verifying Statemate Statecharts Using CSP and FDR.- A Reasoning Method for Timed CSP Based on Constraint Solving.- Mapping RT-LOTOS Specifications into Time Petri Nets.- Reasoning Algebraically About Probabilistic Loops.- Object and Component Orientation.- Formal Verification of the Heap Manager of an Operating System Using Separation Logic.- A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.- Model Checking Dynamic UML Consistency.- Testing and Model Checking.- Conditions for Avoiding Controllability Problems in Distributed Testing.- Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.- Checking theConformance of Java Classes Against Algebraic Specifications.- Incremental Slicing.- Assume-Guarantee Software Verification Based on Game Semantics.- Optimized Execution of Deterministic Blocks in Java PathFinder.- Tools.- A Tool for a Formal Pattern Modeling Language.- An Open Extensible Tool Environment for Event-B.- Tool for Translating Simulink Models into Input Language of a Model Checker.- Fault-Tolerance and Security.- Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.- A Language for Modeling Network Availability.- Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.- Specification and Refinement.- Issues in Implementing a Model Checker for Z.- Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.- Discovering Likely Method Specifications.- Time Aware Modelling and Analysis of Multiclocked VLSI Systems.- SALT-Structured Assertion Language for Temporal Logic.…