JuLib | Books & more - {"Oxford"}

Skip to content

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Reset Filters

Computer science

Reset Filters

Show filters (1)

Computer science

Ask a Librarian

Books & more: Hits 1 - 18 of 18

sort by

Select all titles on this page

Select result number 1

1

Cryptography and Coding [E-Book] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /

E-Book

Cryptography and Coding [E-Book] : 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015. Proceedings /

Groth, Jens.
2015

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

It began with Babbage : the genesis of computer science [E-Book] /

E-Book

It began with Babbage : the genesis of computer science [E-Book] /

Dasgupta, Subrata.
2014

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Digitized : the science of computers and how it shapes our world [E-Book] /

E-Book

Digitized : the science of computers and how it shapes our world [E-Book] /

Bentley, Peter
2012

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Cryptography and Coding [E-Book] : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings /

E-Book

Cryptography and Coding [E-Book] : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings /

Chen, Liqun.
2011

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

E-Book

Domain-Specific Languages [E-Book] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /

Hutchison, David
2009

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /

E-Book

Trusted Computing [E-Book] : Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings. /

Chen, Liqun
2009

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Invitation to discrete mathematics / [E-Book]

E-Book

Invitation to discrete mathematics / [E-Book]

Matoušek, Jiří
2009

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

E-Book

Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

Davies, Jim
2007

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Modular Programming Languages [E-Book] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

E-Book

Modular Programming Languages [E-Book] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

Lightfoot, David
2006

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Computer Science Logic (vol. # 3634) [E-Book] / 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Ong, Luke.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

E-Book

Theorem Proving in Higher Order Logics [E-Book] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Hurd, Joe.
2005

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Trust Management [E-Book] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings /

E-Book

Trust Management [E-Book] : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings /

Dimitrakos, Theo.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Testing of Communicating Systems [E-Book] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings /

E-Book

Testing of Communicating Systems [E-Book] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings /

Groz, Roland.
2004

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Knowledge-Based Intelligent Information and Engineering Systems [E-Book] : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I /

E-Book

Knowledge-Based Intelligent Information and Engineering Systems [E-Book] : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I /

Howlett, Robert J.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Knowledge-Based Intelligent Information and Engineering Systems [E-Book] : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part II /

E-Book

Knowledge-Based Intelligent Information and Engineering Systems [E-Book] : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part II /

Howlett, Robert J.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

E-Book

Advanced Functional Programming [E-Book] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures /

Jeuring, Johan.
2003

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

Mathematics for electrical engineering and computing [E-Book]/

E-Book

Mathematics for electrical engineering and computing [E-Book]/

Attenborough, Mary
2003

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [E-Book] /

E-Book

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop Oxford, UK, April 10–14, 2000 Revised Lectures [E-Book] /

Backhouse, Roland C.
2002

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

Narrow Search Results

Electronic Edition 18

Conference Publication 13

From:

To:

Gibbons, Jeremy 2 Howlett, Robert J. 2 Hutchison, David 2 Jain, Lakhmi C. 2 Kanade, Takeo 2 Kittler, Josef 2 more ... Kleinberg, Jon M. 2 Mattern, Friedemann 2 Mitchell, John C. 2 Naor, Moni 2 Nierstrasz, Oscar 2 Palade, Vasile. 2 Pandu Rangan, C. 2 Steffen, Bernhard 2 Sudan, Madhu 2 Terzopoulos, Demetri 2 Tygar, Doug 2 Vardi, Moshe Y. 2 Weikum, Gerhard 2 Attenborough, Mary 1 Backhouse, Roland C. 1 Bentley, Peter 1 Chen, Liqun 1 Chen, Liqun. 1 Crole, Roy 1 Dasgupta, Subrata. 1 Davies, Jim 1 Dimitrakos, Theo. 1 Groth, Jens. 1 Groz, Roland. 1 see all ... less ...

Computer science Software engineering 8 Logic design 7 Computer Communication Networks 6 Artificial intelligence 4 Information systems 4 more ... Information storage and retrieval systems 3 Computer science. 2 Data encryption (Computer science) 2 Data protection 2 Management information systems 2 Algorithms. 1 Coding theory 1 Coding theory. 1 Computational complexity 1 Computer security. 1 Computer software 1 Computers_xLaw and legislation 1 Data encryption (Computer science). 1 Data structures (Computer science) 1 Electrical engineering 1 Information Systems 1 Logic, Symbolic and mathematical 1 Mathematics. 1 Operating systems (Computers) 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...