SériesLecture Notes in Computer Science

257 Obras Popularidade 13,864 (446 Membros) 1,412 Livros 3 Resenhas 3.2
PASCAL User Manual And Report de Kathleen Jensen 192 cópias, 1 resenha18
Compiler Construction: An Advanced Course de F.L. Bauer 18 cópias21
Interval Mathematics de K. Nickel 1 exemplar(es)29
An Optimized Translation Process and Its Application to ALGOL 68 de P. Branquart 4 cópias38
Language Hierarchies and Interfaces de North Atlantic Treaty Organization. Scientific Affairs Division 1 exemplar(es)46
A Concurrent Pascal Compiler for Minicomputers de Alfred C. Hartmann 5 cópias50
Portability of Numerical Software de Ill. 1976 Workshop on the Portability of Numerical Software Oak Brook 1 exemplar(es)57
Operating Systems: An Advanced Course de R. Bayer 3 cópias60
The Vienna Development Method: The Meta-Language de D. Bjorner 2 cópias61
Introduction to Hamiltonian Dynamical Systems and the N-Body Problem de Kenneth Meyer 20 cópias77
Context-free grammars : covers, normal forms, and parsing de Anton Nijholt 1 exemplar(es)93
Computer programs for spelling correction : an experiment in program design de James Lyle Peterson 6 cópias96
Towards a Formal Description of Ada de D. Bjorner 1 exemplar(es)98
Directions in Human Factors for Interactive Systems de Henry Ledgard 1 exemplar(es)103
Distributed Systems--Architecture and Implementation: An Advanced Course de Donald Watts Davies 5 cópias105
The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs de Waltraud Dehning 1 exemplar(es)110
CLU Reference Manual de B. Liskov 13 cópias, 1 resenha114
Algorithms in Modern Mathematics and Computer Science de A. P. Ershov 1 exemplar(es)122
Data Base Design Techniques I: Requirements and Logical Structures 1 exemplar(es)132
An Attribute Grammar for the Semantic Analysis of ADA de J. Uhl 1 exemplar(es)139
GAG: A Practical Compiler Generator de U. Kastens 5 cópias141
Cryptography (Eurocrypt 1982) de Thomas Beth 5 cópias149
The Programming Language Ada Reference Manual de J. Hartmanis 4 cópias155
Direct Methods for Sparse Matrices de Ole Østerby 1 exemplar(es)157
DIANA: An Intermediate Language for Ada de G. Goos 3 cópias161
Programming Languages and their Definition de H. Bekic 3 cópias177
Ada Software Tools Interfaces de G. Goos 1 exemplar(es)180
Local Area Networks: An Advanced Course de D. Hutchison 1 exemplar(es)184
Formal Methods and Software Development de Hartmut Ehrig 1 exemplar(es)186
Advances in Petri Nets 1984 1 exemplar(es)188
Functional Programming Languages and Computer Architecture de Jean-Pierre Jouannaud 3 cópias201
Third International Conference on Logic Programming de Ehud Shapiro 4 cópias225
TEX for Scientific Documentation: Second European Conference Strasbourg, France, June 19-21, 1986 Proceedings de Jacques Desarmenien 4 cópias236
Advances in Petri Nets 1987 de Grzegorz Rozenberg 2 cópias266
Visualization in Programming de P. Gorny 2 cópias282
Mathematical Foundations of Programming Language Semantics 1987 de Michael Main 2 cópias298
Modern Cryptology: A Tutorial de Gilles Brassard 3 cópias325
Compiler Compilers and High Speed Compilation 1988 de D. Hammer 1 exemplar(es)371
The Cray X-MP/Model 24: A Case Study in Pipelined Architecture and Vector Processing de Kay A. Robbins 3 cópias374
Design and Implementation of Large Spatial Databases de A. Buchmann 1 exemplar(es)409
Advances in Cryptology - CRYPTO '89: Proceedings de G. Brassard 5 cópias435
Fault-tolerant Distributed Computing (Lecture Notes in Computer Science) de Barbara Simons 1 exemplar(es)448
Operating Systems of the 90s and Beyond: International Workshop Dagstuhl Castle, Germany, July 8-12, 1991 Proceedings de A. Karshmer 1 exemplar(es)563
Axioms and Hulls de Donald E. Knuth 9 cópias606
European Conference on Object-Oriented Programming (ECOOP92) de O. Lehrmann Madsen 1 exemplar(es)615
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science) de Richard S. Bird 0 cópias669
Fast Software Encryption: Cambridge Security Workshop de Ross Anderson 4 cópias809
Applications of Invariance in Computer Vision: Second Joint European-US Workshop de Joseph L. Mundy 1 exemplar(es)825
Category Theory and Computer Science (CTCS95) de David Pitt 1 exemplar(es)953
Image Analysis Applications and Computer Graphics (ICSC95) de Roland Chin 1 exemplar(es)1024
Fast Software Encryption: Third International Workshop de Dieter Gollmann 1 exemplar(es)1039
Computer Vision - ECCV '96. Proceedings, Volume I de Bernard Buxton 1 exemplar(es)1064
Computer Vision - ECCV '96. Proceedings, Volume II de Bernard Buxton 1 exemplar(es)1065
Computer Aided Verification 1996 de Rajeev Alur 1 exemplar(es)1102
Principles and Practice of Constraint Programming - CP'96: Proceedings de Eugene C. Freuder 1 exemplar(es)1118
Algorithmic Number Theory: Second International Symposium, ANTS-II de Henri Cohen 4 cópias1122
Information Hiding: First International Workshop de Ross Anderson 4 cópias1174
Security Protocols: International Workshop de Mark Lomas 1 exemplar(es)1189
Ada 95 Reference Manual: Language and Standard Libraries de S. Tucker Taft 4 cópias1246
Ada 95 Rationale: The Language, the Standard Libraries de John Barnes 5 cópias1247
Fast Software Encryption: 4th International Workshop, Haifa, Israel de Eli Biham 1 exemplar(es)1267
Theorem Proving in Higher Order Logics (TPHOLs'97) de Elsa L. Gunter 1 exemplar(es)1275
Financial Cryptography: First International Conference de Rafael Hirschfeld 4 cópias1318
Ada 95 Quality and Style de Christine Ausnit-Hood 4 cópias1344
Security Protocols: 5th International Workshop de Bruce Christianson 1 exemplar(es)1371
Fast Software Encryption: 5th International Workshop, Paris, France de Serge Vaudnay 1 exemplar(es)1372
Applications of Uncertainty Formalisms de Anthony Hunter 2 cópias1455
Computer Security: 5th European Symposium on Research in Computer Security de Jean-Jacques Quisquater 1 exemplar(es)1485
Lectures on Petri Nets I: Basic Models de Wolfgang Reisig 4 cópias1491
Lectures on Petri Nets II: Applications de Wolfgang Reisig 3 cópias1492
Formal Syntax and Semantics of Java de Jim Alves-Foss 4 cópias1523
Security Protocols: 6th International Workshop de Bruce Christianson 1 exemplar(es)1550
Lectures on Data Security: Modern Cryptology in Theory and Practice de Ivan Damgard 7 cópias1561
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses de Matthew M. Huntbach 5 cópias1630
Handheld and Ubiquitous Computing: First International Symposium, HUC'99 de Hans W. Gellersen 6 cópias1707
Principles and Practice of Constraint Programming (CP99) de Joxan Jaffar 3 cópias1713
MMIXware: A RISC Computer for the Third Millennium de Donald E. Knuth 16 cópias1750
Security Protocols: 7th International Workshop de Bruce Christianson 5 cópias1796
Theorem Proving in Higher Order Logics (TPHOLs 2000) de Mark Aagaard 1 exemplar(es)1869
Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings de Ulrik Brandes 3 cópias1928
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets de Gul A. Agha 2 cópias2001
Advances in Exception Handling Techniques de Alexander Romanovsky 5 cópias2022
Drawing Graphs: Methods and Models de Michael Kaufmann 21 cópias2025
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet de Jean-Yves Le Boudec 10 cópias2050
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) de Olivier Gascuel 3 cópias2066
ECOOP 2001 - Object-Oriented Programming: 15th European Conference de Jorgen Lindskov Knudsen 4 cópias2072
A Generative Theory of Shape de Michael Leyton 13 cópias2145
Cryptography and Lattices: International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers de Joseph H. Silverman 1 exemplar(es)2146
Algorithms in bioinformatics : First International Workshop, WABI 2001, Aarhus, Denmark, August 28-31, 2001 proceedings de Olivier Gascuel 2 cópias2149
Automatic Generation of Computer Animation de Ruqian Lu 3 cópias2160
Computational discrete mathematics : advanced lectures de Helmut Alt 3 cópias2172
Consolidated Ada Reference Manual: Language and Standard Libraries de S. Tucker Taft 4 cópias2219
Job Scheduling Strategies for Parallel Processing: 11th International Workshop de Dror G. Feitelson 11 cópias2221
Isabelle/HOL: A Proof Assistant for Higher-Order Logic de Tobias Nipkow 7 cópias2283
Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures de Roland Backhouse 2 cópias2297
Association Rule Mining: Models and Algorithms de Chengqi Zhang 3 cópias2307
Fast Software Encryption: 9th International Workshop, FSE 2002 de Joan Daemen 0 cópias2365
Security Protocols: 9th International Workshop de Bruce Christianson 32 cópias2467
Data Mining on Multimedia Data de Petra Perner 6 cópias2558
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl de Olaf Owe 5 cópias2635
Applications and Theory of Petri Nets 2003 de Wil van der Aalst 2 cópias2679
Security Engineering with Patterns: Origins, Theoretical Models, and New Applications de Markus Schumacher 6 cópias2754
Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) de Michael J. Wilson 0 cópias2768
Journal on Data Semantics I de S. Spaccapietra 7 cópias2800
Composition of Secure Multi-Party Protocols: A Comprehensive Study de Yehuda Lindell 5 cópias2815
CASL User Manual: Introduction to Using the Common Algebraic Specification Language de M. Bidoit 6 cópias2900
Validation of Stochastic Systems: A Guide to Current Research de Christel Baier 7 cópias2925
Databases, Information Systems, and Peer-to-Peer Computing de Karl Aberer 11 cópias2944
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language de Peter Mosses 5 cópias2960
Agents and Computational Autonomy: Potential, Risks, and Solutions (Lecture Notes in Computer Science) de Matthias Nickles 4 cópias2969
Engineering Self-Organising Systems 2003 de Giovanna Di Marzo Serugendo 8 cópias2977
Model Checking Software (SPIN 2004) de Susanne Graf 8 cópias2989
Primality Testing in Polynomial Time: From Randomized Algorithms to “PRIMES Is in P” de Martin Dietzfelbinger 8 cópias3000
Multi-Agent for Mass User Support: International Workshop, MAMUS 2003, Acapulco, Mexico, August 10, 2003, Revised and Invited Papers (Lecture Notes in Computer Science) de Koichi Kurumatani 4 cópias3012
Probabilistic and Statistical Methods in Cryptology: An Introduction by Selected Topics de Daniel Neuenschwander 7 cópias3028
Advanced Distributed Systems: Third International School and Symposium, Revised Papers de Victor Larios 8 cópias3061
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers (Lecture Notes in Computer Science) de Mehdi Dastani 6 cópias3067
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) de Andrea Omicini 1 exemplar(es)3071
Medical Simulation: International Symposium, ISMS 2004, Proceedings de Dimitris Metaxas 1 exemplar(es)3078
Adaptive Multimedia Retrieval: First International Workshop, AMR 2003, Hamburg, Germany, September 15-16, 2003, Revised Selected and Invited Papers (Lecture Notes in Computer Science) de Andreas Nürnberger 3 cópias3094
Lectures on Concurrency and Petri Nets: Advances in Petri Nets de Jörg Desel 4 cópias3098
Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday de Juhani Karhumäki 5 cópias3113
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings (Lecture Notes in Computer Science) de Dexter Kozen 1 exemplar(es)3125
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2004) de Wolfgang Nejdl 2 cópias3137
Integration of Software Specification Techniques for Applications in Engineering de Hartmut Ehrig 6 cópias3147
Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Proceedings de Matt Franklin 10 cópias3152
Cryptographic Hardware and Embedded Systems - CHES 2004: 6th International Workshop Proceedings de Marc Joye 8 cópias3156
CONCUR 2004 -- Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings de Philippa Gardner 5 cópias3170
Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings de Petr Sojka 23 cópias3206
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) de Bettina Berendt 7 cópias3209
Research and advanced technology for digital libraries : 8th European conference, ECDL 2004, Bath, UK, September 12-17, de Rachel Heery 9 cópias3232
Algorithms in bioinformatics : 4th international workshop, WABI 2004, Bergen, Norway, September 17-21, 2004 : proceedings de Inge Jonassen 4 cópias3240
Algorithms and Models for the Web-Graph: Third International Workshop, WAW 2004, Rome, Italy, October 16, 2004. Proceedings de Stefano Leonardi 1 exemplar(es)3243
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) de Jürgen Dix 27 cópias3259
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) de Geoffrey M. Voelker 3 cópias3279
Computer Music Modeling and Retrieval de Uffe Kock Wiil 9 cópias3310
Security in Ad-hoc and Sensor Networks: First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised de Claude Castelluccia 2 cópias3313
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseil de Gilles Barthe 3 cópias3362
Semantic Web Services and Web Process Composition: First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6 de Jorge Cardoso 2 cópias3387
Combinatorial and Algorithmic Aspects of Networking: First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, ... Networks and Telecommunications) de Alejandro López-Ortiz 3 cópias3405
Socionics: Scalability of Complex Social Systems de Klaus Fischer 4 cópias3413
Network Analysis: Methodological Foundations de Ulrik Brandes 12 cópias3418
Knowledge and Information Visualization: Searching for Synergies de Sigmar-Olaf Tergan 14 cópias3426
Massively Multi-Agent Systems I: First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Se de Toru Ishida 3 cópias3446
Scientific Applications of Grid Computing: First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers (Lecture ... Computer Science and General Issues) de Pilar Herrero 1 exemplar(es)3458
Self-Star Properties in Complex Information Systems: Conceptual and Practical Foundations de Ozalp Babaoglu 4 cópias3460
From Computer Literacy to Informatics Fundamentals de Roland Mittermeir 2 cópias3472
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 20 de Jean-Pierre Banâtre 2 cópias3566
Computer Aided Verification 2005 de Kousha Etessami 3 cópias3576
Trusting Agents for Trusting Electronic Societies: Theory and Applications in HCI and E-Commerce (Lecture Notes in Computer Science) de Rino Falcone 2 cópias3577
The Seventeen Provers of the World de Freek Wiedijk 9 cópias3600
Theorem Proving in Higher Order Logics (TPHOLs 2005) de Joe Hurd 2 cópias3603
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) de Malcolm Sabin 2 cópias3604
Algorithms and Data Structures: Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings de Frank Dehne 24 cópias3608
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) de Miguel Castro 2 cópias3640
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) de Andreas Rauber 4 cópias3652
Management of Multimedia Networks and Services: 8th International Conference, MMNS 2005, Proceedings de Jordi Dalmau Royo 2 cópias3754
Data Mining: Theory, Methodology, Techniques, and Applications de Graham J. Williams 9 cópias3755
Ambient Networks: 16th IFIP/IEEE International Workshop, Proceedings de Jürgen Schönwälder 2 cópias3775
Grid and Cooperative Computing (GCC 2005) de Hai Zhuge 2 cópias3795
Theory and Practice of Computer Science (SOFSEM 2006) de J Wiedermann 2 cópias3831
Transactions on Aspect-Oriented Software Development I de Awais Rashid 22 cópias3880
Theoretical Computer Science: Essays in Memory of Shimon Even de Oded Goldreich 3 cópias3895
Evolutionary Computation in Combinatorial Optimization de Jens Gottlieb 6 cópias3906
Engineering Self-Organising Systems 2005 de Sven A. Brueckner 1 exemplar(es)3910
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) de Roman Wyrzykowski 39 cópias3911
Designing Smart Homes: The Role of Artificial Intelligence de Juan Carlos Augusto 4 cópias4008
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) de Tarmo Uustalu 1 exemplar(es)4014
Advanced Topics in Exception Handling Techniques de Christophe Dony 2 cópias4119
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers de Ralf Lämmel 5 cópias4143
Rigorous Development of Complex Fault-Tolerant Systems de Michael Butler 2 cópias4157
Algorithms in Bioinformatics: 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings (Lecture Notes in Computer Science) de Philipp Bücher 3 cópias4175
Geographic Information Science: 4th International Conference, GIScience 2006Münster, Germany, September 20-23, 2006Proc de Martin Raubal 16 cópias4197
Innovative Approaches for Learning and Knowledge Sharing (EC-TEL 2006) de Wolfgang Nejdl 5 cópias4227
Transactions on Aspect-Oriented Software Development II 1 exemplar(es)4242
Autonomic Management of Mobile Multimedia Services de Ahmed Helmy 2 cópias4267
Large Scale Management of Distributed Systems de Radu State 2 cópias4269
Engineering Self-Organising Systems 2006 de Sven A. Brueckner 6 cópias4335
Grid Computing: Experiment Management, Tool Integration, and Scientific Workflows de Radu Prodan 8 cópias4340
Ada 2005 Reference Manual. Language and Standard Libraries de S. Tucker Taft 4 cópias4348
Verification, Model Checking, and Abstract Interpretation 2007 de Byron Cook 1 exemplar(es)4349
Journal on Data Semantics VIII de Stefano Spaccapietra 2 cópias4380
New Frontiers in Artificial Intelligence (JSAI 2006) de Takashi Washio 3 cópias4384
Speaker Classification II: Selected Papers de Christian Møller 3 cópias4441
Fun with Algorithms: 4th International Conference, FUN 2007 de Paolo Boldi 18 cópias4475
Active Conceptual Modeling of Learning: Next Generation Learning-Base System Development de Peter P. Chen 3 cópias4512
Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior de Martin V. Butz 2 cópias4520
Journal on Data Semantics IX de Stefano Spaccapietra 2 cópias4601
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 2007, Revised Selected Papers de Bo Chen 1 exemplar(es)4614
Transactions on Aspect-Oriented Software Development III de Awais Rashid 6 cópias4620
Security Protocols: 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers de Bruce Christianson 1 exemplar(es)4631
Transactions on Aspect-Oriented Software Development IV de Awais Rashid 1 exemplar(es)4640
Mathematics of Surfaces XII: 12th IMA International Conference, Sheffield, UK, September 4-6, 2007, Proceedings (Lecture Notes in Computer Science) de Ralph Martin 2 cópias4647
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) de László Kovács 5 cópias4675
From Web to Social Web: Discovering and Deploying User and Content Profiles (WebMine 2006) de Bettina Berendt 2 cópias4737
Creating New Learning Experiences on a Global Scale (EC-TEL 2007) de Erik Duval 3 cópias4753
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 de Alexander Clemm 2 cópias4785
IP Operations and Management: 7th IEEE International Workshop, IPOM 2007 de Deep Medhi 2 cópias4786
Real-Time Mobile Multimedia Services: 10th IFIP/IEEE International Conference, MMNS 2007: Proceedings de Dilip Krishnaswamy 3 cópias4787
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 2007, Proceedings de Michael Butler 1 exemplar(es)4789
Reflections on the Teaching of Programming: Methods and Implementations de Jens Bennedsen 10 cópias4821
Sustainable Internet: Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings (Lecture Notes in Computer Science) de Serge Fdida 4 cópias4866
Advances in Cryptology - EUROCRYPT 2008 de Nigel Smart 3 cópias4965
25 Years of Model Checking: History, Achievements, Perspectives de Orna Grumberg 7 cópias, 1 resenha5000
Ada 2005 Rationale: The Language, The Standard Libraries de John Barnes 4 cópias5020
Fast Software Encryption: 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers de Kaisa Nyberg 2 cópias5086
Adaptive Hypermedia and Adaptive Web-Based Systems (AH2008) de Wolfgang Nejdl 1 exemplar(es)5149
Visualization for Computer Security: 5th International Workshop, VizSec 2008, Cambridge, MA, USA, September 15, 2008, Proceedings de John R. Goodall 2 cópias5210
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 de Filip De Turck 1 exemplar(es)5273
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 de George Pavlou 1 exemplar(es)5274
IP Operations and Management: 8th IEEE International Workshop, IPOM 2008 de Nail Akar 1 exemplar(es)5275
Modelling Autonomic Communications Environments: Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings de Sven van der Meer 3 cópias5276
Smart Sensing and Context: Third European Conference, EuroSSC 2008, Zurich, Switzerland, October 29-31, 2008, Proceedings (Lecture Notes in Computer Science) de Daniel Roggen 1 exemplar(es)5279
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part I de David Forsyth 1 exemplar(es)5302
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part III de David Forsyth 1 exemplar(es)5304
Computer Vision - ECCV 2008: 10th European Conference on Computer Vision, Proceedings, Part IV de David Forsyth 1 exemplar(es)5305
Advances in Cryptology - ASIACRYPT 2008 de Josef Pawel Pieprzyk 1 exemplar(es)5350
Advances in information security and assurance : third international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 : proceedings de James Park 14 cópias5576
Research and Advanced Technology for Digital Libraries: 13th European Conference. ECDL 2009, Corfu, Greece, September 27 - October 2, 2009, Proceedings de borbinhajosluis 20 cópias5714
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 de Claudio Bartolini 14 cópias5841
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 de Tom Pfeifer 14 cópias5842
IP Operations and Management: 9th IEEE International Workshop, IPOM 2009 de Giorgio Nunzi 15 cópias5843
Modelling Autonomic Communications Environments: Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009, Proceedings de John C. Strassner 14 cópias5844
Internet and Network Economics: 5th International Workshop, WINE 2009, Rome, Italy, December 14-18, 2009, Proceedings de Stefano Leonardi 16 cópias5929
Security Protocols: 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers de Bruce Christianson 3 cópias5964
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) de Claude Bolduc 18 cópias6120
Research and advanced technology for digital libraries 14th European conference, ECDL 2010, Glasgow, UK, September 6 - 10, 2010 ; proceedings de Mounia Lalmas 15 cópias6273
Algorithms in bioinformatics : 10th international workshop, WABI 2010, Liverpool, UK, September 6-8, 2010 : proceedings de Vincent Moulton 15 cópias6293
Modelling Autonomic Communication Environments: 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings de Rob Brennan 2 cópias6473
Theory of Quantum Computation, Communication and Cryptography de Wim van Dam 3 cópias6519
Advances in Information Retrieval: 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011, Proceedings de Paul Clough 7 cópias6611
Computational Color Imaging: Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011, Proceedings de Raimondo Schettini 3 cópias6626
Combinatorial Image Analysis: 14th International Workshop, IWCIA 2011, Madrid, Spain, May 2011. Proceedings de Jake K. Aggarwal 3 cópias6636
Fast Software Encryption: 18th International Workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011, Revised Selected Papers de Antoine Joux 4 cópias6733
Structural Information and Communication Complexity: 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011 de Adrian Kosowski 3 cópias6796
Combinatorial Optimization and Applications : 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011, Proceedings de Weifan Wang 3 cópias6831
Algorithms in Bioinformatics : 11th International Workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011. Proceedings de Teresa M. Przytycka 2 cópias6833
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 de Leslie Ann Goldberg 2 cópias6845
Advances in spatial and temporal databases : 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24-26, 2011, Proceedings de Dieter Pfoser 4 cópias6849
Advances in Databases and Information Systems: Third East European Conference, ADBIS'99, Maribor, Slovenia, September 13-16, 1999, Proceedings de Johann Eder 4 cópias6909
Advances in information retrieval theory : third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings de Giambattista Amati 3 cópias6931
Advances in intelligent data analysis X : 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings de João Gama 3 cópias7014
Video Processing and Computational Video: International Seminar, Dagstuhl Castle, Germany, October 2010. Revised Papers de Daniel Cremers 1 exemplar(es)7082
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings de Evangelos Kranakis 2 cópias7288
The Language of Mathematics: A Linguistic and Philosophical Investigation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) de Mohan Ganesalingam 7 cópias7805
Algorithms in bioinformatics : 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings de Aaron Darling 3 cópias8126
Fun with algorithms : 7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014. Proceedings de Alfredo Ferro 3 cópias8496
Algorithms in bioinformatics : 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings de Dan Brown 3 cópias8701
Algorithmic Aspects of Cloud Computing: First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science) de Ioannis Karydis 0 cópias9511
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) de Roman Wyrzykowski 0 cópias9573
Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II de Roman Wyrzykowski 0 cópias9574
Research in Computational Molecular Biology: 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings (Lecture Notes in Computer Science) de Mona Singh 1 exemplar(es)9649
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 de Jaap Kamps 1 exemplar(es)10450
Anticipatory Behavior in Adaptive Learning Systems: Foundations, Theories, and Systems de Martin V. Butz 6 cópias
Learning Higher Mathematics de Lev Pontryagin 3 cópias
The Traveling Salesman: Computational Solutions for TSP Applications de Gerhard Reinelt 5 cópias
Universal Access in Health Telematics: A Design Code of Practice de Constantine Stephanidis 1 exemplar(es)

Etiquetas

Membros principais

nfactor13 (36 obras), tim_rylance (32), morphismus (31), vdmeersven (17), updgenref (15), xyzzy77 (13), Real1Det (13), realonedet (13), LibraryImporter (11), ai51 (10), clamp (7), bvs (7), gremo (6), olebakk (6), pmcjones (5), dakvid (4), cbgjr (4), pbleyer (4), mschiffer (4), dskea (4), pbolger (4), CMUQLResearch (4), alicekeller (3), is-ude (3), FRCNRS3409 (3), pleigh20 (3), nillacat (3), elmanu (3), frogman2 (3), aziiz (3), flint63 (3), DawnDrain (3), raak (3), evan.kirshenbaum (3), scg (3), nicodemo (3), AnimationChina (3), idiosyncratic (3), henny (2), gandg (2), nounours (2), louisedennis (2), Torsten_Holmer (2), reastman (2), akopete (2), prosfilaes (2), HelmutSimonis (2), seataf-wants (2), heta01 (2), Marse (2), Nao (2), vauclair (2), paulhurtley (2), starfighter (2), pngwen (2), 4C-Library (2), brs (2), ycaseau (2), m_bearach (2), cirdan747 (2), brent_williams (2), bedarrabooks1 (2), deg (2), BigBaaadBob (2), PeterCapek (2), jfwsem (2), YavorD (2), tombrinck (2), burtzlaff (2), dicole (2), draganigajic (2), s.e.c. (2), demorgan (2), idkk (2), aegean (2), maryb (2), billposer (2), atze (2), ComputerHistory (2), alexbayen (2), cnsrd (2), bumatic (2), naimdjon (2), rhubscher (1), j0el (1), incarnadine7 (1), fogus (1), benchoff (1), UKOLN (1), jmejiat67 (1), hcil (1), ashnorell (1), DeptInformatique (1), tsuitor (1), irl (1), SGPP-Indonesia (1), wwj (1), Gaspare (1), Docherty (1), desperado (1), mcclennan (1), scheduler.ph (1), arclabs (1), jromero (1), danbri (1), Moshekam (1), JanKroken (1), byrdandcharley (1), fulandetal (1), mi_hua (1), LewCipher (1), jacobsca (1), Alogon (1), marpelee (1), fkatz2 (1), micrology (1), anachrocomputer (1), G1MZT (1), mross (1), pygathrix (1), kanima (1), shortcipher (1), AlreadyTaken (1), mjdrabik (1), garywgaryw (1), beoo (1), rtlechow (1), ltfl_burgenland (1), ronaldbmartin (1), xaagmabag (1), MaxHaydenChiz (1), Ken_Roger_Riggs (1), JEEmerson (1), tubaspiller (1), DFGUU (1), mb66 (1), jcluthe (1), hogank (1), RMHudspeth (1), alexbayen3 (1), call_me_ishmael (1), crazylyle (1), Alexander_Holik (1), Datahistorisk (1), brahim2 (1), Gary.Wardell (1), srkal (1), nathanleesw12 (1), mensbrugghe (1), NUWC (1), ibsdimag (1), mjtko (1), pbumbulis (1), gshubert17 (1), dmiserak (1), NickPetty (1), ksheerabdhi (1), Gary46 (1), wallsi (1), increpare (1), ttuckerman (1), logoi (1), firestarw (1), Wark (1), ilcccclibrary (1), Venuss (1), filipkos (1), garryjr (1), BUMPCS (1), workingeveryday4me (1), amanda.lea (1), PastorBrianLam (1), nicmyers (1), ponsaert (1), MeloraA (1), noisebridge (1), objurgate (1), Laurence.Lai (1), russdaniels (1), weiqune (1), schappa (1), psandy (1), ChrisLT521 (1), Pennydart (1), nsiac (1), bugzcomputers (1), cvermilion (1), Melissanthi (1), JohnAKillip (1), PeoriaPeaceInstitute (1), ictegroup (1), cheesestraws (1), SampleAndy (1), M.Bird (1), Rkpriddy (1), dabbott (1), mhewett (1), pascalien (1), solushka (1), theorein (1)