SeriesLecture Notes in Computer Science

258 Obras Popularidad 16,859 (485 Miembros) 1,605 Libros 3 Reseñas 3.2
EtiquetaPublicación
PASCAL User Manual And Report por Kathleen Jensen 204 copias, 1 reseña18
Compiler Construction: An Advanced Course por F.L. Bauer 19 copias21
Interval Mathematics por K. Nickel 1 copia29
An Optimized Translation Process and Its Application to ALGOL 68 por P. Branquart 4 copias38
Language Hierarchies and Interfaces por North Atlantic Treaty Organization. Scientific Affairs Division 1 copia46
A Concurrent Pascal Compiler for Minicomputers por Alfred C. Hartmann 5 copias50
Portability of Numerical Software por Ill. 1976 Workshop on the Portability of Numerical Software Oak Brook 1 copia57
Operating Systems: An Advanced Course por R. Bayer 3 copias60
The Vienna Development Method: The Meta-Language por D. Bjorner 2 copias61
Introduction to Hamiltonian Dynamical Systems and the N-Body Problem por Kenneth Meyer 27 copias77
Context-free grammars : covers, normal forms, and parsing por Anton Nijholt 2 copias93
Computer programs for spelling correction : an experiment in program design por James Lyle Peterson 6 copias96
Towards a Formal Description of Ada por D. Bjorner 1 copia98
Directions in Human Factors for Interactive Systems por Henry Ledgard 2 copias103
Distributed Systems--Architecture and Implementation: An Advanced Course por Donald Watts Davies 5 copias105
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs por Waltraud Dehning 1 copia110
CLU Reference Manual por B. Liskov 15 copias, 1 reseña114
Algorithms in Modern Mathematics and Computer Science por A. P. Ershov 3 copias122
Data Base Design Techniques I: Requirements and Logical Structures por yaosb 2 copias132
An Attribute Grammar for the Semantic Analysis of ADA por J. Uhl 3 copias139
GAG: A Practical Compiler Generator por U. Kastens 6 copias141
Cryptography (Eurocrypt 1982) por Thomas Beth 6 copias149
The Programming Language Ada Reference Manual por J. Hartmanis 5 copias155
Direct Methods for Sparse Matrices por Ole Østerby 1 copia157
DIANA: An Intermediate Language for Ada por G. Goos 5 copias161
Programming Languages and their Definition por H. Bekic 3 copias177
Ada Software Tools Interfaces por G. Goos 2 copias180
Local Area Networks: An Advanced Course por D. Hutchison 1 copia184
Formal Methods and Software Development por Hartmut Ehrig 2 copias186
Advances in Petri Nets 1984 1 copia188
Functional Programming Languages and Computer Architecture por Jean-Pierre Jouannaud 4 copias201
Third International Conference on Logic Programming por Ehud Shapiro 5 copias225
TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19-21, 1986 Proceedings por Jacques Desarmenien 4 copias236
Advances in Petri Nets 1987 por Grzegorz Rozenberg 2 copias266
Visualization in Programming por P. Gorny 3 copias282
Mathematical Foundations of Programming Language Semantics 1987 por Michael Main 3 copias298
Modern Cryptology: A Tutorial por Gilles Brassard 4 copias325
Compiler Compilers and High Speed Compilation 1988 por D. Hammer 1 copia371
The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing por Kay A. Robbins 4 copias374
Design and Implementation of Large Spatial Databases por A. Buchmann 1 copia409
Advances in Cryptology - CRYPTO '89: Proceedings por G. Brassard 5 copias435
Fault-tolerant Distributed Computing (Lecture Notes in Computer Science) por Barbara Simons 1 copia448
Operating Systems of the 90s and Beyond: International Workshop Dagstuhl Castle, Germany, July 8-12, 1991 Proceedings por A. Karshmer 1 copia563
Axioms and Hulls por Donald E. Knuth 12 copias606
European Conference on Object-Oriented Programming (ECOOP92) por O. Lehrmann Madsen 1 copia615
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science) por Richard S. Bird 1 copia669
Fast Software Encryption: Cambridge Security Workshop por Ross Anderson 4 copias809
Applications of Invariance in Computer Vision: Second Joint European-US Workshop por Joseph L. Mundy 1 copia825
Category Theory and Computer Science (CTCS95) por David Pitt 1 copia953
Image Analysis Applications and Computer Graphics (ICSC95) por Roland Chin 1 copia1024
Fast Software Encryption: Third International Workshop por Dieter Gollmann 1 copia1039
Computer Vision - ECCV '96. Proceedings, Volume I por Bernard Buxton 1 copia1064
Computer Vision - ECCV '96. Proceedings, Volume II por Bernard Buxton 1 copia1065
Computer Aided Verification 1996 por Rajeev Alur 1 copia1102
Principles and Practice of Constraint Programming - CP'96: Proceedings por Eugene C. Freuder 1 copia1118
Algorithmic Number Theory: Second International Symposium, ANTS-II por Henri Cohen 5 copias1122
Information Hiding: First International Workshop por Ross Anderson 4 copias1174
Security Protocols: International Workshop por Mark Lomas 2 copias1189
Ada 95 Reference Manual: Language and Standard Libraries por S. Tucker Taft 4 copias1246
Ada 95 Rationale: The Language, the Standard Libraries por John Barnes 5 copias1247
Fast Software Encryption: 4th International Workshop, Haifa, Israel por Eli Biham 1 copia1267
Theorem Proving in Higher Order Logics (TPHOLs'97) por Elsa L. Gunter 3 copias1275
Financial Cryptography: First International Conference por Rafael Hirschfeld 4 copias1318
Ada 95 Quality and Style por Christine Ausnit-Hood 6 copias1344
Security Protocols: 5th International Workshop por Bruce Christianson 1 copia1371
Fast Software Encryption: 5th International Workshop, Paris, France por Serge Vaudnay 2 copias1372
Applications of Uncertainty Formalisms por Anthony Hunter 2 copias1455
Computer Security: 5th European Symposium on Research in Computer Security por Jean-Jacques Quisquater 2 copias1485
Lectures on Petri Nets I: Basic Models por Wolfgang Reisig 4 copias1491
Lectures on Petri Nets II: Applications por Wolfgang Reisig 3 copias1492
Formal Syntax and Semantics of Java por Jim Alves-Foss 5 copias1523
Security Protocols: 6th International Workshop por Bruce Christianson 1 copia1550
Lectures on Data Security: Modern Cryptology in Theory and Practice por Ivan Damgard 9 copias1561
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses por Matthew M. Huntbach 9 copias1630
Handheld and Ubiquitous Computing: First International Symposium, HUC'99 por Hans W. Gellersen 7 copias1707
Principles and Practice of Constraint Programming (CP99) por Joxan Jaffar 4 copias1713
MMIXware: A RISC Computer for the Third Millennium por Donald E. Knuth 19 copias1750
Security Protocols: 7th International Workshop por Bruce Christianson 5 copias1796
Theorem Proving in Higher Order Logics (TPHOLs 2000) por Mark Aagaard 1 copia1869
Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings por Ulrik Brandes 3 copias1928
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets por Gul A. Agha 2 copias2001
Advances in Exception Handling Techniques por Alexander Romanovsky 5 copias2022
Drawing Graphs: Methods and Models por Michael Kaufmann 22 copias2025
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet por Jean-Yves Le Boudec 12 copias2050
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) por Olivier Gascuel 5 copias2066
ECOOP 2001 - Object-Oriented Programming: 15th European Conference por Jorgen Lindskov Knudsen 5 copias2072
A Generative Theory of Shape por Michael Leyton 13 copias2145
Cryptography and Lattices: International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers por Joseph H. Silverman 1 copia2146
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings por Olivier Gascuel 4 copias2149
Automatic Generation of Computer Animation por Ruqian Lu 3 copias2160
Computational discrete mathematics : advanced lectures por Helmut Alt 3 copias2172
Consolidated Ada Reference Manual: Language and Standard Libraries por S. Tucker Taft 5 copias2219
Job Scheduling Strategies for Parallel Processing: 11th International Workshop por Dror G. Feitelson 14 copias2221
Isabelle/HOL: A Proof Assistant for Higher-Order Logic por Tobias Nipkow 6 copias2283
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures por Roland Backhouse 2 copias2297
Association Rule Mining: Models and Algorithms por Chengqi Zhang 3 copias2307
Fast Software Encryption: 9th International Workshop, FSE 2002 por Joan Daemen 0 copias2365
Security Protocols: 9th International Workshop por Bruce Christianson 8 copias2467
Data Mining on Multimedia Data por Petra Perner 6 copias2558
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl por Olaf Owe 5 copias2635
Applications and Theory of Petri Nets 2003 por Wil van der Aalst 2 copias2679
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications por Markus Schumacher 7 copias2754
Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) por Michael J. Wilson 0 copias2768
Journal on Data Semantics I por S. Spaccapietra 7 copias2800
Composition of Secure Multi-Party Protocols: A Comprehensive Study por Yehuda Lindell 5 copias2815
CASL User Manual: Introduction to Using the Common Algebraic Specification Language por M. Bidoit 6 copias2900
Validation of Stochastic Systems: A Guide to Current Research por Christel Baier 7 copias2925
Databases, Information Systems, and Peer-to-Peer Computing por Karl Aberer 11 copias2944
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language por Peter D. Mosses 7 copias2960
Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science) por Matthias Nickles 4 copias2969
Engineering Self-Organising Systems 2003 por Giovanna Di Marzo Serugendo 10 copias2977
Model Checking Software (SPIN 2004) por Susanne Graf 8 copias2989
Primality Testing in Polynomial Time: From Randomized Algorithms to “PRIMES Is in P” por Martin Dietzfelbinger 8 copias3000
Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers (Lecture Notes in Computer Science) por Koichi Kurumatani 4 copias3012
Probabilistic and Statistical Methods in Cryptology: An Introduction by Selected Topics por Daniel Neuenschwander 9 copias3028
Advanced Distributed Systems: Third International School and Symposium, Revised Papers por Victor Larios 8 copias3061
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers (Lecture Notes in Computer Science) por Mehdi Dastani 5 copias3067
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) por Andrea Omicini 4 copias3071
Medical Simulation: International Symposium, ISMS 2004, Proceedings por Dimitris Metaxas 3 copias3078
Adaptive Multimedia Retrieval: First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science) por Andreas Nürnberger 3 copias3094
Lectures on Concurrency and Petri Nets: Advances in Petri Nets por Jörg Desel 4 copias3098
Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday por Juhani Karhumäki 5 copias3113
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) por Dexter Kozen 1 copia3125
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2004) por Wolfgang Nejdl 3 copias3137
Integration of Software Specification Techniques for Applications in Engineering por Hartmut Ehrig 6 copias3147
Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Proceedings por Matt Franklin 10 copias3152
Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Proceedings por Marc Joye 8 copias3156
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings por Philippa Gardner 6 copias3170
Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings por Petr Sojka 10 copias3206
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) por Bettina Berendt 8 copias3209
Research and advanced technology for digital libraries : 8th European conference, ECDL 2004, Bath, UK, September 12-17, por Rachel Heery 9 copias3232
Algorithms in bioinformatics : 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings por Inge Jonassen 7 copias3240
Algorithms and Models for the Web-Graph: Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004. Proceedings por Stefano Leonardi 2 copias3243
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) por Jürgen Dix 4 copias3259
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) por Geoffrey M. Voelker 3 copias3279
Computer Music Modeling and Retrieval por Uffe Kock Wiil 9 copias3310
Security in Ad-hoc and Sensor Networks: First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised por Claude Castelluccia 2 copias3313
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseil por Gilles Barthe 3 copias3362
Semantic Web Services and Web Process Composition: First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6 por Jorge Cardoso 6 copias3387
Combinatorial and Algorithmic Aspects of Networking: First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, ... Networks and Telecommunications) por Alejandro López-Ortiz 2 copias3405
Socionics: Scalability of Complex Social Systems por Klaus Fischer 4 copias3413
Network Analysis: Methodological Foundations por Ulrik Brandes 14 copias3418
Knowledge and Information Visualization: Searching for Synergies por Sigmar-Olaf Tergan 15 copias3426
Massively Multi-Agent Systems I: First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Se por Toru Ishida 3 copias3446
Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues) por Pilar Herrero 2 copias3458
Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations por Ozalp Babaoglu 4 copias3460
From Computer Literacy to Informatics Fundamentals por Roland Mittermeir 2 copias3472
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 20 por Jean-Pierre Banâtre 2 copias3566
Computer Aided Verification 2005 por Kousha Etessami 3 copias3576
Trusting Agents for Trusting Electronic Societies: Theory and Applications in HCI and E-Commerce (Lecture Notes in Computer Science) por Rino Falcone 2 copias3577
The Seventeen Provers of the World por Freek Wiedijk 9 copias3600
Theorem Proving in Higher Order Logics (TPHOLs 2005) por Joe Hurd 2 copias3603
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) por Malcolm Sabin 1 copia3604
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings por Frank Dehne 13 copias3608
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) por Miguel Castro 2 copias3640
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) por Andreas Rauber 4 copias3652
The Semantic Web - ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings por Yolanda Gil 3 copias3729
Management of Multimedia Networks and Services: 8th International Conference, MMNS 2005, Proceedings por Jordi Dalmau Royo 2 copias3754
Data Mining: Theory, Methodology, Techniques, and Applications por Graham J. Williams 10 copias3755
Ambient Networks: 16th IFIP/IEEE International Workshop, Proceedings por Jürgen Schönwälder 2 copias3775
Grid and Cooperative Computing (GCC 2005) por Hai Zhuge 2 copias3795
Theory and Practice of Computer Science (SOFSEM 2006) por J Wiedermann 2 copias3831
Transactions on Aspect-Oriented Software Development I por Awais Rashid 10 copias3880
Theoretical Computer Science: Essays in Memory of Shimon Even por Oded Goldreich 3 copias3895
Evolutionary Computation in Combinatorial Optimization por Jens Gottlieb 6 copias3906
Engineering Self-Organising Systems 2005 por Sven A. Brueckner 1 copia3910
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) por Roman Wyrzykowski 13 copias3911
Designing Smart Homes: The Role of Artificial Intelligence por Juan Carlos Augusto 6 copias4008
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) por Tarmo Uustalu 1 copia4014
Advanced Topics in Exception Handling Techniques por Christophe Dony 2 copias4119
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers por Ralf Lämmel 5 copias4143
Rigorous Development of Complex Fault-Tolerant Systems por Michael Butler 2 copias4157
Algorithms in Bioinformatics: 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings (Lecture Notes in Computer Science) por Philipp Bücher 4 copias4175
Geographic Information Science: 4th International Conference, GIScience 2006Münster, Germany, September 20-23, 2006Proc por Martin Raubal 15 copias4197
Innovative Approaches for Learning and Knowledge Sharing (EC-TEL 2006) por Wolfgang Nejdl 6 copias4227
Transactions on Aspect-Oriented Software Development II 1 copia4242
Autonomic Management of Mobile Multimedia Services por Ahmed Helmy 3 copias4267
Large Scale Management of Distributed Systems por Radu State 3 copias4269
Engineering Self-Organising Systems 2006 por Sven A. Brueckner 7 copias4335
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows por Radu Prodan 8 copias4340
Ada 2005 Reference Manual. Language and Standard Libraries por S. Tucker Taft 4 copias4348
Verification, Model Checking, and Abstract Interpretation 2007 por Byron Cook 1 copia4349
Journal on Data Semantics VIII por Stefano Spaccapietra 2 copias4380
New Frontiers in Artificial Intelligence (JSAI 2006) por Takashi Washio 3 copias4384
Speaker Classification II: Selected Papers por Christian Møller 3 copias4441
Fun with Algorithms: 4th International Conference, FUN 2007 por Paolo Boldi 6 copias4475
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development por Peter P. Chen 3 copias4512
Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior por Martin V. Butz 2 copias4520
Journal on Data Semantics IX por Stefano Spaccapietra 2 copias4601
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 2007, Revised Selected Papers por Bo Chen 1 copia4614
Transactions on Aspect-Oriented Software Development III por Awais Rashid 6 copias4620
Security Protocols: 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers por Bruce Christianson 1 copia4631
Transactions on Aspect-Oriented Software Development IV por Awais Rashid 1 copia4640
Mathematics of Surfaces XII: 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings (Lecture Notes in Computer Science) por Ralph Martin 1 copia4647
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) por László Kovács 5 copias4675
From Web to Social Web: Discovering and Deploying User and Content Profiles (WebMine 2006) por Bettina Berendt 2 copias4737
Creating New Learning Experiences on a Global Scale (EC-TEL 2007) por Erik Duval 4 copias4753
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 por Alexander Clemm 2 copias4785
IP Operations and Management: 7th IEEE International Workshop, IPOM 2007 por Deep Medhi 2 copias4786
Real-Time Mobile Multimedia Services: 10th IFIP/IEEE International Conference, MMNS 2007: Proceedings por Dilip Krishnaswamy 3 copias4787
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 2007, Proceedings por Michael Butler 1 copia4789
Reflections on the Teaching of Programming: Methods and Implementations por Jens Bennedsen 15 copias4821
Sustainable Internet: Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings (Lecture Notes in Computer Science) por Serge Fdida 4 copias4866
Advances in Cryptology - EUROCRYPT 2008 por Nigel Smart 3 copias4965
25 Years of Model Checking: History, Achievements, Perspectives por Orna Grumberg 8 copias, 1 reseña5000
Ada 2005 Rationale: The Language, The Standard Libraries por John Barnes 4 copias5020
Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers por Kaisa Nyberg 2 copias5086
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2008) por Wolfgang Nejdl 1 copia5149
Visualization for Computer Security: 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008, Proceedings por John R. Goodall 1 copia5210
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 por Filip De Turck 2 copias5273
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 por George Pavlou 2 copias5274
IP Operations and Management: 8th IEEE International Workshop, IPOM 2008 por Nail Akar 2 copias5275
Modelling Autonomic Communications Environments: Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings por Sven van der Meer 3 copias5276
Smart Sensing and Context: Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings (Lecture Notes in Computer Science) por Daniel Roggen 3 copias5279
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part I por David Forsyth 3 copias5302
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part III por David Forsyth 1 copia5304
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part IV por David Forsyth 1 copia5305
Advances in Cryptology - ASIACRYPT 2008 por Josef Pawel Pieprzyk 2 copias5350
Advances in information security and assurance : third international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 : proceedings por James Park 3 copias5576
Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, Proceedings por José Luis Borbinha 8 copias5714
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 por Claudio Bartolini 4 copias5841
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 por Tom Pfeifer 2 copias5842
IP Operations and Management: 9th IEEE International Workshop, IPOM 2009 por Giorgio Nunzi 2 copias5843
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings por John C. Strassner 3 copias5844
Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings por Stefano Leonardi 3 copias5929
Security Protocols: 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers por Bruce Christianson 3 copias5964
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) por Claude Bolduc 4 copias6120
Research and advanced technology for digital libraries 14th European conference, ECDL 2010, Glasgow, UK, September 6 - 10, 2010 ; proceedings por Mounia Lalmas 3 copias6273
Algorithms in bioinformatics : 10th international workshop, WABI 2010, Liverpool, UK, September 6-8, 2010 : proceedings por Vincent Moulton 4 copias6293
Modelling Autonomic Communication Environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings por Rob Brennan 2 copias6473
Theory of Quantum Computation, Communication and Cryptography por Wim van Dam 2 copias6519
Advances in Information Retrieval: 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings por Paul Clough 6 copias6611
Computational Color Imaging: Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011, Proceedings por Raimondo Schettini 3 copias6626
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 2011. Proceedings por Jake K. Aggarwal 3 copias6636
Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers por Antoine Joux 4 copias6733
Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011 por Adrian Kosowski 2 copias6796
Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings por Weifan Wang 2 copias6831
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings por Teresa M. Przytycka 6 copias6833
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 por Leslie Ann Goldberg 2 copias6845
Advances in spatial and temporal databases : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings por Dieter Pfoser 3 copias6849
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings por Johann Eder 5 copias6909
Advances in information retrieval theory : third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings por Giambattista Amati 3 copias6931
Advances in intelligent data analysis X : 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings por João Gama 3 copias7014
Video Processing and Computational Video: International Seminar, Dagstuhl Castle, Germany, October 2010. Revised Papers por Daniel Cremers 1 copia7082
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings por Evangelos Kranakis 2 copias7288
The Language of Mathematics: A Linguistic and Philosophical Investigation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) por Mohan Ganesalingam 7 copias7805
Algorithms in bioinformatics : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings por Aaron Darling 6 copias8126
Fun with algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings por Alfredo Ferro 2 copias8496
Algorithms in bioinformatics : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings por Dan Brown 1 copia8701
Algorithmic Aspects of Cloud Computing: First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science) por Ioannis Karydis 0 copias9511
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) por Roman Wyrzykowski 0 copias9573
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II por Roman Wyrzykowski 0 copias9574
Research in Computational Molecular Biology: 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings (Lecture Notes in Computer Science) por Mona Singh 0 copias9649
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 por Jaap Kamps 1 copia10450
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems por Martin V. Butz 6 copias
Learning Higher Mathematics por Lev Pontryagin 4 copias
The Traveling Salesman: Computational Solutions for TSP Applications por Gerhard Reinelt 5 copias
Universal Access in Health Telematics: A Design Code of Practice por Constantine Stephanidis 3 copias

Etiquetas

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)

Miembros Principales

zhuazhua88 (51 obras), 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)

Popularidad