springer berlin heidelberg aug 2013 (454 resultados)

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Die Mathematik hat sich seit dem Entstehen der modernen Naturwissenschaft im 16. Jh. als das entscheidende Erkenntnisinstrument erwiesen, so dass die Mathematisierung der Theorien eines Faches als Kriterium seiner Reife betrachtet wurde. Dennoch ist der Grund für diesen unerwarteten Anwendungserfolg immer dunkel geblieben. Warum lässt sich die materielle Natur mit dem geistigen Werkzeug der Zahlen und geometrischen Formen so perfekt erfassen Diese Frage ist eng verknüpft mit dem ontologischen Status abstrakter Objekte: Wo sind sie beheimatet, in den Dingen als Strukturen, im Hintergrund als Ideen, oder sind sie nur Fiktionen Die Hypothese dieses Buches folgt einer Idee von P.A.M. Dirac, der vermutete, dass die Natur eine innere mathematische Qualität besitzt.

Taschenbuch. Condición: 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. Condición: Neu. Neuware -In diesem Arbeitsbuch zum Lesebuch Mathematik für das erste Studienjahr finden sich Übungsaufgaben und ergänzende Beispiele zu den vorgestellten Themenbereichen.Viele der angebotenen Aufgaben sind Standardproblemstellungen in den Übungen des ersten Studienjahrs. Das Arbeitsbuch kann daher parallel und ergänzend zu den Übungen im Vorlesungsbetrieb verwendet werden. Es bietet zu allen Aufgaben vollständige Lösungsvorschläge.Für interessierte Leser sind die im Lesebuch nicht vollständig ausgeführten Beweise nachgetragen. Dadurch wird eine lückenlose Darstellung des präsentierten Materials gewährleistet. Darüber hinaus enthält das Buch eine Vielzahl ergänzender Beispiele und Übungsaufgaben mit Lösungsvorschlägen.Um die Bearbeitung des Arbeitsbuchs im Selbststudium zu erleichtern, sind die Lösungsvorschläge für die Übungen jeweils in einem separaten Abschnitt gesammelt.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 224 pp. Deutsch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeInvited Talks.- Witness Runs for Counter Machines (Abstract).- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi.- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions.- Research Papers.- Dealing with Symmetries in Modal Tableaux.- Tableaux for Verification of Data-Centric Processes.- Bounded Proofs and Step Frames.- Compression of Propositional Resolution Proofs by Lowering Subproofs.- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.- Hypersequent and Labelled Calculi for Intermediate Logics.- TATL: Implementation of ATL Tableau-Based Decision Procedure.- A Terminating Evaluation-Driven Variant of G3i.- Model Checking General Linear Temporal Logic.- Semantically Guided Evolution of SHI ABoxes.- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture.- Understanding Resolution Proofs through Herbrand's Theorem.- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search.- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.- Prefixed Tableau Systems for Logic of Proofs and Provability.- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.- Schemata of Formulæ in the Theory of Arrays.- TAFA - A Tool for Admissibility in Finite Algebras.- Formalizing Cut Elimination of Coalgebraic Logics in Coq.- Intelligent Tableau Algorithm for DL Reasoning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Condición: Neu. 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).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2012 Workshops LENLS, JURISIN, ALSIP, MiMI, which tool place onNovember/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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condición: Neu. 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 containsten research papers, which were carefully reviewed and selected from13 submissions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. 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).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -InhaltsangabeAccess control and authentication.- Identity and trust management.- privacy and confidentiality management.- Information systems security.- Security policies/legal issues.-Trust and privacy in mobile and pervasive environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held inPorquerolles, Francein 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condición: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.