Database:
COLBIB
Search:
LOGIC []
References found:
42
[
Refine the search
]
Showing:
1 .. 15
in format [
Normal
]
page 1 of 3
go to page
1 / 42
select
print
Control Number
119631
Library
Central library
Signature
NIS 004.42
Title
Introductory logic and sets for computer scientists
Main author
Nissanke, Nimal
Publisher
Harlow [etc.] :
Pearson Education Limited
, 1999
Description
384 pagina's
ISBN
0201179571
Notes
Met 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.
Library
Type of Material
Shelf Loc
Date Return
201900000039
SRUvSCB
L
NIS 004.42
2 / 42
select
print
Control Number
118986
Library
FWNW
Signature
MAC 51
Title
Categories for the working mathematicians
Main author
Mac Lane, Saunders
Publisher
New York :
Springer
, 1978
Edition
Second edition
Description
317 pagina's
Series
Graduate Texts in Mathematics
; nr. 5
ISBN
0387984038
Notes
Met 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 Number
118718
Library
Central library
Signature
MAC 514
Title
Sheaves in geometry and logic : a first introduction to topos theory
Main author
Mac Lane, Saunders
Author(s)
Moerdijk, Ieke
Publisher
New York :
Springer
, 1992
Description
630 pagina's
Series
Universitext
ISBN
9780387977102
Notes
Met bibliogr.. - Met index
Subjects (Dut.)
GEOMETRIE
;
TOPOLOGIE
;
GROEPENTHEORIE
;
ALGEBRAISCHE MEETKUNDE
Subjects (Eng.)
GEOMETRY
;
TOPOLOGY
;
NUMBER THEORY
;
MATHEMATICS
Fulltext available
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
202200000343
SRUvSCB
L
MAC 514
4 / 42
select
print
Control Number
116200
Library
Central library
Signature
KEN 1
Title
Wittgenstein
Main author
Kenny, Anthony
Author(s)
Meulen, Alice ter,
(translator)
Publisher
Utrecht [etc.] :
Het Spectrum
, 1974
Description
231 pagina's
Series
Aula-boeken
; 520
Notes
Aula 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.
Library
Type of Material
Shelf Loc
Date Return
201700000965
SRUvSCB
L
KEN 1
5 / 42
select
print
Control Number
109363
Library
Central library
Signature
KOO 005.94
Title
Business logic management : business- en informatiemanagement ineen
Main author
Koorevaar, Piet
Author(s)
Noordam, Peter
Publisher
Den Haag :
Sdu
, 2013
Description
180 pagina's : illustraties
ISBN
9789012585545
Notes
Met 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.
Library
Type of Material
Shelf Loc
Date Return
201600000335
SRUvSCB
L
KOO 005.94
6 / 42
select
print
Control Number
108255
Library
Central library
Signature
AYE 10
Title
The central questions of philosophy
Main author
Ayer, A.J.
Publisher
London :
Weidenfeld and Nicolson
, 1973
Description
243 pagina's
ISBN
9001799051
Notes
Met 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.
Library
Type of Material
Shelf Loc
Date Return
202300000349
SRUvSCB
L
AYE 10
7 / 42
select
print
Control Number
87131
Library
Central library
Signature
COP 16
Title
Introduction to logic
Main author
Copi, Irving M.
Author(s)
Cohen, Carl
Publisher
New Jersey :
Prentice Hall
, 1998
Edition
10th ed.
Description
714 pagina's : illustraties
ISBN
0132425874
Notes
Met bijl.. - Met index
Subjects (Dut.)
ARGUMENTATIETHEORIE
;
PREDIKATENLOGICA
;
METHODIEK, LOGISCHE
;
LOGICA, SYMBOLISCHE
;
KENNISLEER
;
KENNISTHEORIE
;
WERKELIJKHEID
;
INZICHT
;
FILOSOFISCH VOORUITZICHT
;
DEDUCTIE
;
WAARSCHIJNLIJKHEID
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
201200001438
SRUvSCB
L
COP 16
8 / 42
select
print
Control Number
86993
Library
Central library
Signature
PTC 776
WORDT NIET UITGELEEND
Title
Analyse 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 author
Nehal, Ambrish
Publisher
Paramaribo :
Auteur
, 2008
Description
101 pagina's : illustraties
Thesis info
B.Tech. Afstudeerscriptie Polytechnic College. Elektrotechniek. Energietechniek
Notes
Met 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 Number
75820
Library
Central library
Signature
KER 323
Title
LOGIC of American politics
Main author
Kernell, Samuel
Author(s)
Jacobson, Gary C.
Publisher
Washington :
CQ
, 2003
Edition
2nd ed.
Description
621 pagina's : illustraties
ISBN
1568026218
Notes
Met bijl.. - Met index
Subjects (Dut.)
BINNENLANDSE POLITIEK
;
INTERNE POLITIEKE ONTWIKKELINGEN
;
POLITIEKE STRUCTUREN, SOCIOLOGIE VAN DE
;
REGERINGEN
;
POLITIEKE PARTIJEN
;
VSA
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
200900001492
SRUvSCB
L
KER323
01-12-2014
10 / 42
select
print
Control Number
72923
Library
Central library
Signature
THO 528
Title
TOWARDS a rigorous logic for spatial data representation
Main author
Thompson, Rodney James
Publisher
Delft :
NCG
, 2007
Description
332 pagina's : illustraties
Series
Publications on geodesy
; 65
ISBN
9789061323037
Notes
Met bibliogr.. - Met bijl.. - Met sum.. - Met samenvatting
Subjects (Dut.)
GEODESIE
;
DATABASE BEHEERSSYSTEEM
;
GEGEVENSVERWERKING
;
ALGORITMEN
;
TOPOLOGIE
;
REGELSYSTEMEN
;
WISKUNDIGE PROGRAMMERING
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
200800003145
SRUvSCB
L
THO528
11 / 42
select
print
Control Number
67483
Library
Central library
Signature
BEA 16
Title
QUALITY and concept
Main author
Bealer, George
Publisher
Oxford [etc.] :
Clarendon
, 1982
Description
311 pagina's
Series
Clarendon library of logic and philosophy
ISBN
0198244282
Notes
Met lit. opg.. - Met index
Subjects (Dut.)
LOGICA
;
FILOSOFIE
;
WERELDBESCHOUWING
;
FILOSOFISCH VOORUITZICHT
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
200700001392
SRUvSCB
L
BEA16
12 / 42
select
print
Control Number
67025
Library
Central library
Signature
COO 17
Title
DIVERSITY of moral thinking
Main author
Cooper, Neil
Publisher
Oxford [etc.] :
Clarendon
, 1981
Description
303 pagina's
Series
Clarendon library of logic and philosophy
ISBN
0198244231
Notes
Met bibliogr.. - Met index
Subjects (Dut.)
MORAALFILOSOFIE
;
MORAAL
;
PSYCHOLOGISCHE ASPECTEN
;
ETHIEK
;
ZEDENLEER
;
MORELE GEDRAGSCODE
Available Copies
: 1
Accession No.
Library
Type of Material
Shelf Loc
Date Return
20070000667
SRUvSCB
L
COO17
13 / 42
select
print
Control Number
64711
Signature
P 1548
Title
CHESHIRE-cat logic : the recurring theme of terrorist abnormality in psychological research
Main author
Silke, Andrew
In
PSYCHOLOGY, 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 Number
56727
Library
Central library
Signature
ER 000869
Title
Advances in verification of time Petri Nets and Timed Automata [Edocument] : a temporal logic approach
Main author
Penczek, Wojciech
Author(s)
Potrola, Agata
Publisher
Heidelberg :
Springer
, 2006
Description
256 pagina's : illustraties
Series
Studies in Computational Intelligence
; vol. 20
ISBN
18609503
Notes
Met 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 Number
54913
Library
Central library
Signature
PTC 462
WORDT NIET UITGELEEND
Title
FUNDAMENTALS of logic design
Main author
Roth, Charles H.
Publisher
Boston [etc.] :
PWS
, 1995
Edition
4th ed.
Description
770 pagina's : illustraties
ISBN
0534954723
Notes
Met lit. opg.. - Met index
Subjects (Dut.)
REGELTECHNIEK
;
BESTURINGSSYSTEMEN
;
DIGITALE TECHNIEK
page 1 of 3
go to page
Refine the search
COLBIB : Advanced form
Basic form
Search:
in field:
1
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes
2
and
or
and not
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes
3
and
or
and not
Words
Title words
Title
Serial title
Author
Institutional author
Subject
Subject(dutch)
Signature
Publisher
Publication Year
University
Collection
Notes