ReihenLecture Notes in Computer Science

258 Werke Beliebtheit 16,869 (485 Mitglieder) 1,605 Bücher 3 Rezensionen 3.2
SortierreihenfolgeVerlag / bibliographische Angaben
Pascal User Manual and Report von Kathleen Jensen 204 Exemplare, 1 Rezension18
Compiler Construction: An Advanced Course (Lecture Notes in Computer Science) von F.L. Bauer 19 Exemplare21
Interval Mathematics von K. Nickel 1 Exemplar29
An Optimized Translation Process and Its Application to ALGOL 68 von P. Branquart 4 Exemplare38
Language Hierarchies and Interfaces von North Atlantic Treaty Organization. Scientific Affairs Division 1 Exemplar46
A Concurrent Pascal Compiler for Minicomputers von Alfred C. Hartmann 5 Exemplare50
Portability of Numerical Software von Ill. 1976 Workshop on the Portability of Numerical Software Oak Brook 1 Exemplar57
Operating Systems: An Advanced Course von R. Bayer 3 Exemplare60
The Vienna Development Method: The Meta-Language von D. Bjorner 2 Exemplare61
Introduction to Hamiltonian Dynamical Systems and the N-Body Problem von Kenneth Meyer 27 Exemplare77
Context-free grammars : covers, normal forms, and parsing von Anton Nijholt 2 Exemplare93
Computer programs for spelling correction : an experiment in program design von James Lyle Peterson 6 Exemplare96
Towards a Formal Description of Ada von D. Bjorner 1 Exemplar98
Directions in Human Factors for Interactive Systems von Henry Ledgard 2 Exemplare103
Distributed Systems--Architecture and Implementation: An Advanced Course von Donald Watts Davies 5 Exemplare105
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs von Waltraud Dehning 1 Exemplar110
CLU Reference Manual von B. Liskov 15 Exemplare, 1 Rezension114
Algorithms in Modern Mathematics and Computer Science von A. P. Ershov 3 Exemplare122
Data Base Design Techniques I: Requirements and Logical Structures von yaosb 2 Exemplare132
An Attribute Grammar for the Semantic Analysis of ADA von J. Uhl 3 Exemplare139
GAG: A Practical Compiler Generator von U. Kastens 6 Exemplare141
Cryptography (Eurocrypt 1982) von Thomas Beth 6 Exemplare149
The Programming Language Ada Reference Manual von J. Hartmanis 5 Exemplare155
Direct Methods for Sparse Matrices von Ole Østerby 1 Exemplar157
DIANA: An Intermediate Language for Ada von G. Goos 5 Exemplare161
Programming Languages and their Definition von H. Bekic 3 Exemplare177
Ada Software Tools Interfaces von G. Goos 2 Exemplare180
Local Area Networks: An Advanced Course von D. Hutchison 1 Exemplar184
Formal Methods and Software Development von Hartmut Ehrig 2 Exemplare186
Advances in Petri Nets 1984 1 Exemplar188
Functional Programming Languages and Computer Architecture von Jean-Pierre Jouannaud 4 Exemplare201
Third International Conference on Logic Programming. Imperial College of Science and Technology, London, United Kingdom, von Ehud Shapiro 5 Exemplare225
TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19-21, 1986 Proceedings von Jacques Desarmenien 4 Exemplare236
Advances in Petri Nets 1987 von Grzegorz Rozenberg 2 Exemplare266
Visualization in Programming von P. Gorny 3 Exemplare282
Mathematical Foundations of Programming Language Semantics 1987 von Michael Main 3 Exemplare298
Modern Cryptology: A Tutorial von Gilles Brassard 4 Exemplare325
Compiler Compilers and High Speed Compilation 1988 von D. Hammer 1 Exemplar371
The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing von Kay A. Robbins 4 Exemplare374
Design and Implementation of Large Spatial Databases von A. Buchmann 1 Exemplar409
Advances in Cryptology - CRYPTO '89: Proceedings von G. Brassard 5 Exemplare435
Fault-tolerant Distributed Computing (Lecture Notes in Computer Science) von Barbara Simons 1 Exemplar448
Operating Systems of the 90s and Beyond: International Workshop Dagstuhl Castle, Germany, July 8-12, 1991 Proceedings von A. Karshmer 1 Exemplar563
Axioms and Hulls von Donald E. Knuth 12 Exemplare606
Ecoop '92. European Conference on Object-Oriented Programming (Lecture Notes in Computer Science) von O. Lehrmann Madsen 1 Exemplar615
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science) von Richard S. Bird 1 Exemplar669
Fast Software Encryption: Cambridge Security Workshop von Ross Anderson 4 Exemplare809
Applications of Invariance in Computer Vision: Second Joint European-US Workshop von Joseph L. Mundy 1 Exemplar825
Category Theory and Computer Science (CTCS95) von David Pitt 1 Exemplar953
Image Analysis Applications and Computer Graphics (ICSC95) von Roland Chin 1 Exemplar1024
Fast Software Encryption: Third International Workshop von Dieter Gollmann 1 Exemplar1039
Computer Vision - ECCV '96. Proceedings, Volume I von Bernard Buxton 1 Exemplar1064
Computer Vision - ECCV '96. Proceedings, Volume II von Bernard Buxton 1 Exemplar1065
Computer Aided Verification 1996 von Rajeev Alur 1 Exemplar1102
Principles and Practice of Constraint Programming - CP'96: Proceedings von Eugene C. Freuder 1 Exemplar1118
Algorithmic Number Theory: Second International Symposium, ANTS-II, Talence, France, May 18 - 23, 1996, Proceedings (Lec von Henri Cohen 5 Exemplare1122
Information Hiding: First International Workshop von Ross Anderson 4 Exemplare1174
Security Protocols: International Workshop von Mark Lomas 2 Exemplare1189
Ada 95 Reference Manual: Language and Standard Libraries von S. Tucker Taft 4 Exemplare1246
Ada 95 Rationale: The Language, the Standard Libraries von John Barnes 5 Exemplare1247
Fast Software Encryption: 4th International Workshop, Haifa, Israel von Eli Biham 1 Exemplar1267
Theorem Proving in Higher Order Logics (TPHOLs'97) von Elsa L. Gunter 3 Exemplare1275
Financial Cryptography: First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Pro von Rafael Hirschfeld 4 Exemplare1318
Ada 95 Quality and Style von Christine Ausnit-Hood 6 Exemplare1344
Security Protocols: 5th International Workshop von Bruce Christianson 1 Exemplar1371
Fast Software Encryption: 5th International Workshop, Paris, France von Serge Vaudnay 2 Exemplare1372
Applications of Uncertainty Formalisms von Anthony Hunter 2 Exemplare1455
Computer Security: 5th European Symposium on Research in Computer Security von Jean-Jacques Quisquater 2 Exemplare1485
Lectures on Petri Nets I: Basic Models von Wolfgang Reisig 4 Exemplare1491
Lectures on Petri Nets II: Applications von Wolfgang Reisig 3 Exemplare1492
Formal Syntax and Semantics of Java von Jim Alves-Foss 5 Exemplare1523
Security Protocols: 6th International Workshop von Bruce Christianson 1 Exemplar1550
Lectures on Data Security: Modern Cryptology in Theory and Practice von Ivan Damgard 9 Exemplare1561
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses von Matthew M. Huntbach 9 Exemplare1630
Handheld and Ubiquitous Computing: First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Pro von Hans W. Gellersen 7 Exemplare1707
Principles and Practice of Constraint Programming (CP99) von Joxan Jaffar 4 Exemplare1713
MMIXware: A RISC Computer for the Third Millennium von Donald E. Knuth 19 Exemplare1750
Security Protocols: 7th International Workshop von Bruce Christianson 5 Exemplare1796
Theorem Proving in Higher Order Logics (TPHOLs 2000) von Mark Aagaard 1 Exemplar1869
Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings von Ulrik Brandes 3 Exemplare1928
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets von Gul A. Agha 2 Exemplare2001
Advances in Exception Handling Techniques (Lecture Notes in Computer Science) von Alexander Romanovsky 5 Exemplare2022
Drawing Graphs. Methods and Models von Michael Kaufmann 22 Exemplare2025
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet von Jean-Yves Le Boudec 12 Exemplare2050
Computational Biology: First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers (Lecture Notes in Computer Science) von Olivier Gascuel 5 Exemplare2066
ECOOP 2001 - Object-Oriented Programming: 15th European Conference von Jorgen Lindskov Knudsen 5 Exemplare2072
A Generative Theory of Shape. (Lecture Notes in Computer Science Vol. 2145) von Michael Leyton 13 Exemplare2145
Cryptography and Lattices: International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers von Joseph H. Silverman 1 Exemplar2146
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings von Olivier Gascuel 4 Exemplare2149
Automatic Generation of Computer Animation von Ruqian Lu 3 Exemplare2160
Computational discrete mathematics : advanced lectures von Helmut Alt 3 Exemplare2172
Consolidated Ada Reference Manual. Language and Standard Libraries: International Standard ISO/Iec 8652/1995(E) with Tec von S. Tucker Taft 5 Exemplare2219
Job Scheduling Strategies for Parallel Processing: 11th International Workshop von Dror G. Feitelson 14 Exemplare2221
Isabelle/HOL: A Proof Assistant for Higher-Order Logic von Tobias Nipkow 6 Exemplare2283
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures von Roland Backhouse 2 Exemplare2297
Association Rule Mining: Models and Algorithms von Chengqi Zhang 3 Exemplare2307
Fast Software Encryption: 9th International Workshop, FSE 2002 von Joan Daemen 0 Exemplare2365
Security Protocols: 9th International Workshop von Bruce Christianson 8 Exemplare2467
Data Mining on Multimedia Data von Petra Perner 6 Exemplare2558
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl von Olaf Owe 5 Exemplare2635
Applications and Theory of Petri Nets, 2003: 24th International Conference, Icatpn 2003, Eindhoven, the Netherlands, Jun von Wil van der Aalst 2 Exemplare2679
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications von Markus Schumacher 7 Exemplare2754
Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) von Michael J. Wilson 0 Exemplare2768
Journal on Data Semantics I von S. Spaccapietra 7 Exemplare2800
Composition of Secure Multi-Party Protocols: A Comprehensive Study von Yehuda Lindell 5 Exemplare2815
CASL User Manual: Introduction to Using the Common Algebraic Specification Language von M. Bidoit 6 Exemplare2900
Validation of Stochastic Systems: A Guide to Current Research von Christel Baier 7 Exemplare2925
Databases, Information Systems, and Peer-to-Peer Computing von Karl Aberer 11 Exemplare2944
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language von Peter D. Mosses 7 Exemplare2960
Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science) von Matthias Nickles 4 Exemplare2969
Engineering Self-Organising Systems 2003 von Giovanna Di Marzo Serugendo 10 Exemplare2977
Model Checking Software (SPIN 2004) von Susanne Graf 8 Exemplare2989
Primality Testing in Polynomial Time: From Randomized Algorithms to “PRIMES Is in P” von Martin Dietzfelbinger 8 Exemplare3000
Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers (Lecture Notes in Computer Science) von Koichi Kurumatani 4 Exemplare3012
Probabilistic and Statistical Methods in Cryptology: An Introduction by Selected Topics von Daniel Neuenschwander 9 Exemplare3028
Advanced Distributed Systems: Third International School and Symposium, Revised Papers von Victor Larios 8 Exemplare3061
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers (Lecture Notes in Computer Science) von Mehdi Dastani 5 Exemplare3067
Engineering Societies in the Agents World IV: 4th International Workshop, ESAW 2003, London, UK, October 29-31, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science) von Andrea Omicini 4 Exemplare3071
Medical Simulation: International Symposium, ISMS 2004, Proceedings von Dimitris Metaxas 3 Exemplare3078
Adaptive Multimedia Retrieval: First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science) von Andreas Nürnberger 3 Exemplare3094
Lectures on Concurrency and Petri Nets: Advances in Petri Nets von Jörg Desel 4 Exemplare3098
Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday von Juhani Karhumäki 5 Exemplare3113
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) von Dexter Kozen 1 Exemplar3125
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2004) von Wolfgang Nejdl 3 Exemplare3137
Integration of Software Specification Techniques for Applications in Engineering von Hartmut Ehrig 6 Exemplare3147
Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Proceedings von Matt Franklin 10 Exemplare3152
Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Proceedings von Marc Joye 8 Exemplare3156
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings von Philippa Gardner 6 Exemplare3170
Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings von Petr Sojka 10 Exemplare3206
Web Mining: From Web to Semantic Web: First European Web Mining Forum, EWMF 2003, Cavtat-Dubrovnik, Croatia, September 22, 2003, Revised Selected and ... / Lecture Notes in Artificial Intelligence) von Bettina Berendt 8 Exemplare3209
Research and Advanced Technology for Digital Libraries: 8th European Conference, ECDL 2004, Bath, UK, September 12- von Rachel Heery 9 Exemplare3232
Algorithms in bioinformatics : 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings von Inge Jonassen 7 Exemplare3240
Algorithms and Models for the Web-Graph: Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004. Proceedings von Stefano Leonardi 2 Exemplare3243
Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science) von Jürgen Dix 4 Exemplare3259
Peer-to-Peer Systems III: Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) (v. 3) von Geoffrey M. Voelker 3 Exemplare3279
Computer Music Modeling and Retrieval von Uffe Kock Wiil 9 Exemplare3310
Security in Ad-hoc and Sensor Networks: First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised von Claude Castelluccia 2 Exemplare3313
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseil von Gilles Barthe 3 Exemplare3362
Semantic Web Services and Web Process Composition: First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6 von Jorge Cardoso 6 Exemplare3387
Combinatorial and Algorithmic Aspects of Networking: First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, ... Networks and Telecommunications) von Alejandro López-Ortiz 2 Exemplare3405
Socionics: Scalability of Complex Social Systems von Klaus Fischer 4 Exemplare3413
Network Analysis : Methodological Foundations von Ulrik Brandes 14 Exemplare3418
Knowledge and Information Visualization: Searching for Synergies von Sigmar-Olaf Tergan 15 Exemplare3426
Massively Multi-Agent Systems I: First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Se von Toru Ishida 3 Exemplare3446
Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues) von Pilar Herrero 2 Exemplare3458
Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations (Lecture Notes in Computer Sci von Ozalp Babaoglu 4 Exemplare3460
From Computer Literacy to Informatics Fundamentals von Roland Mittermeir 2 Exemplare3472
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 20 von Jean-Pierre Banâtre 2 Exemplare3566
Computer Aided Verification 2005 von Kousha Etessami 3 Exemplare3576
Trusting Agents for Trusting Electronic Societies: Theory and Applications in HCI and E-Commerce (Lecture Notes in Computer Science) von Rino Falcone 2 Exemplare3577
The Seventeen Provers of the World von Freek Wiedijk 9 Exemplare3600
Theorem Proving in Higher Order Logics (TPHOLs 2005) von Joe Hurd 2 Exemplare3603
Mathematics of Surfaces XI: 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings (Lecture Notes in Computer Science / ... Computer Science and General Issues) (v. 11) von Malcolm Sabin 1 Exemplar3604
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings von Frank Dehne 13 Exemplare3608
Peer-to-Peer Systems IV: 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers (Lecture Notes in Computer Science) von Miguel Castro 2 Exemplare3640
Research and Advanced Technology for Digital Libraries: 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings ... Applications, incl. Internet/Web, and HCI) von Andreas Rauber 4 Exemplare3652
The Semantic Web - ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings von Yolanda Gil 3 Exemplare3729
Management of Multimedia Networks and Services: 8th International Conference, MMNS 2005, Proceedings von Jordi Dalmau Royo 2 Exemplare3754
Data Mining: Theory, Methodology, Techniques, and Applications von Graham J. Williams 10 Exemplare3755
Ambient Networks: 16th IFIP/IEEE International Workshop, Proceedings von Jürgen Schönwälder 2 Exemplare3775
Grid and Cooperative Computing (GCC 2005) von Hai Zhuge 2 Exemplare3795
Theory and Practice of Computer Science (SOFSEM 2006) von J Wiedermann 2 Exemplare3831
Transactions on Aspect-Oriented Software Development I von Awais Rashid 10 Exemplare3880
Theoretical Computer Science: Essays in Memory of Shimon Even von Oded Goldreich 3 Exemplare3895
Evolutionary Computation in Combinatorial Optimization von Jens Gottlieb 6 Exemplare3906
Engineering Self-Organising Systems 2005 von Sven A. Brueckner 1 Exemplar3910
Parallel Processing and Applied Mathematics, Part I: 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 (Lecture Notes in ... Computer Science and General Issues) von Roman Wyrzykowski 13 Exemplare3911
Designing Smart Homes: The Role of Artificial Intelligence von Juan Carlos Augusto 6 Exemplare4008
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues) von Tarmo Uustalu 1 Exemplar4014
Advanced Topics in Exception Handling Techniques von Christophe Dony 2 Exemplare4119
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers von Ralf Lämmel 5 Exemplare4143
Rigorous Development of Complex Fault-Tolerant Systems von Michael Butler 2 Exemplare4157
Algorithms in Bioinformatics: 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings (Lecture Notes in Computer Science) von Philipp Bücher 4 Exemplare4175
Geographic Information Science: 4th International Conference, GIScience 2006Münster, Germany, September 20-23, 2006Proc von Martin Raubal 15 Exemplare4197
Innovative Approaches for Learning and Knowledge Sharing (EC-TEL 2006) von Wolfgang Nejdl 6 Exemplare4227
Transactions on Aspect-Oriented Software Development II: Focus: AOP Systems, Software and Middleware (Lecture Notes in C 1 Exemplar4242
Autonomic Management of Mobile Multimedia Services von Ahmed Helmy 3 Exemplare4267
Large Scale Management of Distributed Systems von Radu State 3 Exemplare4269
Engineering Self-Organising Systems 2006 von Sven A. Brueckner 7 Exemplare4335
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows von Radu Prodan 8 Exemplare4340
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical C von S. Tucker Taft 4 Exemplare4348
Verification, Model Checking, and Abstract Interpretation 2007 von Byron Cook 1 Exemplar4349
Journal on Data Semantics VIII von Stefano Spaccapietra 2 Exemplare4380
New Frontiers in Artificial Intelligence (JSAI 2006) von Takashi Washio 3 Exemplare4384
Speaker Classification II: Selected Papers von Christian Møller 3 Exemplare4441
Fun with Algorithms: 4th International Conference, FUN 2007 von Paolo Boldi 6 Exemplare4475
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development von Peter P. Chen 3 Exemplare4512
Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior von Martin V. Butz 2 Exemplare4520
Journal on Data Semantics IX von Stefano Spaccapietra 2 Exemplare4601
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 2007, Revised Selected Papers von Bo Chen 1 Exemplar4614
Transactions on Aspect-Oriented Software Development III von Awais Rashid 6 Exemplare4620
Security Protocols: 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers von Bruce Christianson 1 Exemplar4631
Transactions on Aspect-Oriented Software Development IV von Awais Rashid 1 Exemplar4640
Mathematics of Surfaces XII: 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings (Lecture Notes in Computer Science) von Ralph Martin 1 Exemplar4647
Research and Advanced Technology for Digital Libraries: 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings (Lecture ... Applications, incl. Internet/Web, and HCI) von László Kovács 5 Exemplare4675
From Web to Social Web: Discovering and Deploying User and Content Profiles (WebMine 2006) von Bettina Berendt 2 Exemplare4737
Creating New Learning Experiences on a Global Scale: Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September ... (Lecture Notes in Computer Science) von Erik Duval 4 Exemplare4753
Managing Virtualization of Networks and Services: 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, Jose, CA, USA, October 2007, Proceedings von Alexander Clemm 2 Exemplare4785
IP Operations and Management: 7th IEEE International Workshop, IPOM 2007 von Deep Medhi 2 Exemplare4786
Real-Time Mobile Multimedia Services: 10th IFIP/IEEE International Conference, MMNS 2007: Proceedings von Dilip Krishnaswamy 3 Exemplare4787
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 2007, Proceedings von Michael Butler 1 Exemplar4789
Reflections on the Teaching of Programming: Methods and Implementations von Jens Bennedsen 15 Exemplare4821
Sustainable Internet: Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings (Lecture Notes in Computer Science) von Serge Fdida 4 Exemplare4866
Advances in Cryptology - EUROCRYPT 2008 von Nigel Smart 3 Exemplare4965
25 Years of Model Checking: History, Achievements, Perspectives von Orna Grumberg 8 Exemplare, 1 Rezension5000
Ada 2005 Rationale: The Language, The Standard Libraries von John Barnes 4 Exemplare5020
Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers von Kaisa Nyberg 2 Exemplare5086
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2008) von Wolfgang Nejdl 1 Exemplar5149
Visualization for Computer Security: 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008, Proceedings von John R. Goodall 1 Exemplar5210
Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008, Proceedings von Filip De Turck 2 Exemplare5273
Management of Converged Multimedia Networks and Services: 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008, Proceedings von George Pavlou 2 Exemplare5274
IP Operations and Management: 8th IEEE International Workshop, IPOM 2008 von Nail Akar 2 Exemplare5275
Modelling Autonomic Communications Environments: Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings von Sven van der Meer 3 Exemplare5276
Smart Sensing and Context: Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings (Lecture Notes in Computer Science) von Daniel Roggen 3 Exemplare5279
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part I von David Forsyth 3 Exemplare5302
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part III von David Forsyth 1 Exemplar5304
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part IV von David Forsyth 1 Exemplar5305
Advances in Cryptology - ASIACRYPT 2008 von Josef Pawel Pieprzyk 2 Exemplare5350
Advances in information security and assurance : third international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 : proceedings von James Park 3 Exemplare5576
Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, Proceedings von José Luis Borbinha 8 Exemplare5714
Integrated Management of Systems, Services, Processes and People in IT: 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009: Venice, Italy, October 2009, Proceedings von Claudio Bartolini 4 Exemplare5841
Wired-Wireless Multimedia Networks and Services Management: 12th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2009: Venice, Italy, 2009, Proceedings von Tom Pfeifer 2 Exemplare5842
IP Operations and Management: 9th IEEE International Workshop, IPOM 2009 von Giorgio Nunzi 2 Exemplare5843
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings von John C. Strassner 3 Exemplare5844
Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings von Stefano Leonardi 3 Exemplare5929
Security Protocols: 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers von Bruce Christianson 3 Exemplare5964
Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues) von Claude Bolduc 4 Exemplare6120
Research and advanced technology for digital libraries 14th European conference, ECDL 2010, Glasgow, UK, September 6 - 10, 2010 ; proceedings von Mounia Lalmas 3 Exemplare6273
Algorithms in bioinformatics : 10th international workshop, WABI 2010, Liverpool, UK, September 6-8, 2010 : proceedings von Vincent Moulton 4 Exemplare6293
Modelling Autonomic Communication Environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings von Rob Brennan 2 Exemplare6473
Theory of Quantum Computation, Communication and Cryptography von Wim van Dam 2 Exemplare6519
Advances in Information Retrieval: 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings von Paul Clough 6 Exemplare6611
Computational Color Imaging: Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011, Proceedings von Raimondo Schettini 3 Exemplare6626
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 2011. Proceedings von Jake K. Aggarwal 3 Exemplare6636
Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers von Antoine Joux 4 Exemplare6733
Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011 von Adrian Kosowski 2 Exemplare6796
Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings von Weifan Wang 2 Exemplare6831
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings von Teresa M. Przytycka 6 Exemplare6833
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 14th International Workshop, APPROX 2011, and 15th International Workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011. Proceedings von Leslie Ann Goldberg 2 Exemplare6845
Advances in spatial and temporal databases : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings von Dieter Pfoser 3 Exemplare6849
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings von Johann Eder 5 Exemplare6909
Advances in information retrieval theory : third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings von Giambattista Amati 3 Exemplare6931
Advances in intelligent data analysis X : 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings von João Gama 3 Exemplare7014
Video Processing and Computational Video: International Seminar, Dagstuhl Castle, Germany, October 2010. Revised Papers von Daniel Cremers 1 Exemplar7082
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings von Evangelos Kranakis 2 Exemplare7288
The Language of Mathematics: A Linguistic and Philosophical Investigation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) von Mohan Ganesalingam 7 Exemplare7805
Algorithms in bioinformatics : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings von Aaron Darling 6 Exemplare8126
Fun with algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings von Alfredo Ferro 2 Exemplare8496
Algorithms in bioinformatics : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings von Dan Brown 1 Exemplar8701
Algorithmic Aspects of Cloud Computing: First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science) von Ioannis Karydis 0 Exemplare9511
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I (Lecture Notes in Computer Science) von Roman Wyrzykowski 0 Exemplare9573
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II von Roman Wyrzykowski 0 Exemplare9574
Research in Computational Molecular Biology: 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings (Lecture Notes in Computer Science) von Mona Singh 0 Exemplare9649
Research and Advanced Technology for Digital Libraries 21st International Conference on Theory and Practice of Digital Libraries, TPDL 2017, Thessaloniki, Greece, September 18-21, 2017, Proceedings von Jaap Kamps 1 Exemplar10450
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems von Martin V. Butz 6 Exemplare
Learning Higher Mathematics von Lev Pontryagin 4 Exemplare
The Traveling Salesman: Computational Solutions for TSP Applications von Gerhard Reinelt 5 Exemplare
Universal Access in Health Telematics: A Design Code of Practice von Constantine Stephanidis 3 Exemplare

Tags

2012-0205(12) 2014-0913(13) [Box D11](8) [Box D7](6) [Box Dada](9) ada(13) algorithms(5) artificial intelligence(7) compilers(8) computational complexity(7) computer(10) computer architecture(7) computer communication networks(5) computer programming(6) computer science(111) computer software(10) computer vision(8) computers(15) computing(58) conference proceedings(9) congresses(7) cryptography(6) cs(20) data mining(7) database(7) database management(6) digital libraries(6) ebook(17) ecdl(5) li_3(10) lncs(33) math(11) network(7) networking(5) non-fiction(23) Pascal(35) Pascal programming language(5) proceedings(18) programming(61) programming language(7) programming languages(29) security(12) software(5) software engineering(5) Springer(38) storage(5) to-read(8) uncategorized(24) unsortedISBN(9) wishlist(6)

Top Members

zhuazhua88 (51 Werke), nfactor13 (37), tim_rylance (32), morphismus (31), prengel90 (18), aabdelrahmanm (17), vdmeersven (17), updgenref (15), xyzzy77 (13), Real1Det (13), realonedet (13), LibraryImporter (11), ai51 (10), bvs (7), olebakk (6), gremo (6), clamp (6), gbooch (5), mreza101 (5), pmcjones (5), CMUQLResearch (4), pbleyer (4), dskea (4), pbolger (4), mschiffer (4), cbgjr (4), dakvid (4), jbsavitz1 (3), DawnDrain (3), alicekeller (3), elmanu (3), FRCNRS3409 (3), pleigh20 (3), nicodemo (3), frogman2 (3), is-ude (3), AnimationChina (3), aziiz (3), flint63 (3), evan.kirshenbaum (3), scg (3), idiosyncratic (3), nillacat (3), raak (3), demorgan (2), jfwsem (2), alexbayen (2), Markober (2), pngwen (2), gandg (2), 4C-Library (2), HelmutSimonis (2), m_bearach (2), garywgaryw (2), danbri (2), akopete (2), reastman (2), naimdjon (2), cnsrd (2), idkk (2), vauclair (2), YavorD (2), s.e.c. (2), draganigajic (2), dicole (2), BigBaaadBob (2), ComputerHistory (2), bumatic (2), atze (2), Torsten_Holmer (2), Marse (2), heta01 (2), brs (2), louisedennis (2), ycaseau (2), nounours (2), seataf-wants (2), prosfilaes (2), Nao (2), paulhurtley (2), starfighter (2), henny (2), billposer (2), cirdan747 (2), brent_williams (2), bedarrabooks1 (2), deg (2), PeterCapek (2), tombrinck (2), burtzlaff (2), aegean (2), maryb (2), Jijnasu (1), moxiebadger (1), rds56 (1), tdietterich (1), icrbooks (1), Johnson9800 (1), megabeast2_0 (1), GreenBankObs (1), bgbaumgart (1), whpowell96 (1), benschwem (1), salzer (1), dandLyons (1), Crooper (1), willard5991 (1), StrayerUni (1), kjharcombe (1), YoavCohen (1), aFewMooreBooks (1), sharedpresence (1), wallsi (1), Gary46 (1), ksheerabdhi (1), NickPetty (1), dmiserak (1), gshubert17 (1), pbumbulis (1), mjtko (1), ibsdimag (1), increpare (1), blanvill (1), ttuckerman (1), garryjr (1), filipkos (1), Venuss (1), Wark (1), firestarw (1), logoi (1), NUWC (1), mensbrugghe (1), hogank (1), jcluthe (1), ssg62 (1), mb66 (1), DFGUU (1), tubaspiller (1), JEEmerson (1), Ken_Roger_Riggs (1), MaxHaydenChiz (1), RMHudspeth (1), alexbayen3 (1), nathanleesw12 (1), srkal (1), Gary.Wardell (1), brahim2 (1), ArlieS (1), Datahistorisk (1), Alexander_Holik (1), crazylyle (1), call_me_ishmael (1), BUMPCS (1), worldsurfer (1), solushka (1), pascalien (1), mhewett (1), dabbott (1), Rkpriddy (1), M.Bird (1), SampleAndy (1), theorein (1), tgoncalves (1), Dudda (1), BobCulley (1), DIWalker1960 (1), muftiwfm (1), Leischen (1), BibliotecaCAAA (1), shingarov (1), retry (1), Eduardo.del.Olmo (1), cheesestraws (1), ictegroup (1), russdaniels (1), Laurence.Lai (1), objurgate (1), noisebridge (1), MeloraA (1), ponsaert (1), nicmyers (1), PastorBrianLam (1), amanda.lea (1), weiqune (1), schappa (1), psandy (1), PeoriaPeaceInstitute (1), JohnAKillip (1), Melissanthi (1), cvermilion (1), bugzcomputers (1), nsiac (1), Pennydart (1), ChrisLT521 (1), workingeveryday4me (1), xaagmabag (1), tsuitor (1), irl (1), SGPP-Indonesia (1), wwj (1)

Beliebtheit