logo

Database:
COLBIB
Search:
LOGIC []
References found:
Showing:
1 .. 15   in format [Normal]
page 1 of 3
go to page          


1 / 42
select
print






Control Number119631
LibraryCentral library
SignatureNIS 004.42
TitleIntroductory logic and sets for computer scientists
Main authorNissanke, Nimal
PublisherHarlow [etc.] : Pearson Education Limited, 1999
Description 384 pagina's
ISBN0201179571
NotesMet index.
Subjects (Dut.)COMPUTERPROGRAMM-S; COMPUTER WISKUNDE; SOFTWARE; COMPUTERPROGRAMMEERTALEN; COMPUTERSYSTEMEN; LOGICA, MATHEMATISCHE; INFORMATICA
Subjects (Eng.)COMPUTER PROGRAMMING LANGUAGES; COMPUTER PROGRAMS; MATHEMATICS; COMPUTER SCIENCE; COMPUTER SYSTEMS; MATHEMATICAL LOGIC; MATHEMATICAL MODELS

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
201900000039SRUvSCBLNIS 004.42




2 / 42
select
print






Control Number118986
Library FWNW
SignatureMAC 51
TitleCategories for the working mathematicians
Main authorMac Lane, Saunders
PublisherNew York : Springer, 1978
EditionSecond edition
Description 317 pagina's
SeriesGraduate Texts in Mathematics ; nr. 5
ISBN0387984038
NotesMet bijl.. - Met bibliogr.. - Met index
Subjects (Dut.)WISKUNDE; MATHEMATICA; REKENKUNDIGE FUNCTIES; ALGEBRAISCHE GETALLENLEER; ALGEBRAISCHE MEETKUNDE; ANALYSE; TOPOLOGIE
Subjects (Eng.)MATHEMATICS; SCIENTISTS; MATHEMATICAL LOGIC; MATHEMATICAL ANALYSIS




3 / 42
select
print






Control Number118718
LibraryCentral library
SignatureMAC 514
TitleSheaves in geometry and logic : a first introduction to topos theory
Main authorMac Lane, Saunders
Author(s)Moerdijk, Ieke
PublisherNew York : Springer, 1992
Description 630 pagina's
SeriesUniversitext
ISBN9780387977102
NotesMet bibliogr.. - Met index
Subjects (Dut.)GEOMETRIE; TOPOLOGIE; GROEPENTHEORIE; ALGEBRAISCHE MEETKUNDE
Subjects (Eng.)GEOMETRY; TOPOLOGY; NUMBER THEORY; MATHEMATICS

Fulltext available

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
202200000343SRUvSCBLMAC 514




4 / 42
select
print






Control Number116200
LibraryCentral library
SignatureKEN 1
TitleWittgenstein
Main authorKenny, Anthony
Author(s)Meulen, Alice ter, (translator)
PublisherUtrecht [etc.] : Het Spectrum, 1974
Description 231 pagina's
SeriesAula-boeken ; 520
NotesAula het wetenschappelijk pocketboek. - Vertaling. - Met lit. opg.
Subjects (Dut.)FILOSOFIE; WIJSBEGEERTE; LOGICA; TAALFILOSOFIE; TAALSPELEN; ATOMISME; SKEPTICISME; FILOSOFEN
Subjects (Eng.)PHILOSOPHY; LOGIC; PHILOSOPHERS

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
201700000965SRUvSCBLKEN 1




5 / 42
select
print






Control Number109363
LibraryCentral library
SignatureKOO 005.94
TitleBusiness logic management : business- en informatiemanagement ineen
Main authorKoorevaar, Piet
Author(s)Noordam, Peter
PublisherDen Haag : Sdu, 2013
Description 180 pagina's : illustraties
ISBN9789012585545
NotesMet lit. opg.. - Met bijl..
Subjects (Dut.)KENNISMANAGEMENT; KENNISNETWERKEN; PROCESSEN; INNOVATIE; INFORMATIESYSTEMEN; BESTURINGSSYSTEMEN; KWALITEITSMANAGEMENT; KLANTGERICHT
Subjects (Eng.)KNOWLEDGE; OPERATIONS RESEARCH; QUALITY CONTROL

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
201600000335SRUvSCBLKOO 005.94




6 / 42
select
print






Control Number108255
LibraryCentral library
SignatureAYE 10
TitleThe central questions of philosophy
Main authorAyer, A.J.
PublisherLondon : Weidenfeld and Nicolson, 1973
Description 243 pagina's
ISBN9001799051
NotesMet index
Subjects (Dut.)FILOSOFIE; WIJSBEGEERTE; METAFYSICA; FILOSOFISCHE ANALYSE; FEITEN; LOGICA; GEZOND VERSTAND; THEOLOGIE
Subjects (Eng.)PHILOSOPHY; WISDOM; METAPHYSICS; PHILOSOPHICAL ANALYSIS; FACTS; LOGIC; COMMON SENSE; THEOLOGY

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
202300000349SRUvSCBLAYE 10




7 / 42
select
print






Control Number87131
LibraryCentral library
SignatureCOP 16
TitleIntroduction to logic
Main authorCopi, Irving M.
Author(s)Cohen, Carl
PublisherNew Jersey : Prentice Hall, 1998
Edition10th ed.
Description 714 pagina's : illustraties
ISBN0132425874
NotesMet bijl.. - Met index
Subjects (Dut.)ARGUMENTATIETHEORIE; PREDIKATENLOGICA; METHODIEK, LOGISCHE; LOGICA, SYMBOLISCHE; KENNISLEER; KENNISTHEORIE; WERKELIJKHEID; INZICHT; FILOSOFISCH VOORUITZICHT; DEDUCTIE; WAARSCHIJNLIJKHEID

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
201200001438SRUvSCBLCOP 16




8 / 42
select
print






Control Number86993
LibraryCentral library
SignaturePTC 776 WORDT NIET UITGELEEND
TitleAnalyse van de belastinggroei m.b.t. de elektrische energievoorziening : case study : het complex van de Anton de Kom Universiteit van Suriname aan de Leysweg
Main authorNehal, Ambrish
PublisherParamaribo : Auteur, 2008
Description 101 pagina's : illustraties
Thesis infoB.Tech. Afstudeerscriptie Polytechnic College. Elektrotechniek. Energietechniek
NotesMet samenvatting. - Met sum.. - Met lit. opg.. - Met bijl.
Subjects (Dut.)ELEKTRISCHE ENERGIE, DISTRIBUTIE VAN; ELEKTRICITEITSVOORZIENING; DISTRIBUTIESYSTEMEN; ENERGIETRANSPORT; ENERGIEVERLIES; TRANSFORMATOREN; CONDENSATOREN; BEVEILIGING; POWER LOGIC SYSTEM; SURINAME




9 / 42
select
print






Control Number75820
LibraryCentral library
SignatureKER 323
Title LOGIC of American politics
Main authorKernell, Samuel
Author(s)Jacobson, Gary C.
PublisherWashington : CQ, 2003
Edition2nd ed.
Description 621 pagina's : illustraties
ISBN1568026218
NotesMet bijl.. - Met index
Subjects (Dut.)BINNENLANDSE POLITIEK; INTERNE POLITIEKE ONTWIKKELINGEN; POLITIEKE STRUCTUREN, SOCIOLOGIE VAN DE; REGERINGEN; POLITIEKE PARTIJEN; VSA

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
200900001492SRUvSCBLKER32301-12-2014




10 / 42
select
print






Control Number72923
LibraryCentral library
SignatureTHO 528
TitleTOWARDS a rigorous logic for spatial data representation
Main authorThompson, Rodney James
PublisherDelft : NCG, 2007
Description 332 pagina's : illustraties
SeriesPublications on geodesy ; 65
ISBN9789061323037
NotesMet bibliogr.. - Met bijl.. - Met sum.. - Met samenvatting
Subjects (Dut.)GEODESIE; DATABASE BEHEERSSYSTEEM; GEGEVENSVERWERKING; ALGORITMEN; TOPOLOGIE; REGELSYSTEMEN; WISKUNDIGE PROGRAMMERING

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
200800003145SRUvSCBLTHO528




11 / 42
select
print






Control Number67483
LibraryCentral library
SignatureBEA 16
TitleQUALITY and concept
Main authorBealer, George
PublisherOxford [etc.] : Clarendon, 1982
Description 311 pagina's
SeriesClarendon library of logic and philosophy
ISBN0198244282
NotesMet lit. opg.. - Met index
Subjects (Dut.)LOGICA; FILOSOFIE; WERELDBESCHOUWING; FILOSOFISCH VOORUITZICHT

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
200700001392SRUvSCBLBEA16




12 / 42
select
print






Control Number67025
LibraryCentral library
SignatureCOO 17
Title DIVERSITY of moral thinking
Main authorCooper, Neil
PublisherOxford [etc.] : Clarendon, 1981
Description 303 pagina's
SeriesClarendon library of logic and philosophy
ISBN0198244231
NotesMet bibliogr.. - Met index
Subjects (Dut.)MORAALFILOSOFIE; MORAAL; PSYCHOLOGISCHE ASPECTEN; ETHIEK; ZEDENLEER; MORELE GEDRAGSCODE

Available Copies: 1
Accession No.LibraryType of MaterialShelf LocDate Return
20070000667SRUvSCBLCOO17




13 / 42
select
print






Control Number64711
SignatureP 1548
TitleCHESHIRE-cat logic : the recurring theme of terrorist abnormality in psychological research
Main authorSilke, Andrew
InPSYCHOLOGY, crime and law, vol. 4, nr. no. 1 (1998), pp. 51-69
Subjects (Dut.)FORENSISCHE PSYCHOLOGIE; PSYCHOPATHOLOGIE; CRIMINELE PSYCHOLOGIE; TERRORISME




14 / 42
select
print






Control Number56727
LibraryCentral library
SignatureER 000869
TitleAdvances in verification of time Petri Nets and Timed Automata [Edocument] : a temporal logic approach
Main authorPenczek, Wojciech
Author(s)Potrola, Agata
PublisherHeidelberg : Springer, 2006
Description 256 pagina's : illustraties
SeriesStudies in Computational Intelligence ; vol. 20
ISBN18609503
NotesMet lit. opg.. - Met index
Subjects (Dut.)COMPUTERTECHNOLOGIE; BEVEILIGINGSPROTOCOLLEN; TIJD PETRINETTEN; DIAGRAMMEN; WISKUNDIGE MODELLEERTAAL; TIJDMODELLERING; GETIMEDE AUTOMATEN-MODEL; MODELCONTROLE; VERIFICATIE-INSTRUMENT
Subjects (Eng.)COMPUTER TECHNOLOGY; SAFETY; DIAGRAMS; MATHEMATIC MODELING LANGUAGE; TIME MODELING; CONTROLING SYSTEM; VERIFICATION INSTRUMENT




15 / 42
select
print






Control Number54913
LibraryCentral library
SignaturePTC 462 WORDT NIET UITGELEEND
TitleFUNDAMENTALS of logic design
Main authorRoth, Charles H.
PublisherBoston [etc.] : PWS, 1995
Edition4th ed.
Description 770 pagina's : illustraties
ISBN0534954723
NotesMet lit. opg.. - Met index
Subjects (Dut.)REGELTECHNIEK; BESTURINGSSYSTEMEN; DIGITALE TECHNIEK




page 1 of 3
go to page          

  COLBIB : Advanced form

   
Search:
in field:
 
1     
2   
3   
 
shopify analytics