{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":57,"n_cols":5,"rows_kept":57,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[12,2,12,3],[13,2,13,3],[16,2,16,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[20,4,20,5],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[43,2,43,3],[49,2,49,3],[50,2,50,3],[54,2,54,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465707603316"]
[null,null,"Titolo",null,"Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986"]
[null,null,"ISBN",null,"3-540-39831-7"]
[null,null,"Edizione",null,"[1st ed. 1986.]"]
[null,null,"Descrizione fisica",null,"1 online resource (IX, 723 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 225"]
[null,null,"Disciplina",null,"005.1015113"]
[null,null,"Soggetti",null,"Computer logic"]
[{"$nulls":4},"Artificial intelligence"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Artificial Intelligence"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,"Nota di contenuto",null,"The role of logic programming in the Fifth Generation Computer Project -- An abstract machine for restricted AND-parallel execution of logic programs -- Efficient management of backtracking in AND-Parallelism -- An intelligent backtracking algorithm for parallel execution of logic programs -- Delta Prolog: A distributed backtracking extension with events -- OLD resolution with tabulation -- Logic programs and alternation -- Intractable unifiability problems and backtracking -- On the complexity of unification sequences -- How to invent a Prolog machine -- A sequential implementation of Parlog -- A GHC abstract machine and instruction set -- A Prolog processor based on a pattern matching memory device -- An improved version of Shapiro's model inference system -- A framework for ICAI systems based on inductive inference and logic programming -- Rational debugging in logic programming -- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning -- Some issues and trends in the semantics of logic programming -- Parallel logic programming languages -- P-Prolog: A parallel logic language based on exclusive relation -- Making exhaustive search programs deterministic -- Compiling OR-parallelism into AND-parallelism -- Shared memory execution of committed-choice languages -- Logic program semantics for programming with equations -- On the "]
[{"$nulls":4},"semantics of logic programming languages -- Towards a formal semantics for concurrent logic programming languages -- Design of a Prolog-based machine translation system -- Parallel logic programming for numeric applications -- Sequential and concurrent deterministic logic grammars -- A parallel parsing system for natural language analysis -- Equivalences of logic programs -- Qualified answers and their application to transformation -- Procedures in Horn-clause programming -- Higher-order logic programming -- Abstract interpretation of Prolog programs -- Verifleation of Prolog programs using an extension of execution -- Detection and optimization of functional computations in Prolog -- Control of logic program execution based on the functional relation -- Declarative graphics -- Test-pattern generation for VLSI circuits in a Prolog environment -- Using Prolog to represent and reason about protein structure -- A New approach for introducing Prolog to naive users -- Prolog programming environments: Architecture and implementation -- Design overview of the NAIL! System -- A superimposed codeword indexing scheme for very large Prolog databases -- Interfacing Prolog to a persistent data store -- A general model to implement DIF and FREEZE -- Cyclic tree traversal -- Completeness of the SLDNF-resolution for a class of logic programs -- Choices in, and limitations of, logic programming -- Negation and quantifiers in NU-Prolog -- Gracefully adding negation and disjunction to Prolog -- Memory performance of Lisp and Prolog programs -- The design and implementation of a high-speed incremental portable Prolog compiler -- Compiler optimizations for the WAM -- Fast decompilation of compiled Prolog clauses -- Logic continuations -- Cut & Paste — defining the impure primitives of Prolog -- Tokio: Logic programming language based on temporal logic and its compilation to Prolog -- The OR-forest description for the execution of logic programs."]
[null,"2.","Record Nr.",null,"UNISA996397068503316"]
[null,null,"Autore",null,"Sternhold Thomas <d. 1549.>"]
[null,null,"Titolo",null,"The whole booke of psalmes [[electronic resource] /] / collected into English meeter by Thomas Sternhold, Ioh. Hopkins, and others"]
[null,null,"Pubbl/distr/stampa",null,"London, : Imprinted for the Company of Stationers, 1634"]
[null,null,"Descrizione fisica",null,"[62], 461 [i.e. 449], [64] p. : music"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Signatures: A-Y⁸ 2A-2O⁸."]
[{"$nulls":4},"Includes index."]
[{"$nulls":4},"Title within ornamental border."]
[{"$nulls":4},"Numerous errors in paging."]
[{"$nulls":4},"Imperfect: tightly bound, with print show-through."]
[{"$nulls":4},"Reproduction of original in the Harvard University. Library."]
[null,null,null,"Sommario/riassunto","eebo-0062"]
[null,"3.","Record Nr.",null,"UNINA9910298975303321"]
[null,null,"Titolo",null,"Information System Development : Improving Enterprise Communication / / edited by María José Escalona, Gustavo Aragón, Henry Linger, Michael Lang, Chris Barry, Christoph Schneider"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014"]
[null,null,"ISBN",null,"3-319-07215-3"]
[null,null,"Edizione",null,"[1st ed. 2014.]"]
[null,null,"Descrizione fisica",null,"1 online resource (536 p.)"]
[null,null,"Disciplina",null,"004"]
[{"$nulls":4},"004.21"]
[{"$nulls":4},"005.7"]
[{"$nulls":4},"006.312"]
[null,null,"Soggetti",null,"Application software"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Data mining"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Data Mining and Knowledge Discovery"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Measuring Business-IT Alignment, framework development and case study results -- Collaborative Health Informatics: A Multidisciplinary Approach -- Understanding Feasibility Study Approach for Packaged Software Implementation by SMEs -- Towards P Systems based Approach for Evolutionary Enterprise Application -- Data-Oriented Declarative Language for Optimizing Business Processes -- A Set of Practices for the Development of Data- Centric Information Systems -- Towards An Ontology of SoS Interoperability: Proposition of a SoS Interoperability Framework and a SoS Conceptual Interoperability Model -- Involving End-Users in the Design of a Domain-Specific Language for the Genetic Domain -- Improving information system interoperability in social sector through advanced metadata -- Using Process-level Use Case Diagrams to Infer the Business Motivation Model with a RUP­based Approach -- Towards Elimination of Testing Debt in Outsourced IS Development Projects – a View from the Client "]
[{"$nulls":4},"Side -- From Traditional Practices To A Learning Community: A Knowledge Management Approach To Support Learning In Food Hazard Identification -- Coordinating the Enterprise Modelling Effort by Means of an Entrepreneurial Goal Hierarchy -- Merger and Acquisition Preparedness Building: An Enterprise Architecture Perspective -- Starting building a IT policy: a quest to IT success -- Design within Complex Environments: Collaborative Engineering in the aerospace industry -- Understanding Contradictions in Enterprise System Implementations: A case for Stakeholder Theory -- Company Process Support by Software Systems: Research in Small Software Companies in the Czech Republic -- An Integrated Information Systems Success Model: A Case Study of an Australian Hospital -- Identifying Essential and Optional Decision Constructs in On-line Transactional Processes -- Ontology and SOA based data mining to business process optimization -- Data-Aware Conformance Checking for Declarative Business Process Models -- Taxonomyof anomalies in business process models -- An Automated Approach for Architectural Model Transformations -- A Discrete-Event Simulation Metamodel for obtaining Simulation Models from Business Process Models -- A Pattern-Based and Model-Driven Approach for Deriving IT System Functional Models from Annotated Business Models -- Applying testing techniques to software process assessment: A model-based perspective -- A Model-Based Approach to Develop Self-Adaptive Data Visualizations -- A Language Oriented Extension to Toulmin’s Argumentation Model for Conceptual Modelling -- Architecture Derivation in Product Line Development through Model Transformations -- Collaborative Modeling through the Integration of Heterogeneous Modeling Languages -- Positing a Factorial Model for Consumer Trust in Mobile Payments -- Multipoint Web Real-Time Communication -- Affecting Decision-Makers’ Attention through Mobile BI - Implications for Mobile BI Design Process -- Generating a REST Service Layer from a Legacy System -- Effective and Considerate Change Notifications in Multidisciplinary Engineering Projects -- Using Agile methods for infrastructure projects: A practical experience -- The Uncertainties Management Framework: Eliminating Uncertainties from the Process -- Towards the Development of a Complex Adap­tive Project Environment Assessment Tool -- ISO2: A New Breath for the Joint Development of IS and ISO 9001 Management Systems -- Incremental and Adaptive Software Systems Development of Natural Language Applications -- UCL–Universal Constraint Language."]
[null,null,null,"Sommario/riassunto","Information System Development—Improving Enterprise Communication are the collected proceedings of the 22nd  International Conference on Information Systems Development: Improving Enterprise Communication—ISD 2013 Conference, held in Seville, Spain. It follows in the tradition of previous conferences in the series in exploring the connections between industry, research and education. These proceedings represent ongoing reflections within the academic community on established information systems topics and emerging concepts, approaches and ideas. It is hoped that the papers herein contribute towards disseminating research and improving practice. The conference tracks highlighted at the 22nd International Conference on Information Systems Development (ISD 2013) were: Applications Data and Ontologies End Users Enterprise Evolution Industrial cases in ISD Intelligent Business Process Management Model Driven Engineering in ISD New Technologies Process Management Quality."]