SèrieLecture Notes in Computer Science

258 Obres Popularitat 16,957 (485 Membres) 1,605 Llibres 3 Ressenyes 3.2
PASCAL User Manual And Report per Kathleen Jensen 204 exemplars, 1 ressenya18
Compiler Construction: An Advanced Course per F.L. Bauer 19 exemplars21
Interval Mathematics per K. Nickel 1 exemplars29
An Optimized Translation Process and Its Application to ALGOL 68 per P. Branquart 4 exemplars38
Language Hierarchies and Interfaces per North Atlantic Treaty Organization. Scientific Affairs Division 1 exemplars46
A Concurrent Pascal Compiler for Minicomputers per Alfred C. Hartmann 5 exemplars50
Portability of Numerical Software per Ill. 1976 Workshop on the Portability of Numerical Software Oak Brook 1 exemplars57
Operating Systems: An Advanced Course per R. Bayer 3 exemplars60
The Vienna Development Method: The Meta-Language per D. Bjorner 2 exemplars61
Introduction to Hamiltonian Dynamical Systems and the N-Body Problem per Kenneth Meyer 27 exemplars77
Context-free grammars : covers, normal forms, and parsing per Anton Nijholt 2 exemplars93
Computer programs for spelling correction : an experiment in program design per James Lyle Peterson 6 exemplars96
Towards a Formal Description of Ada per D. Bjorner 1 exemplars98
Directions in Human Factors for Interactive Systems per Henry Ledgard 2 exemplars103
Distributed Systems--Architecture and Implementation: An Advanced Course per Donald Watts Davies 5 exemplars105
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs per Waltraud Dehning 1 exemplars110
CLU Reference Manual per B. Liskov 15 exemplars, 1 ressenya114
Algorithms in Modern Mathematics and Computer Science per A. P. Ershov 3 exemplars122
Data Base Design Techniques I: Requirements and Logical Structures per yaosb 2 exemplars132
An Attribute Grammar for the Semantic Analysis of ADA per J. Uhl 3 exemplars139
GAG: A Practical Compiler Generator per U. Kastens 6 exemplars141
Cryptography (Eurocrypt 1982) per Thomas Beth 6 exemplars149
The Programming Language Ada Reference Manual per J. Hartmanis 5 exemplars155
Direct Methods for Sparse Matrices per Ole Østerby 1 exemplars157
DIANA: An Intermediate Language for Ada per G. Goos 5 exemplars161
Programming Languages and their Definition per H. Bekic 3 exemplars177
Ada Software Tools Interfaces per G. Goos 2 exemplars180
Local Area Networks: An Advanced Course per D. Hutchison 1 exemplars184
Formal Methods and Software Development per Hartmut Ehrig 2 exemplars186
Advances in Petri Nets 1984 1 exemplars188
Functional Programming Languages and Computer Architecture per Jean-Pierre Jouannaud 4 exemplars201
Third International Conference on Logic Programming per Ehud Shapiro 5 exemplars225
TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19-21, 1986 Proceedings per Jacques Desarmenien 4 exemplars236
Advances in Petri Nets 1987 per Grzegorz Rozenberg 2 exemplars266
Visualization in Programming per P. Gorny 3 exemplars282
Mathematical Foundations of Programming Language Semantics 1987 per Michael Main 3 exemplars298
Modern Cryptology: A Tutorial per Gilles Brassard 4 exemplars325
Compiler Compilers and High Speed Compilation 1988 per D. Hammer 1 exemplars371
The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing per Kay A. Robbins 4 exemplars374
Design and Implementation of Large Spatial Databases per A. Buchmann 1 exemplars409
Advances in Cryptology - CRYPTO '89: Proceedings per G. Brassard 5 exemplars435
Fault-tolerant Distributed Computing (Lecture Notes in Computer Science) per Barbara Simons 1 exemplars448
Operating Systems of the 90s and Beyond: International Workshop Dagstuhl Castle, Germany, July 8-12, 1991 Proceedings per A. Karshmer 1 exemplars563
Axioms and Hulls per Donald E. Knuth 12 exemplars606
European Conference on Object-Oriented Programming (ECOOP92) per O. Lehrmann Madsen 1 exemplars615
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science) per Richard S. Bird 1 exemplars669
Fast Software Encryption: Cambridge Security Workshop per Ross Anderson 4 exemplars809
Applications of Invariance in Computer Vision: Second Joint European-US Workshop per Joseph L. Mundy 1 exemplars825
Category Theory and Computer Science (CTCS95) per David Pitt 1 exemplars953
Image Analysis Applications and Computer Graphics (ICSC95) per Roland Chin 1 exemplars1024
Fast Software Encryption: Third International Workshop per Dieter Gollmann 1 exemplars1039
Computer Vision - ECCV '96. Proceedings, Volume I per Bernard Buxton 1 exemplars1064
Computer Vision - ECCV '96. Proceedings, Volume II per Bernard Buxton 1 exemplars1065
Computer Aided Verification 1996 per Rajeev Alur 1 exemplars1102
Principles and Practice of Constraint Programming - CP'96: Proceedings per Eugene C. Freuder 1 exemplars1118
Algorithmic Number Theory: Second International Symposium, ANTS-II per Henri Cohen 5 exemplars1122
Information Hiding: First International Workshop per Ross Anderson 4 exemplars1174
Security Protocols: International Workshop per Mark Lomas 2 exemplars1189
Ada 95 Reference Manual: Language and Standard Libraries per S. Tucker Taft 4 exemplars1246
Ada 95 Rationale: The Language, the Standard Libraries per John Barnes 5 exemplars1247
Fast Software Encryption: 4th International Workshop, Haifa, Israel per Eli Biham 1 exemplars1267
Theorem Proving in Higher Order Logics (TPHOLs'97) per Elsa L. Gunter 3 exemplars1275
Financial Cryptography: First International Conference per Rafael Hirschfeld 4 exemplars1318
Ada 95 Quality and Style per Christine Ausnit-Hood 6 exemplars1344
Security Protocols: 5th International Workshop per Bruce Christianson 1 exemplars1371
Fast Software Encryption: 5th International Workshop, Paris, France per Serge Vaudnay 2 exemplars1372
Applications of Uncertainty Formalisms per Anthony Hunter 2 exemplars1455
Computer Security: 5th European Symposium on Research in Computer Security per Jean-Jacques Quisquater 2 exemplars1485
Lectures on Petri Nets I: Basic Models per Wolfgang Reisig 4 exemplars1491
Lectures on Petri Nets II: Applications per Wolfgang Reisig 3 exemplars1492
Formal Syntax and Semantics of Java per Jim Alves-Foss 5 exemplars1523
Security Protocols: 6th International Workshop per Bruce Christianson 1 exemplars1550
Lectures on Data Security: Modern Cryptology in Theory and Practice per Ivan Damgard 9 exemplars1561
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses per Matthew M. Huntbach 9 exemplars1630
Handheld and Ubiquitous Computing: First International Symposium, HUC'99 per Hans W. Gellersen 7 exemplars1707
Principles and Practice of Constraint Programming (CP99) per Joxan Jaffar 4 exemplars1713
MMIXware: A RISC Computer for the Third Millennium per Donald E. Knuth 19 exemplars1750
Security Protocols: 7th International Workshop per Bruce Christianson 5 exemplars1796
Theorem Proving in Higher Order Logics (TPHOLs 2000) per Mark Aagaard 1 exemplars1869
Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings per Ulrik Brandes 3 exemplars1928
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets per Gul A. Agha 2 exemplars2001
Advances in Exception Handling Techniques per Alexander Romanovsky 5 exemplars2022
Drawing Graphs: Methods and Models per Michael Kaufmann 22 exemplars2025
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet per Jean-Yves Le Boudec 12 exemplars2050
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) per Olivier Gascuel 5 exemplars2066
ECOOP 2001 - Object-Oriented Programming: 15th European Conference per Jorgen Lindskov Knudsen 5 exemplars2072
A Generative Theory of Shape per Michael Leyton 13 exemplars2145
Cryptography and Lattices: International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers per Joseph H. Silverman 1 exemplars2146
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings per Olivier Gascuel 4 exemplars2149
Automatic Generation of Computer Animation per Ruqian Lu 3 exemplars2160
Computational discrete mathematics : advanced lectures per Helmut Alt 3 exemplars2172
Consolidated Ada Reference Manual: Language and Standard Libraries per S. Tucker Taft 5 exemplars2219
Job Scheduling Strategies for Parallel Processing: 11th International Workshop per Dror G. Feitelson 14 exemplars2221
Isabelle/HOL: A Proof Assistant for Higher-Order Logic per Tobias Nipkow 6 exemplars2283
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures per Roland Backhouse 2 exemplars2297
Association Rule Mining: Models and Algorithms per Chengqi Zhang 3 exemplars2307
Fast Software Encryption: 9th International Workshop, FSE 2002 per Joan Daemen 0 exemplars2365
Security Protocols: 9th International Workshop per Bruce Christianson 8 exemplars2467
Data Mining on Multimedia Data per Petra Perner 6 exemplars2558
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl per Olaf Owe 5 exemplars2635
Applications and Theory of Petri Nets 2003 per Wil van der Aalst 2 exemplars2679
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications per Markus Schumacher 7 exemplars2754
Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) per Michael J. Wilson 0 exemplars2768
Journal on Data Semantics I per S. Spaccapietra 7 exemplars2800
Composition of Secure Multi-Party Protocols: A Comprehensive Study per Yehuda Lindell 5 exemplars2815
CASL User Manual: Introduction to Using the Common Algebraic Specification Language per M. Bidoit 6 exemplars2900
Validation of Stochastic Systems: A Guide to Current Research per Christel Baier 7 exemplars2925
Databases, Information Systems, and Peer-to-Peer Computing per Karl Aberer 11 exemplars2944
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language per Peter D. Mosses 7 exemplars2960
Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science) per Matthias Nickles 4 exemplars2969
Engineering Self-Organising Systems 2003 per Giovanna Di Marzo Serugendo 10 exemplars2977
Model Checking Software (SPIN 2004) per Susanne Graf 8 exemplars2989
Primality Testing in Polynomial Time: From Randomized Algorithms to “PRIMES Is in P” per Martin Dietzfelbinger 8 exemplars3000
Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers (Lecture Notes in Computer Science) per Koichi Kurumatani 4 exemplars3012
Probabilistic and Statistical Methods in Cryptology: An Introduction by Selected Topics per Daniel Neuenschwander 9 exemplars3028
Advanced Distributed Systems: Third International School and Symposium, Revised Papers per Victor Larios 8 exemplars3061
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers (Lecture Notes in Computer Science) per Mehdi Dastani 5 exemplars3067
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) per Andrea Omicini 4 exemplars3071
Medical Simulation: International Symposium, ISMS 2004, Proceedings per Dimitris Metaxas 3 exemplars3078
Adaptive Multimedia Retrieval: First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science) per Andreas Nürnberger 3 exemplars3094
Lectures on Concurrency and Petri Nets: Advances in Petri Nets per Jörg Desel 4 exemplars3098
Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday per Juhani Karhumäki 5 exemplars3113
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) per Dexter Kozen 1 exemplars3125
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2004) per Wolfgang Nejdl 3 exemplars3137
Integration of Software Specification Techniques for Applications in Engineering per Hartmut Ehrig 6 exemplars3147
Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Proceedings per Matt Franklin 10 exemplars3152
Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Proceedings per Marc Joye 8 exemplars3156
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings per Philippa Gardner 6 exemplars3170
Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings per Petr Sojka 10 exemplars3206
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) per Bettina Berendt 8 exemplars3209
Research and advanced technology for digital libraries : 8th European conference, ECDL 2004, Bath, UK, September 12-17, per Rachel Heery 9 exemplars3232
Algorithms in bioinformatics : 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings per Inge Jonassen 7 exemplars3240
Algorithms and Models for the Web-Graph: Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004. Proceedings per Stefano Leonardi 2 exemplars3243
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) per Jürgen Dix 4 exemplars3259
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) per Geoffrey M. Voelker 3 exemplars3279
Computer Music Modeling and Retrieval per Uffe Kock Wiil 9 exemplars3310
Security in Ad-hoc and Sensor Networks: First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised per Claude Castelluccia 2 exemplars3313
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseil per Gilles Barthe 3 exemplars3362
Semantic Web Services and Web Process Composition: First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6 per Jorge Cardoso 6 exemplars3387
Combinatorial and Algorithmic Aspects of Networking: First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, ... Networks and Telecommunications) per Alejandro López-Ortiz 2 exemplars3405
Socionics: Scalability of Complex Social Systems per Klaus Fischer 4 exemplars3413
Network Analysis: Methodological Foundations per Ulrik Brandes 14 exemplars3418
Knowledge and Information Visualization: Searching for Synergies per Sigmar-Olaf Tergan 15 exemplars3426
Massively Multi-Agent Systems I: First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Se per Toru Ishida 3 exemplars3446
Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues) per Pilar Herrero 2 exemplars3458
Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations per Ozalp Babaoglu 4 exemplars3460
From Computer Literacy to Informatics Fundamentals per Roland Mittermeir 2 exemplars3472
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 20 per Jean-Pierre Banâtre 2 exemplars3566
Computer Aided Verification 2005 per Kousha Etessami 3 exemplars3576
Trusting Agents for Trusting Electronic Societies: Theory and Applications in HCI and E-Commerce (Lecture Notes in Computer Science) per Rino Falcone 2 exemplars3577
The Seventeen Provers of the World per Freek Wiedijk 9 exemplars3600
Theorem Proving in Higher Order Logics (TPHOLs 2005) per Joe Hurd 2 exemplars3603
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) per Malcolm Sabin 1 exemplars3604
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings per Frank Dehne 13 exemplars3608
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) per Miguel Castro 2 exemplars3640
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) per Andreas Rauber 4 exemplars3652
The Semantic Web - ISWC 2005: 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings per Yolanda Gil 3 exemplars3729
Management of Multimedia Networks and Services: 8th International Conference, MMNS 2005, Proceedings per Jordi Dalmau Royo 2 exemplars3754
Data Mining: Theory, Methodology, Techniques, and Applications per Graham J. Williams 10 exemplars3755
Ambient Networks: 16th IFIP/IEEE International Workshop, Proceedings per Jürgen Schönwälder 2 exemplars3775
Grid and Cooperative Computing (GCC 2005) per Hai Zhuge 2 exemplars3795
Theory and Practice of Computer Science (SOFSEM 2006) per J Wiedermann 2 exemplars3831
Transactions on Aspect-Oriented Software Development I per Awais Rashid 10 exemplars3880
Theoretical Computer Science: Essays in Memory of Shimon Even per Oded Goldreich 3 exemplars3895
Evolutionary Computation in Combinatorial Optimization per Jens Gottlieb 6 exemplars3906
Engineering Self-Organising Systems 2005 per Sven A. Brueckner 1 exemplars3910
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) per Roman Wyrzykowski 13 exemplars3911
Designing Smart Homes: The Role of Artificial Intelligence per Juan Carlos Augusto 6 exemplars4008
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) per Tarmo Uustalu 1 exemplars4014
Advanced Topics in Exception Handling Techniques per Christophe Dony 2 exemplars4119
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers per Ralf Lämmel 5 exemplars4143
Rigorous Development of Complex Fault-Tolerant Systems per Michael Butler 2 exemplars4157
Algorithms in Bioinformatics: 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings (Lecture Notes in Computer Science) per Philipp Bücher 4 exemplars4175
Geographic Information Science: 4th International Conference, GIScience 2006Münster, Germany, September 20-23, 2006Proc per Martin Raubal 15 exemplars4197
Innovative Approaches for Learning and Knowledge Sharing (EC-TEL 2006) per Wolfgang Nejdl 6 exemplars4227
Transactions on Aspect-Oriented Software Development II 1 exemplars4242
Autonomic Management of Mobile Multimedia Services per Ahmed Helmy 3 exemplars4267
Large Scale Management of Distributed Systems per Radu State 3 exemplars4269
Engineering Self-Organising Systems 2006 per Sven A. Brueckner 7 exemplars4335
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows per Radu Prodan 8 exemplars4340
Ada 2005 Reference Manual. Language and Standard Libraries per S. Tucker Taft 4 exemplars4348
Verification, Model Checking, and Abstract Interpretation 2007 per Byron Cook 1 exemplars4349
Journal on Data Semantics VIII per Stefano Spaccapietra 2 exemplars4380
New Frontiers in Artificial Intelligence (JSAI 2006) per Takashi Washio 3 exemplars4384
Speaker Classification II: Selected Papers per Christian Møller 3 exemplars4441
Fun with Algorithms: 4th International Conference, FUN 2007 per Paolo Boldi 6 exemplars4475
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development per Peter P. Chen 3 exemplars4512
Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior per Martin V. Butz 2 exemplars4520
Journal on Data Semantics IX per Stefano Spaccapietra 2 exemplars4601
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 2007, Revised Selected Papers per Bo Chen 1 exemplars4614
Transactions on Aspect-Oriented Software Development III per Awais Rashid 6 exemplars4620
Security Protocols: 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers per Bruce Christianson 1 exemplars4631
Transactions on Aspect-Oriented Software Development IV per Awais Rashid 1 exemplars4640
Mathematics of Surfaces XII: 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings (Lecture Notes in Computer Science) per Ralph Martin 1 exemplars4647
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) per László Kovács 5 exemplars4675
From Web to Social Web: Discovering and Deploying User and Content Profiles (WebMine 2006) per Bettina Berendt 2 exemplars4737
Creating New Learning Experiences on a Global Scale (EC-TEL 2007) per Erik Duval 4 exemplars4753
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 per Alexander Clemm 2 exemplars4785
IP Operations and Management: 7th IEEE International Workshop, IPOM 2007 per Deep Medhi 2 exemplars4786
Real-Time Mobile Multimedia Services: 10th IFIP/IEEE International Conference, MMNS 2007: Proceedings per Dilip Krishnaswamy 3 exemplars4787
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 2007, Proceedings per Michael Butler 1 exemplars4789
Reflections on the Teaching of Programming: Methods and Implementations per Jens Bennedsen 15 exemplars4821
Sustainable Internet: Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings (Lecture Notes in Computer Science) per Serge Fdida 4 exemplars4866
Advances in Cryptology - EUROCRYPT 2008 per Nigel Smart 3 exemplars4965
25 Years of Model Checking: History, Achievements, Perspectives per Orna Grumberg 8 exemplars, 1 ressenya5000
Ada 2005 Rationale: The Language, The Standard Libraries per John Barnes 4 exemplars5020
Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers per Kaisa Nyberg 2 exemplars5086
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2008) per Wolfgang Nejdl 1 exemplars5149
Visualization for Computer Security: 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008, Proceedings per John R. Goodall 1 exemplars5210
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 per Filip De Turck 2 exemplars5273
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 per George Pavlou 2 exemplars5274
IP Operations and Management: 8th IEEE International Workshop, IPOM 2008 per Nail Akar 2 exemplars5275
Modelling Autonomic Communications Environments: Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings per Sven van der Meer 3 exemplars5276
Smart Sensing and Context: Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings (Lecture Notes in Computer Science) per Daniel Roggen 3 exemplars5279
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part I per David Forsyth 3 exemplars5302
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part III per David Forsyth 1 exemplars5304
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part IV per David Forsyth 1 exemplars5305
Advances in Cryptology - ASIACRYPT 2008 per Josef Pawel Pieprzyk 2 exemplars5350
Advances in information security and assurance : third international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 : proceedings per James Park 3 exemplars5576
Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, Proceedings per José Luis Borbinha 8 exemplars5714
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 per Claudio Bartolini 4 exemplars5841
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 per Tom Pfeifer 2 exemplars5842
IP Operations and Management: 9th IEEE International Workshop, IPOM 2009 per Giorgio Nunzi 2 exemplars5843
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings per John C. Strassner 3 exemplars5844
Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings per Stefano Leonardi 3 exemplars5929
Security Protocols: 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers per Bruce Christianson 3 exemplars5964
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) per Claude Bolduc 4 exemplars6120
Research and advanced technology for digital libraries 14th European conference, ECDL 2010, Glasgow, UK, September 6 - 10, 2010 ; proceedings per Mounia Lalmas 3 exemplars6273
Algorithms in bioinformatics : 10th international workshop, WABI 2010, Liverpool, UK, September 6-8, 2010 : proceedings per Vincent Moulton 4 exemplars6293
Modelling Autonomic Communication Environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings per Rob Brennan 2 exemplars6473
Theory of Quantum Computation, Communication and Cryptography per Wim van Dam 2 exemplars6519
Advances in Information Retrieval: 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings per Paul Clough 6 exemplars6611
Computational Color Imaging: Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011, Proceedings per Raimondo Schettini 3 exemplars6626
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 2011. Proceedings per Jake K. Aggarwal 3 exemplars6636
Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers per Antoine Joux 4 exemplars6733
Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011 per Adrian Kosowski 2 exemplars6796
Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings per Weifan Wang 2 exemplars6831
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings per Teresa M. Przytycka 6 exemplars6833
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 per Leslie Ann Goldberg 2 exemplars6845
Advances in spatial and temporal databases : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings per Dieter Pfoser 3 exemplars6849
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings per Johann Eder 5 exemplars6909
Advances in information retrieval theory : third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings per Giambattista Amati 3 exemplars6931
Advances in intelligent data analysis X : 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings per João Gama 3 exemplars7014
Video Processing and Computational Video: International Seminar, Dagstuhl Castle, Germany, October 2010. Revised Papers per Daniel Cremers 1 exemplars7082
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings per Evangelos Kranakis 2 exemplars7288
The Language of Mathematics: A Linguistic and Philosophical Investigation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) per Mohan Ganesalingam 7 exemplars7805
Algorithms in bioinformatics : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings per Aaron Darling 6 exemplars8126
Fun with algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings per Alfredo Ferro 2 exemplars8496
Algorithms in bioinformatics : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings per Dan Brown 1 exemplars8701
Algorithmic Aspects of Cloud Computing: First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science) per Ioannis Karydis 0 exemplars9511
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) per Roman Wyrzykowski 0 exemplars9573
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II per Roman Wyrzykowski 0 exemplars9574
Research in Computational Molecular Biology: 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings (Lecture Notes in Computer Science) per Mona Singh 0 exemplars9649
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 per Jaap Kamps 1 exemplars10450
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems per Martin V. Butz 5 exemplars
Learning Higher Mathematics per Lev Pontryagin 4 exemplars
The Traveling Salesman: Computational Solutions for TSP Applications per Gerhard Reinelt 5 exemplars
Universal Access in Health Telematics: A Design Code of Practice per Constantine Stephanidis 3 exemplars


Membres principals

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