Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.

Computer science. --- Computer programming. --- Programming languages (Electronic computers). --- Data structures (Computer science). --- Algorithms. --- Mathematical logic. --- Computer science --- Computer Science. --- Discrete Mathematics in Computer Science. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Data Structures. --- Programming Languages, Compilers, Interpreters. --- Programming Techniques. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Foundations --- Programming --- Computational complexity. --- Computer software. --- Data structures (Computer scienc. --- Data structures (Computer science) --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- Graph theory --- Data processing --- Graphs, Theory of --- Theory of graphs --- Combinatorial analysis --- Topology --- Extremal problems --- Computer science—Mathematics. --- Discrete mathematics. --- Machine theory. --- Artificial intelligence—Data processing. --- Compilers (Computer programs). --- Formal Languages and Automata Theory. --- Data Science. --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, held in Paris, France, in August 2012. The 11 revised full papers presented together with 3 short papers in this volume were carefully reviewed and selected from 26 submissions. Topics of interest covered in this volume are such as software engineering; systems engineering; data engineering; applied mathematics; and psychology.

Computer science. --- Medical records --- Software engineering. --- Database management. --- Computer simulation. --- Computer Science. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Database Management. --- Simulation and Modeling. --- Health Informatics. --- Medical informatics --- Informatics --- Publication Formats --- Publication Characteristics --- Information Science --- Congresses --- Medical Informatics --- Engineering & Applied Sciences --- Computer Science --- Data processing. --- Information Technology --- Software Engineering --- Computer Science, Medical --- Health Information Technology --- Informatics, Clinical --- Informatics, Medical --- Information Science, Medical --- Clinical Informatics --- Medical Computer Science --- Medical Information Science --- Health Information Technologies --- Information Technologies, Health --- Information Technology, Health --- Medical Computer Sciences --- Medical Information Sciences --- Science, Medical Computer --- Technologies, Health Information --- Technology, Health Information --- Information Sciences --- Science, Information --- Sciences, Information --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer software engineering --- EHR systems --- EHR technology --- EHRs (Electronic health records) --- Electronic health records --- Electronic medical records --- EMR systems --- EMRs (Electronic medical records) --- Health informatics. --- Gesundheitstelematik. --- Medizintelematik --- Health Telematics --- E-Health --- Gesundheitswesen --- Telematik im Gesundheitswesen --- Health Care Telematics --- Medical Telematics --- Medizinische Informatik --- Telematik --- AAL-Technik --- Informatik --- Informationstechnik --- Information storage and retrieval systems --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Electronic data processing --- Engineering --- Medical care --- Application software. --- Clinical informatics --- Health informatics --- Medical information science --- Information science --- Medicine --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Data processing