 |
Linux Firewalls, Third Edition [Computer Science - 309] by Steve Suehring, Robert Ziegler1.6 MB - 16 Oct, 2020
|
 |
Linux For Non-Geeks-A Hands-On, Project-Based, Take-It-Slow Guidebook [Computer Science - 310] by Rickford Grant14.7 MB - 16 Oct, 2020
|
 |
Linux in a Nutshell, 4th Edition [Computer Science - 311] by Stephen Figgins, Ellen Siever, Aaron Weber1.6 MB - 16 Oct, 2020
|
 |
Linux Pocket Guide by Daniel J. Barrett513.6 KB - 16 Oct, 2020 Tags=[COMPUTERS / Operating Systems / Linux]
|
 |
Linux Unwired [Computer Science - 312] by Edd Dumbill, Brian Jepson, Roger Weeks3.3 MB - 16 Oct, 2020
|
 |
Linux(r) Desk Reference [Computer Science - 313] by Scott Hawkins1 MB - 16 Oct, 2020
|
 |
Little Data Book on Information and Communication Technology 2008 by aurelli11.2 MB - 16 Oct, 2020
|
 |
LLH Technology by Digital Frequency Synthesis Demystified5.2 MB - 16 Oct, 2020
|
 |
LNAI 2650 - A FIPA Compliant Goal Delegation Protocol by Federico Bergenti, Giovanni Rimassa, Matteo Somacher & Luis Miguel Botelho186.9 KB - 16 Oct, 2020 Tags=[Communications in Multiagent Systems]
|
 |
LNAI 2650 - Request for Action Reconsidered as a Dialogue Game Based on Commitments by Brahim Chaib-draa, Marc-André Labrie & Nicholas Maudet218.2 KB - 16 Oct, 2020 Tags=[Communications in Multiagent Systems]
|
 |
LNAI 2650 - Verification and Compliance Testing by Frank Guerin & Jeremy Pitt196 KB - 16 Oct, 2020 Tags=[Communications in Multiagent Systems]
|
 |
LNAI 2682 - A Data Mining Query Language for Knowledge Discovery in a Geographical Information System by Donato Malerba, Annalisa Appice & Michelangelo Ceci202.3 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - Condensed Representations for Sets of Mining Queries by Arnaud Giacometti, Dominique Laurent & Cheikh Talibouya Diop296.4 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - Declarative Data Mining Using SQL3 by Hasan M. Jamil312 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - Integrity Constraints over Association Rules by Artur Bykowski, Thomas Daurel, Nicolas Méger & Christophe Rigotti304.8 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data by Artur Bykowski, Jouni K. Seppänen & Jaakko Hollmén254 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - One-Sided Instance-Based Boundary Sets by Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper & H Jaap van den Herik239.4 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2682 - Towards a Logic Query Language for Data Mining by Fosca Giannotti, Giuseppe Manco & Franco Turini217.7 KB - 16 Oct, 2020 Tags=[Database Support for Data Mining Applications]
|
 |
LNAI 2741 - Certifying Solutions to Permutation Group Problems by Arjeh Cohen, Scott H. Murray, Martin Pollet & Volker Sorge286.9 KB - 16 Oct, 2020 Tags=[Automated Deduction -- CADE-19]
|
 |
LNAI 2741 - Monodic Temporal Resolution by Anatoly Degtyarev, Michael Fisher & Boris Konev309 KB - 16 Oct, 2020 Tags=[Automated Deduction -- CADE-19]
|
 |
LNAI 2741 - Proof Search and Proof Check for Equational and Inductive Theorems by Eric Deplagne, Claude Kirchner, Hélène Kirchner & Quang Huy Nguyen312.1 KB - 16 Oct, 2020 Tags=[Automated Deduction -- CADE-19]
|
 |
LNAI 2741 - Proving Pointer Programs in Higher-Order Logic by Farhad Mehta & Tobias Nipkow206.3 KB - 16 Oct, 2020 Tags=[Automated Deduction -- CADE-19]
|
 |
LNAI 2741 - Reasoning about Qualitative Representations of Space and Time by Anthony G. Cohn38.4 KB - 16 Oct, 2020 Tags=[Automated Deduction -- CADE-19]
|
 |
LNAI 2801 - A Clustering Algorithm Based on the Ants Self-Assembly Behavior by H. Azzag, N. Monmarché, M. Slimane, C. Guinot & G. Venturini460.1 KB - 16 Oct, 2020 Tags=[Advances in Artificial Life]
|
 |
LNAI 2801 - A Multi-agent Based Approach to Modelling and Rendering of 3D Tree Bark Textures by Ban Tao, Zhang Changshui & Shu Wei566.3 KB - 16 Oct, 2020 Tags=[Advances in Artificial Life]
|