- 2 402 202 книги
- Поиск
Graph-Theoretic Concepts in Computer Science, 32 conf., WG 2006
Автор: Fedor V. FominКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.08 Mb
CONCUR '91, Concurrency Theory, 2 conf
Автор: Jos C.M. Baeten, Автор: Jan F. GrooteКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.05 Mb
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
Compiler Construction 11 conf
Автор: R. Niegel HorspoolКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.15 Mb
Fast Software Encryption 14 conf
Автор: Alex BiryukovКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.75 Mb
Advances in Cryptology EUROCRYPT '93
Автор: Tor HellesethКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.19 Mb
Fundamentals of Computation Theory, FCT'89
Автор: Janos Csirik, Автор: Ferenc Gecseg, Автор: Janos DemetrovicsКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.78 Mb
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
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
Transactions on Rough
Автор:Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.22 Mb
Programming Languages and Systems, 5 conf., ESOP '94
Автор: Donald SannellaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.20 Mb
SOFSEM 95: 22 conf
Автор: Miroslav Bartosek, Автор: Jan Staudek, Автор: Jiri WiedermannКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.43 Mb
Rewriting, Computation and Proof
Автор: Hubert Comon-Lundh, Автор: Claude Kirchner, Автор: Hélène KirchnerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.45 Mb
Algebraic Coding 1 French-Israeli conf
Автор: Gerard Cohen, Автор: Simon Litsyn, Автор: Antoine Lobstein, Автор: Gilles ZemorКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.92 Mb
Approximation and Online Algorithms, 2 conf., WAOA 2004
Автор: Giuseppe Persiano, Автор: Roberto Solis-ObaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.53 Mb
Programming Languages and Systems, 4 conf., APLAS 2006
Автор: Naoki KobayashiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.09 Mb
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
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
Fundamentals of Computation Theory, 16 conf., FCT 2007
Автор: Erzsébet Csuhaj-Varjú, Автор: Zoltán ÉsikКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.35 Mb
Advances in Petri Nets 1992
Автор: Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.20 Mb
Mathematical Foundations of Computer Science 2006, 31 conf., MFCS 2006
Автор: Rastislav Královic, Автор: Pawel UrzyczynКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 7.86 Mb
Mathematical Foundations of Computer Science 1977 6 conf
Автор: J. GruskaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.93 Mb
Application and Theory of Petri Nets 2000, 21 conf., ICATPN 2000
Автор: Mogens Nielsen, Автор: Dan SimpsonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.54 Mb
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
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
Public Key Cryptography, 2 conf., PKC '99
Автор: Hideki Imai, Автор: Yuliang ZhengКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.18 Mb
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
Computer Aided Verification, 2 conf., CAV '90
Автор: Edmund M. Clarke, Автор: Robert P. KurshanКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.97 Mb
Computer Science Logic, 22 conf., CSL 2008
Автор: Michael Kaminski, Автор: Simone MartiniКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.38 Mb
Rewriting Techniques and Applications, 8 conf., RTA-97
Автор: Hubert ComonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.17 Mb
Principles and Practice of Constraint Programming, CP'97 3 conf
Автор: Gert SmolkaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.48 Mb
Fast Software Encryption 11 conf
Автор: Bimal Roy, Автор: Willi MeierКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.67 Mb
Algebraic and Logic Programming 5 conf., ALP'96
Автор: Michael Hanus, Автор: Mario Rodriguez-ArtalejoКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.57 Mb
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
Information Security and Privacy, 10 conf., ACISP 2005
Автор: Colin Boyd, Автор: Juan M. González NietoКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.89 Mb
Algorithms and Computation, 9 conf., ISAAC '98
Автор: Kyung-Yong Chwa, Автор: Oscar H. IbarraКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.18 Mb
Advances in Cryptology EUROCRYPT '91
Автор: Donald W. DaviesКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.43 Mb
Computer Aided Verification, 16 conf., CAV 2004
Автор: Rajeev Alur, Автор: Doron A. PeledКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 9.94 Mb
Algorithmic Learning Theory, 7 conf., ALT '96
Автор: Setsuo Arikawa, Автор: Arun K. SharmaКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.83 Mb
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
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
Recent Trends in Algebraic Development Techniques 12 conf., WADT'97
Автор: Francesco Parisi-PresicceКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.49 Mb
Logic Programming Synthesis and Transformation, 7 conf., LOPSTR'97
Автор: Norbert E. FuchsКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.30 Mb
STACS 84, Theoretical Aspects of Computer Science 1 conf
Автор: M. Fontet, Автор: K. MehlhornКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.00 Mb
Distributed Algorithms 9 conf., WDAG '95
Автор: Jean-Michel Helary, Автор: Michel RaynalКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.77 Mb
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
Recent Trends in Algebraic Development Techniques, 15 conf., WADT 2001
Автор: Maura Cerioli, Автор: Gianna ReggioКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.06 Mb
Unifying Petri Nets
Автор: Hartmut Ehrig, Автор: Gabriel Juhas, Автор: Julia Padberg, Автор: Grzegorz RozenbergКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.92 Mb
Advances in Cryptology EUROCRYPT '97
Автор: Walter FumyКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.77 Mb
Advances in Cryptology CRYPTO '91 11 conf
Автор: Joan FeigenbaumКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.82 Mb
Distributed Algorithms 7 conf., WDAG '93
Автор: Andre SchiperКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.89 Mb
Structural Information and Communication Complexity, 14 conf., SIROCCO 2007
Автор: Giuseppe Prencipe, Автор: Shmuel ZaksКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.24 Mb
Automata, Languages and Programming, 10 conf., Barcelona, Spain, July 18-22, 1983
Автор: J. DiazКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.51 Mb
Computer Security - ESORICS 2000, 6 conf
Автор: Frederic Cuppens, Автор: Yves Deswarte, Автор: Dieter Gollmann, Автор: Michael WaidnerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.80 Mb
Automata, Languages and Programming, 4 conf
Автор: A. Salomaa, Автор: M. SteinbyКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.95 Mb
Implementation of Functional Languages, 12 conf., IFL 2000
Автор: Markus Mohnen, Автор: Pieter KoopmanКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.41 Mb
Computer Aided Verification, 10 conf., CAV '98
Автор: Alan J. Hu, Автор: Moshe Y. VardiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.51 Mb
Fast Software Encryption 3 conf
Автор: Dieter GollmannКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.72 Mb
Membrane Computing, WMC-CdeA 2002
Автор: Gheorghe Paun, Автор: Grzegorz Rozenberg, Автор: Arto Salomaa, Автор: Claudio ZandronКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.87 Mb
EUROCAL '85
Автор: Bruno BuchbergerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.20 Mb
Automata, Languages and Programming, 22 conf., ICALP95
Автор: Zoltan Fülöp, Автор: Ferenc GecsegКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.18 Mb
Automata, Languages and Programming, 25 conf., ICALP'98
Автор: Kim G. Larsen, Автор: Sven Skyum, Автор: Glynn WinskelКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.24 Mb
Fundamentals of Computation Theory, 12 conf., FCT '99
Автор: Gabriel Ciobanu, Автор: Gheorghe PaunКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.15 Mb
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
Advances in Cryptology CRYPTO '84
Автор: G.R. Blakely, Автор: D. ChaumКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.82 Mb
Algebraic Coding 1 French-Soviet conf
Автор: Gerard Cohen, Автор: Simon N. Litsyn, Автор: Antoine Lobstein, Автор: Gilles ZemorКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.17 Mb
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
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
Algorithm Theory - SWAT 2008, 11 conf
Автор: Joachim GudmundssonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.77 Mb
CAAP 81 Trees in Algebra and Programming 6 conf
Автор: E. Astesiano, Автор: C. BöhmКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.88 Mb
Algorithms, International Symposium SIGAL '90
Автор: Tetsuo Asano, Автор: Toshihide Ibaraki, Автор: Hiroshi Imai, Автор: Takao NishizekiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.31 Mb
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
STACS 99, 16 conf
Автор: Christoph Meinel, Автор: Sophie TisonКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.81 Mb
Algebraic Algorithms and Error-Correcting Codes 3 conf., AAECC-3
Автор: Jaques CalmetКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.18 Mb
Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002
Автор: Agostino CortesiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.38 Mb
STACS 90, Theoretical Aspects of Computer Science 7 conf
Автор: Christian Choffrut, Автор: Thomas LengauerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.89 Mb
Algorithm Engineering, 3 conf., WAE '99
Автор: Jeffrey S. Vitter, Автор: Christos D. ZaroliagisКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.30 Mb
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
Rewriting Techniques and Applications, 10 conf., RTA-99
Автор: Paliath Narendran, Автор: Michael RusinowitchКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.47 Mb
Advances in Cryptology - CRYPTO '89, 9 conf
Автор: Gilles BrassardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 6.60 Mb
Machine Learning and Its Applications
Автор: Georgios Paliouras, Автор: Vangelis Karkaletsis, Автор: Constantine D. SpyropoulosКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.85 Mb
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
Selected Areas in Cryptography, 12 conf., SAC 2005
Автор: Bart Preneel, Автор: Stafford TavaresКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.49 Mb
Rewriting Techniques and Applications, 5 conf., RTA-93
Автор: Claude KirchnerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.54 Mb
Intelligent Information Integration for the Semantic Web
Автор: Ubbo VisserКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.34 Mb
Advances in Cryptology EUROCRYPT '96
Автор: Ueli MaurerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.32 Mb
Pairing-Based Cryptography - Pairing 2007
Автор: Tsuyoshi Takagi, Автор: Tatsuaki Okamoto, Автор: Eiji Okamoto, Автор: Takeshi OkamotoКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.50 Mb
Hybrid Neural Systems 1998
Автор: Stefan Wermter, Автор: Ron SunКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.17 Mb
Parallel Computer Architectures: Theory, Hardware, Software, Applications
Автор: Arndt Bode, Автор: Mario Dal CinКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.16 Mb
Fundamentals of Computation Theory, FCT'83
Автор: M. KarpinskiКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.55 Mb
Logic, Language, Information and Computation, 15 conf., WoLLIC 2008
Автор: Wilfrid Hodges, Автор: Ruy de QueirozКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.20 Mb
Graph-Theoretic Concepts in Computer Science, WG '87
Автор: Herbert Göttler, Автор: Hans-Jürgen SchneiderКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.28 Mb
Compiler Optimizations for Scalable Parallel Systems Languages
Автор: Santosh Pande, Автор: Dharma P. AgrawalКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.74 Mb
Combinatorial Pattern Matching, 3 conf., CPM 92
Автор: Alberto Apostolico, Автор: Maxime Crochemore, Автор: Zvi Galil, Автор: Udi ManberКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.87 Mb
Compiler Construction 13 conf
Автор: Evelyn DuesterwaldКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.87 Mb
Algorithm Engineering, 4 conf., WAE 2000
Автор: Stefan Näher, Автор: Dorothea WagnerКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.79 Mb
Advanced Functional Programming 2 conf
Автор: John Launchbury, Автор: Erik Meijer, Автор: Tim SheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.97 Mb
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
Algorithm Theory - SWAT '92
Автор: Otto Nurmi, Автор: Esko UkkonenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.77 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.