Limit search to available items
Nearby Subjects are:
Result Page   Prev Next
Add Marked to Bag Add All On Page Add Marked to My Lists
Mark   Year Entries
Logicians -- Great Britain -- Biography   2
Logicians -- Great Britain -- Correspondence : John Venn : unpublished writings and selected correspondence / Lukas M. Verburgt  2022 1
 

Logicians, Muslim -- See Muslim logicians


  1
Logicians -- Poland. : Polish logic / 1920-1939 papers by Ajdukiewicz [and others]; with an introduction by Tadeusz Kotarbinski, edited by Storrs McCall, translated by B. Gruchman [and others]  1967 1
Logicians -- Poland -- Biography : Andrzej Mostowski and foundational studies / edited by A. Ehrenfeucht, V.W. Marek and M. Srebrny  2008 1
Logicians -- United States. : Reflections on Kurt Gödel / Hao Wang  1987 1
Logicians -- United States -- Biography   4
Logiciel.   3
Logiciel commercial. : COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings / Xavier Franch, Dan Port (eds.)  2005 1
Logiciel -- Coût. : Economics of grids, clouds, systems, and services : 7th international workshop, GECON 2010, Ischia, Italy, August 31, 2010 : proceedings / Jörn Altmann, Omer F. Rana (eds.)  2010 1
Logiciel d'application.   4
logiciel d'application -- performance -- test. : The art of application performance testing / by Ian Molyneaux  2009 1
Logiciel de base. : Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.)  2005 1
Logiciel de communication. : System analysis and modeling : 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers / Daniel Amyot, Alan W. Williams (eds.)  2005 1
Logiciel de groupe. : Groupware : design, implementation, and use : 11th international workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005 : proceedings / Hugo Fuks, Stephan Lukosch, Ana Carolina Salgado (eds.)  2005 1
Logiciel libre (Open source) : The cathedral and the bazaar : musings on Linux and open source by an accidental revolutionary / Eric S. Raymond ; with a foreword by Bob Young  2001 1
Logiciel malveillant. : Detection of intrusions and malware, and vulnerability assessment : second international conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005 : proceedings / Klaus Julisch, Christopher Kruegel (eds.)  2005 1
logiciel -- performance -- test. : The art of application performance testing / by Ian Molyneaux  2009 1
Logiciels.   23
Algèbre -- Logiciels. : The seventeen provers of the world / foreword by Dana S. Scott ; Freek Wiedijk (ed.)  2006 1
Analyse des données -- Logiciels -- Médecine. : Statistical analysis of medical data using SAS / Geoff Der, Brian S. Everitt  2006 1
Animation par ordinateur -- Logiciels. : Beginning Blender : open source 3D modeling, animation, and game design / Lance Flavell  2010 1
Chromatographie -- Logiciels. : Validation of chromatography data systems : meeting business and regulatory requirements / R.D. McDowall  2005 1
Classification automatique (Statistique) -- Logiciels. : Intelligent text categorization and clustering / Nadia Nedjah [and others], (eds.)  2009 1
Logiciels -- Congrès.   2
Courrier électronique -- Logiciels. : Managing IMAP / Dianna Mullet & Kevin Mullet  2000 1
Logiciels d'application. : Distributed applications and interoperable systems : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 ; proceedings / Frank Eliassen, Alberto Montresor (eds.)  2006 1
Logiciels de groupe. : Groupware : design, implementation, and use : 11th international workshop, CRIWG 2005, Porto de Galinhas, Brazil, September 25-29, 2005 : proceedings / Hugo Fuks, Stephan Lukosch, Ana Carolina Salgado (eds.)  2005 1
Logiciels -- Développement.   17
Logiciels -- Développement -- Congrès.   11
Logiciels -- Essais.   2
Logiciels -- Essais -- Congrès.   2
Logiciels -- Évaluation -- Congrès. : Objective software quality : objective quality : Second Symposium on Software Quality Techniques and Acquisition Criteria, Florence, Italy, May 29-31, 1995 : proceedings / Paolo Nesi, ed  1995 1
Logiciels -- Exactitude. : Variations on constants : flow analysis of sequential and parallel programs / Markus Müller-Olm  2006 1
Logiciels -- Fiabilité. : Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.)  2005 1
Géographie -- Logiciels. : Map scripting 101 : an example-driven guide to building interactive maps with Bing, Yahoo!, and Google Maps / by Adam DuVander  2010 1
Infographie -- Logiciels.   4
Logiciels libres.   7
Mathématiques -- Japon -- Logiciels. : Sage beginner's guide : unlock the full potential of Sage for simplifying and automating mathematical computing / Craig Finch  2011 1
Logiciels -- Qualité -- Contrôle.   3
Science des matériaux -- Simulation par ordinateur -- Logiciels. : Introduction to computational materials science : fundamentals to applications / Richard LeSar, Iowa State University  2013 1
Sciences sociales -- Méthodes statistiques -- Logiciels. : Introducing Lisrel : a guide for the uninitiated / Adamantios Diamantopoulos, Judy A. Siguaw  2000 1
Séquençage des acides nucléiques -- Logiciels. : Biological sequence analysis : probabilistic models of proteins and nucleic acids / Richard Durbin, Sean R. Eddy, Anders Krogh, Graeme Mitchison  1998 1
Serveurs Web -- Logiciels.   2
Logiciels -- Validation. : Validation of chromatography data systems : meeting business and regulatory requirements / R.D. McDowall  2005 1
Logiciels -- Vérification.   4
 

Logics -- See Logic


The science that investigates the principles governing correct or reliable inference and deals with the canons and criteria of validity in thought and demonstration. This system of reasoning is applicable to any branch of knowledge or study. (Random House Unabridged Dictionary, 2d ed & Sippl, Computer Dictionary, 4th ed)
  1
Logics and Meanings of Programs. : Modelling distributed systems / Wan Fokkink  2007 1
 

Logics, Description -- See Description logics


  1
Logigrammes. : Conceptual structures : inspiration and application : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006 : proceedings / Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm (eds.)  2006 1
Add Marked to Bag Add All On Page Add Marked to My Lists
Result Page   Prev Next