- 2 402 202 книги
#1
Graph-Theoretic Concepts in Computer Science, 32 conf., WG 2006
Fedor V. FominКатегория: Cs_Computer science, CsLn_Lecture notes
4.08 Mb
#2
CONCUR '91, Concurrency Theory, 2 conf
Jos C.M. Baeten, Jan F. GrooteКатегория: Cs_Computer science, CsLn_Lecture notes
6.05 Mb
#3
Research in Computational Molecular Biology, 10 conf., RECOMB 2006
Alberto Apostolico, Concettina Guerra, Sorin Istrail, Pavel Pevzner, Michael WatermanКатегория: Cs_Computer science, CsLn_Lecture notes
9.43 Mb
#4
Compiler Construction 11 conf
R. Niegel HorspoolКатегория: Cs_Computer science, CsLn_Lecture notes
6.15 Mb
#5
Fast Software Encryption 14 conf
Alex BiryukovКатегория: Cs_Computer science, CsLn_Lecture notes
4.75 Mb
#6
Advances in Cryptology EUROCRYPT '93
Tor HellesethКатегория: Cs_Computer science, CsLn_Lecture notes
4.19 Mb
#7
Fundamentals of Computation Theory, FCT'89
Janos Csirik, Ferenc Gecseg, Janos DemetrovicsКатегория: Cs_Computer science, CsLn_Lecture notes
4.78 Mb
#8
SOFSEM 2005: Theory and Practice of Computer Science, 31 conf
Maria Bieliková, Charon-Bost, Ondrej Sýkora, Peter VojtásКатегория: Cs_Computer science, CsLn_Lecture notes
4.89 Mb
#9
Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik MukhopadhyayКатегория: Cs_Computer science, CsLn_Lecture notes
2.51 Mb
#11
Programming Languages and Systems, 5 conf., ESOP '94
Donald SannellaКатегория: Cs_Computer science, CsLn_Lecture notes
4.20 Mb
#12
SOFSEM 95: 22 conf
Miroslav Bartosek, Jan Staudek, Jiri WiedermannКатегория: Cs_Computer science, CsLn_Lecture notes
4.43 Mb
#13
Rewriting, Computation and Proof
Hubert Comon-Lundh, Claude Kirchner, Hélène KirchnerКатегория: Cs_Computer science, CsLn_Lecture notes
3.45 Mb
#14
Algebraic Coding 1 French-Israeli conf
Gerard Cohen, Simon Litsyn, Antoine Lobstein, Gilles ZemorКатегория: Cs_Computer science, CsLn_Lecture notes
2.92 Mb
#15
Approximation and Online Algorithms, 2 conf., WAOA 2004
Giuseppe Persiano, Roberto Solis-ObaКатегория: Cs_Computer science, CsLn_Lecture notes
2.53 Mb
#16
Programming Languages and Systems, 4 conf., APLAS 2006
Naoki KobayashiКатегория: Cs_Computer science, CsLn_Lecture notes
4.09 Mb
#17
Unconventional Programming Paradigms, UPP 2004
Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier MichelКатегория: Cs_Computer science, CsLn_Lecture notes
3.86 Mb
#18
Algorithmic Learning Theory, 4 conf., ALT '93
Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi YokomoriКатегория: Cs_Computer science, CsLn_Lecture notes
3.63 Mb
#19
Fundamentals of Computation Theory, 16 conf., FCT 2007
Erzsébet Csuhaj-Varjú, Zoltán ÉsikКатегория: Cs_Computer science, CsLn_Lecture notes
4.35 Mb
#20
Advances in Petri Nets 1992
Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.20 Mb
#21
Mathematical Foundations of Computer Science 2006, 31 conf., MFCS 2006
Rastislav Královic, Pawel UrzyczynКатегория: Cs_Computer science, CsLn_Lecture notes
7.86 Mb
#22
Mathematical Foundations of Computer Science 1977 6 conf
J. GruskaКатегория: Cs_Computer science, CsLn_Lecture notes
5.93 Mb
#23
Application and Theory of Petri Nets 2000, 21 conf., ICATPN 2000
Mogens Nielsen, Dan SimpsonКатегория: Cs_Computer science, CsLn_Lecture notes
5.54 Mb
#24
Foundations of Genetic Algorithms, 8 conf., FOGA 2005
Alden H. Wright, Michael D. Vose, Kenneth A. De Jong, Lothar M. SchmittКатегория: Cs_Computer science, CsLn_Lecture notes
3.14 Mb
#25
CSL '88 Computer Science Logic 2 conf
Egon Börger, Hans Kleine Büning, Michael M. RichterКатегория: Cs_Computer science, CsLn_Lecture notes
2.87 Mb
#26
Public Key Cryptography, 2 conf., PKC '99
Hideki Imai, Yuliang ZhengКатегория: Cs_Computer science, CsLn_Lecture notes
2.18 Mb
#27
Mathematical Foundations of Computer Science 1999, 24 conf., MFCS'99
Miroslaw Kutylowski, Leszek Pacholski, Tomasz WierzbickiКатегория: Cs_Computer science, CsLn_Lecture notes
3.38 Mb
#28
Computer Aided Verification, 2 conf., CAV '90
Edmund M. Clarke, Robert P. KurshanКатегория: Cs_Computer science, CsLn_Lecture notes
3.97 Mb
#29
Computer Science Logic, 22 conf., CSL 2008
Michael Kaminski, Simone MartiniКатегория: Cs_Computer science, CsLn_Lecture notes
5.38 Mb
#30
Rewriting Techniques and Applications, 8 conf., RTA-97
Hubert ComonКатегория: Cs_Computer science, CsLn_Lecture notes
3.17 Mb
#31
Principles and Practice of Constraint Programming, CP'97 3 conf
Gert SmolkaКатегория: Cs_Computer science, CsLn_Lecture notes
5.48 Mb
#32
Fast Software Encryption 11 conf
Bimal Roy, Willi MeierКатегория: Cs_Computer science, CsLn_Lecture notes
3.67 Mb
#33
Algebraic and Logic Programming 5 conf., ALP'96
Michael Hanus, Mario Rodriguez-ArtalejoКатегория: Cs_Computer science, CsLn_Lecture notes
3.57 Mb
#34
Languages and Compilers for Parallel Computing, 5 conf
Utpal Banerjee, David Gelernter, Alex Nicolau, David PaduaКатегория: Cs_Computer science, CsLn_Lecture notes
4.78 Mb
#35
Information Security and Privacy, 10 conf., ACISP 2005
Colin Boyd, Juan M. González NietoКатегория: Cs_Computer science, CsLn_Lecture notes
4.89 Mb
#36
Algorithms and Computation, 9 conf., ISAAC '98
Kyung-Yong Chwa, Oscar H. IbarraКатегория: Cs_Computer science, CsLn_Lecture notes
4.18 Mb
#37
Advances in Cryptology EUROCRYPT '91
Donald W. DaviesКатегория: Cs_Computer science, CsLn_Lecture notes
5.43 Mb
#38
Computer Aided Verification, 16 conf., CAV 2004
Rajeev Alur, Doron A. PeledКатегория: Cs_Computer science, CsLn_Lecture notes
9.94 Mb
#39
Algorithmic Learning Theory, 7 conf., ALT '96
Setsuo Arikawa, Arun K. SharmaКатегория: Cs_Computer science, CsLn_Lecture notes
2.83 Mb
#40
Algorithms and Data Structures, 3 conf., WADS '93
Frank Dehne, Jörg-Rüdiger Sack, Nicola Santoro, Sue WhitesidesКатегория: Cs_Computer science, CsLn_Lecture notes
5.67 Mb
#41
Automata, Languages and Programming, 34 conf., ICALP 2007
Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej TarleckiКатегория: Cs_Computer science, CsLn_Lecture notes
8.83 Mb
#42
Recent Trends in Algebraic Development Techniques 12 conf., WADT'97
Francesco Parisi-PresicceКатегория: Cs_Computer science, CsLn_Lecture notes
3.49 Mb
#43
Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97
Norbert E. FuchsКатегория: Cs_Computer science, CsLn_Lecture notes
2.30 Mb
#44
STACS 84, Theoretical Aspects of Computer Science 1 conf
M. Fontet, K. MehlhornКатегория: Cs_Computer science, CsLn_Lecture notes
3.00 Mb
#45
Distributed Algorithms 9 conf., WDAG '95
Jean-Michel Helary, Michel RaynalКатегория: Cs_Computer science, CsLn_Lecture notes
2.77 Mb
#46
Advances in Petri Nets 1996, Lectures on Petri Nets vol.2: Applications
Wolfgang Reisig, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
4.50 Mb
#47
Recent Trends in Algebraic Development Techniques, 15 conf., WADT 2001
Maura Cerioli, Gianna ReggioКатегория: Cs_Computer science, CsLn_Lecture notes
2.06 Mb
#48
Unifying Petri Nets
Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
2.92 Mb
#49
Advances in Cryptology EUROCRYPT '97
Walter FumyКатегория: Cs_Computer science, CsLn_Lecture notes
4.77 Mb
#50
Advances in Cryptology CRYPTO '91 11 conf
Joan FeigenbaumКатегория: Cs_Computer science, CsLn_Lecture notes
4.82 Mb
#51
Distributed Algorithms 7 conf., WDAG '93
Andre SchiperКатегория: Cs_Computer science, CsLn_Lecture notes
2.89 Mb
#52
Structural Information and Communication Complexity, 14 conf., SIROCCO 2007
Giuseppe Prencipe, Shmuel ZaksКатегория: Cs_Computer science, CsLn_Lecture notes
3.24 Mb
#53
Automata, Languages and Programming, 10 conf., Barcelona, Spain, July 18-22, 1983
J. DiazКатегория: Cs_Computer science, CsLn_Lecture notes
5.51 Mb
#54
Computer Security - ESORICS 2000, 6 conf
Frederic Cuppens, Yves Deswarte, Dieter Gollmann, Michael WaidnerКатегория: Cs_Computer science, CsLn_Lecture notes
1.80 Mb
#55
Automata, Languages and Programming, 4 conf
A. Salomaa, M. SteinbyКатегория: Cs_Computer science, CsLn_Lecture notes
4.95 Mb
#56
Implementation of Functional Languages, 12 conf., IFL 2000
Markus Mohnen, Pieter KoopmanКатегория: Cs_Computer science, CsLn_Lecture notes
1.41 Mb
#57
Computer Aided Verification, 10 conf., CAV '98
Alan J. Hu, Moshe Y. VardiКатегория: Cs_Computer science, CsLn_Lecture notes
5.51 Mb
#58
Fast Software Encryption 3 conf
Dieter GollmannКатегория: Cs_Computer science, CsLn_Lecture notes
1.72 Mb
#59
Membrane Computing, WMC-CdeA 2002
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Claudio ZandronКатегория: Cs_Computer science, CsLn_Lecture notes
2.87 Mb
#61
Automata, Languages and Programming, 22 conf., ICALP95
Zoltan Fülöp, Ferenc GecsegКатегория: Cs_Computer science, CsLn_Lecture notes
6.18 Mb
#62
Automata, Languages and Programming, 25 conf., ICALP'98
Kim G. Larsen, Sven Skyum, Glynn WinskelКатегория: Cs_Computer science, CsLn_Lecture notes
6.24 Mb
#63
Fundamentals of Computation Theory, 12 conf., FCT '99
Gabriel Ciobanu, Gheorghe PaunКатегория: Cs_Computer science, CsLn_Lecture notes
4.15 Mb
#64
Algorithmic Learning Theory, 17 conf., ALT 2006
José L. Balcázar, Philip M. Long, Frank StephanКатегория: Cs_Computer science, CsLn_Lecture notes
3.91 Mb
#65
Advances in Cryptology CRYPTO '84
G.R. Blakely, D. ChaumКатегория: Cs_Computer science, CsLn_Lecture notes
3.82 Mb
#66
Algebraic Coding 1 French-Soviet conf
Gerard Cohen, Simon N. Litsyn, Antoine Lobstein, Gilles ZemorКатегория: Cs_Computer science, CsLn_Lecture notes
1.17 Mb
#67
STACS 93, Theoretical Aspects of Computer Science 10 conf
Patrice Enjalbert, Alain Finkel, Klaus W. WagnerКатегория: Cs_Computer science, CsLn_Lecture notes
7.18 Mb
#68
STACS 87, Theoretical Aspects of Computer Science 4 conf
Franz J. Brandenburg, Guy Vidal-Naquet, Martin WirsingКатегория: Cs_Computer science, CsLn_Lecture notes
4.38 Mb
#69
Algorithm Theory - SWAT 2008, 11 conf
Joachim GudmundssonКатегория: Cs_Computer science, CsLn_Lecture notes
4.77 Mb
#70
CAAP 81 Trees in Algebra and Programming 6 conf
E. Astesiano, C. BöhmКатегория: Cs_Computer science, CsLn_Lecture notes
2.88 Mb
#71
Algorithms, International Symposium SIGAL '90
Tetsuo Asano, Toshihide Ibaraki, Hiroshi Imai, Takao NishizekiКатегория: Cs_Computer science, CsLn_Lecture notes
6.31 Mb
#72
SOFSEM 2004: Theory and Practice of Computer Science, 30 conf
Peter Van Emde Boas, Jaroslav Pokorny, Maria Bielikova, Julius StullerКатегория: Cs_Computer science, CsLn_Lecture notes
3.02 Mb
#73
STACS 99, 16 conf
Christoph Meinel, Sophie TisonКатегория: Cs_Computer science, CsLn_Lecture notes
3.81 Mb
#74
Algebraic Algorithms and Error-Correcting Codes 3 conf., AAECC-3
Jaques CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
3.18 Mb
#75
Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002
Agostino CortesiКатегория: Cs_Computer science, CsLn_Lecture notes
2.38 Mb
#76
STACS 90, Theoretical Aspects of Computer Science 7 conf
Christian Choffrut, Thomas LengauerКатегория: Cs_Computer science, CsLn_Lecture notes
2.89 Mb
#77
Algorithm Engineering, 3 conf., WAE '99
Jeffrey S. Vitter, Christos D. ZaroliagisКатегория: Cs_Computer science, CsLn_Lecture notes
3.30 Mb
#78
Fault Diagnosis and Tolerance in Cryptography, 3 conf., FDTC 2006
Luca Breveglieri, Israel Koren, David Naccache, Jean-Pierre SeifertКатегория: Cs_Computer science, CsLn_Lecture notes
2.54 Mb
#79
Rewriting Techniques and Applications, 10 conf., RTA-99
Paliath Narendran, Michael RusinowitchКатегория: Cs_Computer science, CsLn_Lecture notes
4.47 Mb
#80
Advances in Cryptology - CRYPTO '89, 9 conf
Gilles BrassardКатегория: Cs_Computer science, CsLn_Lecture notes
6.60 Mb
#81
Machine Learning and Its Applications
Georgios Paliouras, Vangelis Karkaletsis, Constantine D. SpyropoulosКатегория: Cs_Computer science, CsLn_Lecture notes
2.85 Mb
#82
Declarative Programming for Knowledge Management, 16 conf., INAP 2005
Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu TakataКатегория: Cs_Computer science, CsLn_Lecture notes
4.43 Mb
#83
Selected Areas in Cryptography, 12 conf., SAC 2005
Bart Preneel, Stafford TavaresКатегория: Cs_Computer science, CsLn_Lecture notes
3.49 Mb
#84
Rewriting Techniques and Applications, 5 conf., RTA-93
Claude KirchnerКатегория: Cs_Computer science, CsLn_Lecture notes
4.54 Mb
#85
Intelligent Information Integration for the Semantic Web
Ubbo VisserКатегория: Cs_Computer science, CsLn_Lecture notes
2.34 Mb
#86
Advances in Cryptology EUROCRYPT '96
Ueli MaurerКатегория: Cs_Computer science, CsLn_Lecture notes
4.32 Mb
#87
Pairing-Based Cryptography - Pairing 2007
Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi OkamotoКатегория: Cs_Computer science, CsLn_Lecture notes
3.50 Mb
#88
Hybrid Neural Systems 1998
Stefan Wermter, Ron SunКатегория: Cs_Computer science, CsLn_Lecture notes
3.17 Mb
#89
Parallel Computer Architectures: Theory, Hardware, Software, Applications
Arndt Bode, Mario Dal CinКатегория: Cs_Computer science, CsLn_Lecture notes
3.16 Mb
#90
Fundamentals of Computation Theory, FCT'83
M. KarpinskiКатегория: Cs_Computer science, CsLn_Lecture notes
4.55 Mb
#91
Logic, Language, Information and Computation, 15 conf., WoLLIC 2008
Wilfrid Hodges, Ruy de QueirozКатегория: Cs_Computer science, CsLn_Lecture notes
3.20 Mb
#92
Graph-Theoretic Concepts in Computer Science, WG '87
Herbert Göttler, Hans-Jürgen SchneiderКатегория: Cs_Computer science, CsLn_Lecture notes
2.28 Mb
#93
Compiler Optimizations for Scalable Parallel Systems Languages
Santosh Pande, Dharma P. AgrawalКатегория: Cs_Computer science, CsLn_Lecture notes
4.74 Mb
#95
Combinatorial Pattern Matching, 3 conf., CPM 92
Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi ManberКатегория: Cs_Computer science, CsLn_Lecture notes
2.87 Mb
#96
Compiler Construction 13 conf
Evelyn DuesterwaldКатегория: Cs_Computer science, CsLn_Lecture notes
5.87 Mb
#97
Algorithm Engineering, 4 conf., WAE 2000
Stefan Näher, Dorothea WagnerКатегория: Cs_Computer science, CsLn_Lecture notes
2.79 Mb
#98
Advanced Functional Programming 2 conf
John Launchbury, Erik Meijer, Tim SheardКатегория: Cs_Computer science, CsLn_Lecture notes
1.97 Mb
#99
Rigorous Development of Complex Fault-Tolerant Systems, FP6 IST-511599 RODIN project
Michael Butler, Cliff JonesКатегория: Cs_Computer science, CsLn_Lecture notes
4.94 Mb
#100
Algorithm Theory - SWAT '92
Otto Nurmi, Esko UkkonenКатегория: Cs_Computer science, CsLn_Lecture notes
3.77 Mb
Показаны далеко не все результаты, удовлетворяющие вашему запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.