Springer berlin heidelberg aug 2013 (243 risultati)

Taschenbuch. Condizione: Neu. Neuware -(Autor) Herbert Muthsam (Titel) Lineare Algebra und Ihre Anwendungen (usp) mit vielen Übungsaufgaben (copy) Bei diesem Lehrbuch wird von Anfang an ein starkes Gewicht auf die Wechselbeziehungen zwischen guter Theorie und Anwendungen gelegt. Ein einfacher, anschauungsbasierter Zugang in den ersten Kapiteln ermöglicht einen sanften Einstieg in die mathematische Denkweise. Anwendungen, die sich auf dieser Basis ganz natürlich ergeben, umfassen Fouriertransformationen, gewöhnliche Differentialgleichungen, llineare Optimierung sowie Methoden der Modellierung und numerische Verfahren mit Blick auf Fragen aus Naturwissenschaften, Technik und Wirtschaftswissenchaften. (Biblio) 444 pp. Deutsch. …

Taschenbuch. Condizione: Neu. Neuware -Manifolds over complete nonarchimedean fields together with notions like tangent spaces and vector fields form a convenient geometric language to express the basic formalism of p-adic analysis. The volume starts with a self-contained and detailed introduction to this language. This includes the discussion of spaces of locally analytic functions as topological vector spaces, important for applications in representation theory. The author then sets up the analytic foundations of the theory of p-adic Lie groups and develops the relation between p-adic Lie groups and their Lie algebras. The second part of the book contains, for the first time in a textbook, a detailed exposition of Lazard's algebraic approach to compact p-adic Lie groups, via his notion of a p-valuation, together with its application to the structure of completed group rings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Methods for making inferences from data about one or more probabilities and proportions are a fundamental part of a statistician's toolbox and statistics courses. Unfortunately many of the quick, approximate methods currently taught have recently been found to be inappropriate. This monograph gives an up-to-date review of recent research on the topic and presents both exact methods and helpful approximations. Detailed theory is also presented for the different distributions involved, and can be used in a classroom setting. It will be useful for those teaching statistics at university level and for those involved in statistical consulting. 80 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Electronic Commerce and Web Technologies (EC-Web) held in Prague, Czech Republic, in August 2013. In 2013, EC-Web focused on recommender systems, semantic e-business, business services and process management, and agent-based e-commerce.The 13 full and 6 short papers accepted for EC-Web, selected from 43 submissions, were carefully reviewed based on their originality, quality, relevance, and presentation. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed conference proceedings of the 6th International Workshop on Business Intelligence for the Real-Time Enterprise, BIRTE 2012, held in Istanbul, Turkey, in August 2012, in conjunction with VLDB 2012, the International Conference on Very Large Data Bases. The BIRTE workshop series provides a forum to discuss and advance the science and engineering enabling real-time business intelligence and the novel applications that build on these foundational techniques. This volume contains ten research papers, which were carefully reviewed and selected from 13 submissions. 160 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book grew out of the First Symposium on the Personal Web, co-located with CASCON 2010 in Markham, Ontario, Canada. The purpose of the symposium was to bring together prominent researchers and practitioners from a diverse range of research areas relevant to the advancement of science and practice relating to the Personal Web. Research on the Personal Web is an outgrowth of the Smart Internet initiative, which seeks to extend and transform the web to be centred on the user, with the web as a calm platform ubiquitously providing cognitive support to its user and his or her tasks. As with the preceding SITCON workshop (held at CASCON 2009), this symposium involved a multi-disciplinary effort that brought together researchers and practitioners in data integration; web services modelling and architecture; human-computer interaction; predictive analytics; cloud infrastructure; semantics and ontology; and industrial application domains such as health care and finance.The discussions during the symposium dealt with different aspects of the architecture and functionality needed to make the Personal Web a reality. After the symposium the authors reworked their presentations into draft chapters that were submitted for peer evaluation and review. Every chapter went through two rounds of reviewing by at least two independent expert reviewers, and accepted chapters were then revised and are presented in this book. 236 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications). 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed conference proceedings of the 25th International Conference on Language Processing and Knowledge in the Web, GSCL 2013, held in Darmstadt, Germany, in September 2013. The 20 revised full papers were carefully selected from numerous submissions and cover topics on language processing and knowledge in the Web on several important dimensions, such as computational linguistics, language technology, and processing of unstructured textual content in the Web. 232 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems. 252 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on OpenMP, held in Canberra, Australia, in September 2013. The 14 technical full papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on proposed extensions to OpenMP, applications, accelerators, scheduling, and tools. 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Data Management in Grid and Peer-to-Peer Systems, Globe 2013, held in Prague, Czech Republic, in August 2013 in conjunction with DEXA 2013. The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The papers are organized in the following topical sections: data partitioning and consistency; RDF data publishing, querying linked data, and applications; and distributed storage systems and virtualization. 136 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013, held in Prague, Czech Republic, in August 2013, held in conjunction with DEXA 2013. The 7 revised long papers presented together with 4 short papers were carefully reviewed and selected from numerous submissions. The papers address the following topics: critical health and intelligent systems in medical research, and obstetrics, neonatology and decision systems in cardiology. 128 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 9th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2012, held in Beijing, China, Denmark, in December 2012. The revised full papers presented were carefully reviewed and selected from numerous submissions. They cover a wide range of topics such as localization and tracking, search and discovery, classification and profiling, context awareness and architecture, location and activity recognition. The proceedings also include papers from the best paper session and the industry track, as well as poster and demo papers. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Trust and Privacy in Digital Business, TrustBus 2013, held in Prague, Czech Republic, in August 2013 in conjunction with DEXA 2013. The 16 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: access control and authentication; identity and trust management; privacy and confidentiality management; information systems security; security policies/legal issues; and trust and privacy in mobile and pervasive environments. 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping. 160 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.This volume presents 9 thoroughly revised papers selected from 24 submissions as well as two invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering of agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with recent programming languages, platforms, and established software engineering methodologies. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the workshop proceedings of the 18th International Conference on Database Systems for Advanced Applications, DASFAA 2013, held in Wuhan, China, in April 2013.The volume contains three workshops, each focusing on specific area that contributes to the main themes of the DASFAA conference: The First International Workshop on Big Data Management and Analytics (BDMA 2013), the Third International Workshop on Social Networks and Social Web (SNSM 2013) and the International Workshop on Semantic Computing and Personalization (SeCoP 2013). 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Linz, Austria, in September 2013.The 19 revised full papers presented together with 5 invited articles were carefully reviewed and selected from numerous submissions. The papers cover topics such as data models and coding theory; fundamental aspects of cryptography and security; algebraic and stochastic models of computing; logic and program modelling. 288 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Workshop on Depth Image Analysis, held in conjunction with ICPR 2012 in Japan in November 2012. The 16 revised full papers presented at the workshop were carefully reviewed and selected from 27 submissions and are complemented with 3 invited papers that were also peer-reviewed. The papers are organized in topical sections on acquisition and modeling of depth data, processing and analysis of depth data, applications, and ICPR contest. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of two workshops MAIR/AE-CAI 2013, held in conjunction with MICCAI 2013, held in Nagoya, Japan, in September 2013. The 29 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers cover a wide range of topics addressing the main research efforts in the fields of medical image formation, analysis and interpretation, augmented reality and visualization, computer assisted intervention, interventional imaging, image-guided robotics, image-guided intervention, surgical planning and simulation, systematic extra- and intra-corporeal imaging modalities, and general biological and neuroscience image computing. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place on November/December 2012, respectively, in Miyazaki, Japan. The 17 contributions in this volume were carefully reviewed and selected from 42 submissions.They are an excellent selection of papers that are representative of topics of AI research both in Japan an in other parts of the world. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics; its topics are the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) deals with juris-informatics. This workshop brings together people from various backgrounds such as law, social science, information and intelligent technology, logic and philosophy, including the conventional 'AI and law' area. MiMI (Multimodality in Multispace Interaction) focuses on how multispace is managed in socially, temporally, and sequentially complex environments. 276 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Combinatorics on Words, WORDS 2013, held in Turku, Finland, in September 2013 under the auspices of the EATCS. The 20 revised full papers presented were carefully reviewed and selected from 43 initial submissions. The central topic of the conference is combinatorics on words (i.e. the study of finite and infinite sequence of symbols) from varying points of view, including their combinatorial, algebraic and algorithmic aspects, as well as their applications. 276 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the theoretical and practical aspects of a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS), to provide a platform for presenting and discussing new ideas and results, to support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned, to identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS. 200 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 2th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2013, held in Gebze, Turkey, during May 6-7, 2013. The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 27 submissions. The papers are grouped in topical sections on efficient Implementations and designs, block cipher cryptanalysis, wireless sensor networks, and cryptographic protocols. 156 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, held in Prague, Czech Republic, in August 2013, in conjunction with DEXA 2013. The 19 revised full papers presented were carefully reviewed and selected for inclusion in this volume. They focus on the currently most sensitive areas in the field, such as identity management as a core component in any e-government or participation system, open data, mobile government applications as well as intelligent and learning systems.The papers are organized in the following topical sections: identity management in e-government; intelligent systems in e-government; e-government cases; mobile government; open government data; and e-participation. 268 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, implementations and applications as well as automated deduction and formal methods applied to logic, mathematics, software development, protocol verification, and security. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 9th European Workshop, EuroPKI 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers presented were carefully selected from 30 submissions and cover topics such as Cryptographic Schemas and Protocols, Public Key Infrastructure, Wireless Authentication and Revocation, Certificate and Trusted Computing, and Digital Structures. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning. 296 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers presented together with 4 short papers were carefully reviewed and selected from 44 submissions. The volume also contains 3 papers from the industrial track. Service-oriented computing including Web services as its most important implementation platform has become the most important paradigm for distributed software development and application. The papers illustrate how cloud computing aims at enabling mobility as well as device, platform and/or service independence by offering centralized sharing of resources. It promotes interoperability, portability and security standards, and raises a completely new set of security issues. 256 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 143 pp. Englisch.