Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Lecture Notes in Computer Science

Sök »
Din sökning gav 920 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Advances in Cryptology

    Advances in Cryptology

    Häftad - 1986 - Engelska - ISBN: 9783540164630

    In the summer of 1981 Allen Gersho organized the first major open co,ifcrcncc c~ci devoted to cryptologic research This meeting, Crypto '81, was held at the Universitc nl California campus in Santa Barbara Since then the Crypto' conference has becom…

  • Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design

    Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design

    Häftad - 2007 - Engelska - ISBN: 9783540733447

    This is the first of a two-volume set that constitutes the refereed proceedings of the Symposium on Human Interface 2007, held in Beijing, China in July 2007. It covers design and evaluation methods and techniques, visualizing information, retrieval…

  • Cooperative Information Agents III

    Cooperative Information Agents III

    Häftad - 1999 - Engelska - ISBN: 9783540663256

    This book constitutes the refereed proceedings of the Third International Workshop on Cooperative Information Systems, CIA'99, held in Uppsala, Sweden in July/August 1999. The 16 revised full papers presented were carefully reviewed and selected fro…

  • Artificial Social Systems

    Artificial Social Systems

    Häftad - 1994 - Engelska - ISBN: 9783540582663

    This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy. The book opens with an introdu…

  • Logic for Programming and Automated Reasoning

    Logic for Programming and Automated Reasoning

    Häftad - 2000 - Engelska - ISBN: 9783540412854

    This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held onReunionIsland,France,6-10November2000,followedbythe ReunionWo- shop on Implementation of Logic. Sixty-?ve p…

  • Deductive and Object-Oriented Databases

    Deductive and Object-Oriented Databases

    Häftad - 1993 - Engelska - ISBN: 9783540575306

    This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement eac…

  • Compiler Construction

    Compiler Construction

    Häftad - 2008 - Engelska - ISBN: 9783540787907

    ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferenc…

  • Local Area Network Security

    Local Area Network Security

    Häftad - 1989 - Engelska - ISBN: 9783540517542

  • Coalgebraic Methods in Computer Science

    Coalgebraic Methods in Computer Science

    Häftad - 2016 - Engelska - ISBN: 9783319403694

    This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10…

  • Principles and Practice of Constraint Programming - CP 2009

    Principles and Practice of Constraint Programming - CP 2009

    Häftad - 2009 - Engelska - ISBN: 9783642042430

    This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Ever…

  • Middleware 2006

    Middleware 2006

    Häftad - 2006 - Engelska - ISBN: 9783540490234

    This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers are organized in topical sections on performance,…

  • Algorithms and Computation

    Algorithms and Computation

    Häftad - 2001 - Engelska - ISBN: 9783540429852

    This volume contains the proceedings of the Twelfth Annual International S- posiumonAlgorithmsandComputation(ISAAC2001),heldinChristchurch, NewZealand,19-21December2001. Inthepast,ithasbeenheldinTokyo(1990), Taipei(1991),Nagoya(1992),HongKong(1994),…

  • New Trends in Formal Languages

    New Trends in Formal Languages

    Häftad - 1997 - Engelska - ISBN: 9783540628446

    This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume…

  • Information Security and Cryptology - ICISC 2002

    Information Security and Cryptology - ICISC 2002

    Häftad - 2003 - Engelska - ISBN: 9783540007166

     This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Information Security and Cryptology, ICISC 2002, held in Seoul, Korea in November 2002. The 35 revised full papers presented together with an invi…

  • Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Häftad - 2000 - Engelska - ISBN: 9783540672593

    This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this serie…

  • Computer Aided Verification

    Computer Aided Verification

    Häftad - 2005 - Engelska - ISBN: 9783540272311

    This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6-10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theor…

  • Intelligence and Security Informatics

    Intelligence and Security Informatics

    Häftad - 2005 - Engelska - ISBN: 9783540259992

    Intelligence and security informatics (ISI) can be broadly defined as the study of the development and use of advanced information technologies and systems for national and international security-related applications, through an integrated technolog…

  • Parallel Computing 1988

    Parallel Computing 1988

    Häftad - 1989 - Engelska - ISBN: 9783540516040

    Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of resea…

  • Distributed Computing in Sensor Systems

    Distributed Computing in Sensor Systems

    Häftad - 2005 - Engelska - ISBN: 9783540264224

    The book constitutes the refereed proceedings of the First International Conference on Distributed Computing in Sensor Systems, DCOSS 2005, held in Marina del Rey, California, USA in June/July 2005.The 26 revised full papers presented were carefully…

  • Y12M Solution of Large and Sparse Systems of Linear Algebraic Equations

    Y12M Solution of Large and Sparse Systems of Linear Algebraic Equations
    av Z. Zlatev

    Häftad - 1981 - Engelska - ISBN: 9783540108740

  • Systems Aspects in Organic and Pervasive Computing - ARCS 2005

    Systems Aspects in Organic and Pervasive Computing - ARCS 2005

    Häftad - 2005 - Engelska - ISBN: 9783540252733

    The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Here the main objectives are to maintain system reliability and to keep the des…

  • Network Economics for Next Generation Networks

    Network Economics for Next Generation Networks

    Häftad - 2009 - Engelska - ISBN: 9783642017957

    Starting with the imminent roll-out of the IP Multimedia Subsystem (IMS) and fourth-Generation networking technology, Next Generation Networks (NGN) are gradually becoming reality, with charging and Quality-of-Service (QoS) issues as two of the key…

  • Computational Combinatorial Optimization

    Computational Combinatorial Optimization

    Häftad - 2001 - Engelska - ISBN: 9783540428770

    This tutorial contains written versions of seven lectures on Computational Combinatorial Optimization given by leading members of the optimization community. The lectures introduce modern combinatorial optimization techniques, with an emphasis on br…

  • Algorithms - ESA 2000

    Algorithms - ESA 2000

    Häftad - 2000 - Engelska - ISBN: 9783540410041

    This book constitutes the refereed proceedings of the 8th Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented together with two invited papers were carefully reviewe…

  • Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis

    Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis

    Häftad - 2004 - Engelska - ISBN: 9783540226758

    Medical imaging and medical image analysisare rapidly developing. While m- ical imaging has already become a standard of modern medical care, medical image analysis is still mostly performed visually and qualitatively. The ev- increasing volume of a…

  • Middleware 2008

    Middleware 2008

    Häftad - 2008 - Engelska - ISBN: 9783540898559

    This volume contains the proceedings of the International Middleware Con- rence, held in Leuven, Belgium during December 1-4, 2008. This year marked the ninth rendition of this annual conference in its current format initially - opted in 1998, aspir…

  • Image and Video Retrieval

    Image and Video Retrieval

    Häftad - 2002 - Engelska - ISBN: 9783540438991

    Welcome to the International Conference an Image and Video Retrieval, CIVR2002. Ourconferenceisasnapshotofthecurrentworld-wideresearch inimageandvideoretrievalfromdigitallibraries,databases,andmultimedia collections. Topicsrangefromthestateofthearti…

  • Medical Data Analysis

    Medical Data Analysis

    Häftad - 2002 - Engelska - ISBN: 9783540000440

    The International Symposium on Medical Data Analysis is an important - riodical opportunity to exchange ideas and ?rst-hand experiences with groups interested in the medical applications of innovative hardware and software tools. The massive informa…

  • Adaptive Agents and Multi-Agent Systems II

    Adaptive Agents and Multi-Agent Systems II

    Häftad - 2005 - Engelska - ISBN: 9783540252603

    Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science.This b…

  • Logic Programming '86

    Logic Programming '86

    Häftad - 1987 - Engelska - ISBN: 9783540180241

    This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prol…

  • STACS 94

    STACS 94

    Häftad - 1994 - Engelska - ISBN: 9783540577850

    This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted con…

  • Bioinformatics Research and Applications

    Bioinformatics Research and Applications

    Häftad - 2007 - Engelska - ISBN: 9783540720300

    This book constitutes the refereed proceedings of the Third International Symposium on Bioinformatics Research and Applications, ISBRA 2007, held in Atlanta, GA, USA in May 2007. The 55 revised full papers presented together with three invited talks…

  • Stochastic Algorithms: Foundations and Applications

    Stochastic Algorithms: Foundations and Applications

    Häftad - 2001 - Engelska - ISBN: 9783540430254

    SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13–14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal…

  • Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Häftad - 2004 - Engelska - ISBN: 9783540229421

    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based so…

  • On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE

    On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE

    Häftad - 2005 - Engelska - ISBN: 9783540297369

    such as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. Pilar Herrero, several of earlier successful workshops re-emerged with a second or even third edi…

  • Types for Proofs and Programs

    Types for Proofs and Programs

    Häftad - 2007 - Engelska - ISBN: 9783540744634

    The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and…

  • Rechner-Gestützter Unterricht

    Rechner-Gestützter Unterricht

    Pocket - 1974 - Engelska - ISBN: 9783540069072

    ACU - Arbeitskreis Computer-Unterstutzter Unterricht

  • Algebra and Coalgebra in Computer Science

    Algebra and Coalgebra in Computer Science

    Häftad - 2007 - Engelska - ISBN: 9783540738572

    A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in…

  • Trusting Agents for Trusting Electronic Societies

    Trusting Agents for Trusting Electronic Societies

    Häftad - 2005 - Engelska - ISBN: 9783540280125

    Based on two international workshops on trust in agent societies, held at AAMAS 2003 and AAMAS 2004, this book draws together carefully revised papers on trust, reputation, and security in agent society. Besides workshop papers, several contribution…

  • TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Häftad - 1991 - Engelska - ISBN: 9783540539810

    TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOF…

  • Extreme Programming and Agile Methods - XP/Agile Universe 2004

    Extreme Programming and Agile Methods - XP/Agile Universe 2004

    Häftad - 2004 - Engelska - ISBN: 9783540228394

    It was 1999 when Extreme Programming Explained was ?rst published, making this year's event arguably the ?fth anniversary of the birth of the XP/Agile movement in software development. Our fourth conference re?ected the evolution and the learning th…

  • Analytical and Stochastic Modeling Techniques and Applications

    Analytical and Stochastic Modeling Techniques and Applications

    Häftad - 2012 - Engelska - ISBN: 9783642307812

    This book constitutes the refereed proceedings of the 19th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2012, held in Grenoble, France, in June 2012.The 20 revised full papers presented were care…

  • Groupware: Design, Implementation, and Use

    Groupware: Design, Implementation, and Use

    Häftad - 2003 - Engelska - ISBN: 9783540201175

    This volume constitutes the proceedings of the 9th International Workshop on Groupware (CRIWG 2003). The conference was held in the city of Autrans, on the spectacular Vercors plateau in the foothills of the French Alps. The or- nizing committee cou…

  • Vector and Parallel Processing - VECPAR 2000

    Vector and Parallel Processing - VECPAR 2000

    Häftad - 2001 - Engelska - ISBN: 9783540419990

    This book is the ?nal outcome of VECPAR 2000 – 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 19…

  • Coordination Models and Languages

    Coordination Models and Languages

    Häftad - 2007 - Engelska - ISBN: 9783540727934

    This book constitutes the refereed proceedings of the 9th International Conference on Coordination Models and Languages, COORDINATION 2007, held in Paphos, Cyprus, June 2007, as one of the federated conferences on Distributed Computing Techniques. I…

  • Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Häftad - 2005 - Engelska - ISBN: 9783540261810

    This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Athens, Greece on June 15-17, 2005. The eventwasthe seventhmeetin…

  • Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach

    Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach

    Häftad - 2005 - Engelska - ISBN: 9783540263197

    The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su?ciently solid, and still non-exclusive, that allows us: 1. tohelpneuroscientiststoform…

  • Progress in Evolutionary Computation

    Progress in Evolutionary Computation

    Häftad - 1995 - Engelska - ISBN: 9783540601548

    This volume contains the best carefully revised full papers selected from the presentations accepted for the AI '93 and AI '94 Workshop on Evolutionary Computation held in Australia. The 21 papers included cover a wide range of topics in the field o…

  • Audio- and Video-Based Biometric Person Authentication

    Audio- and Video-Based Biometric Person Authentication

    Häftad - 2005 - Engelska - ISBN: 9783540278870

    This book constitutes the refereed proceedings of the 5th International Conference on Audio- and Video-Based Biometric Person Authentication, AVBPA 2005, held in Hilton Rye Town, NY, USA, in July 2005. The 66 revised oral papers and 50 revised poste…

  • SDL 2001: Meeting UML

    SDL 2001: Meeting UML

    Häftad - 2001 - Engelska - ISBN: 9783540422815

    This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world telecommunications body, the International Telecommunications Union (ITU), more than 20 yea…