All Titles

Release	Sandbox	Production
January	December 24, 2017	January 7, 2018
February	January 21, 2018	February 4, 2018
March	February 18, 2018	March 4, 2018
April	March 25, 2018	April 8, 2018
May	April 22, 2018	May 6, 2018
June	May 20, 2018	June 3, 2018
July	June 17, 2018	July 1, 2018
August	July 22, 2018	August 5, 2018
September	August 19, 2018	September 2, 2018
October	September 16, 2018	October 7, 2018
November	October 21, 2018	November 4, 2018
December	November 18, 2018	December 2, 2018

Sort by :

Publication Date - Desc

Secondary Sort by :

Rank

- Excel (current view)
- Excel (all fields)
- Electronic
- Physical

- Display results from the institution and the network
  
  Combined results

Erdős Centennial [electronic resource] / edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós.

Edit Record Portfolio List

Book {Book - Electronic} text; computer; online resource By Lovász, László. (Berlin, Heidelberg : Springer Berlin Heidelberg : 2013)

Subject: Mathematicians--Hungary--Biography. Jewish mathematicians--Hungary--Biography. Electronic books. and others

Series: Bolyai Society Mathematical Studies, 1217-4696 ; 25

Medium Type: [electronic resource] /

Language: English

ISBN: 3-642-39286-5 and others

Record number: (CKB)2550000001199623

Update Date: 26/02/2018

Physical

Electronic (1)

Digital

Other details

1 Portfolio | 1 of 1 portfolios are available

Interface Name	Collection Name	Service Type	Availability	Portfolio
Springer Link	SpringerLink Books Complete	Full Text	Active	View

Portfolio List
|

Collection Name

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo.

Edit Record Portfolio List

Book {Book - Electronic} text; computer; online resource By Garrigue, Jacques (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)

Subject: Functional programming (Computer science)--Congresses Logic programming--Congresses Computer Science and others

Series: Lecture Notes in Computer Science, 0302-9743 ; 4989

Medium Type: [electronic resource] :

Language: English

ISBN: 3-540-78969-3 and others

Record number: (CKB)1000000000490600

Update Date: 26/02/2018

Physical (2)

Electronic (2)

Digital

Other details

2 Portfolios | 2 of 2 portfolios are available

Interface Name	Collection Name	Service Type	Availability	Portfolio
Springer Link	SpringerLink Books Complete	Full Text	Active	View
ACM Digital Library	ACM Digital Library Proceedings	Full Text	Active	View

Portfolio List
|

2 Holdings | 168 of 168 items are available

	Library		Location	Call Number	Accession Number	Item Availability	Related Record
	UiO HumSam-biblioteket		UHS Mag202/3	Ser Lec	-	Spredte nr	Related
	UiO Informatikkbiblioteket		UREAL/INF Tidsskr.	LNCS	-	1(1973)-3358(2004)	Related

Collection Name

Set theory : an introduction to independence proofs Kenneth Kunen

Edit Record Holdings

Book {Book - Physical} By Kunen, Kenneth (Amsterdam North-Holland 1980)

Subject: Mengdeteori Mengdelære

Series: Studies in logic and the foundations of mathematics 102

Language: English

ISBN: 0444854010 and others

Record number: 811031152-47bibsys_network

Update Date: 08/03/2018

Physical (4)

Electronic

Digital

Other details

4 Holdings | 4 of 4 items are available

Library	Location	Call Number	Accession Number	Item Availability	Related Record
UiO HumSam-biblioteket	UHS	511.322 Kun	-	1 of 1 Available	-
UiO Informatikkbiblioteket	UREAL/INF Boksamling Magasin	G.2.0 Kun	-	1 of 1 Available	-
UiO Realfagsbiblioteket	UREAL	-	-	1 of 1 Available	-
UiO Realfagsbiblioteket	UREAL Pensum	511.322 Kun	-	1 of 1 Available	-

Holdings
|
Items
|

Collection Name

Customize view

Title information order

Action order

Erdős Centennial [electronic resource] / edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós.

Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings / edited by Jacques Garrigue, Manuel V. Hermenegildo.

Set theory : an introduction to independence proofs Kenneth Kunen