Skip to content
Toggle navigation
VuFind
0
Items in e-Shelf
(Full)
History
User Account
Logout
User Account
Help
English
Deutsch
Books & more
Articles & more
JuSER
All Fields
Title
Journal Title
Name
Institution
Subject
Classification
Shelf Classification
Table of Contents
DOI
ISBN/ISSN
Call number
Report Number
Barcode
Full Texts (available in selection)
Find
Advanced
Reset Filters
Book
Information theory
AND
Logic, Symbolic and mathematical
Reset Filters
Show filters (3)
Book
Information theory
AND
Logic, Symbolic and mathematical
Ask a Librarian
Books & more
: Hits
1 - 14
of
14
sort by
Relevance
Year (descending)
Year (ascending)
Call Number
Author
Title
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
Select result number 1
1
E-Book
Structures in Logic and Computer Science [E-Book] : A Selection of Essays in Honor of A. Ehrenfeucht /
Mycielski, Jan
1997
Full text
Favorites
Saved in:
QR Code
Select result number 2
2
E-Book
Languages: From Formal to Natural [E-Book] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Hutchison, David
2009
Full text
Favorites
Saved in:
QR Code
Select result number 3
3
E-Book
New Computational Paradigms [E-Book] : Changing Conceptions of What is Computable /
Cooper, S. Barry.
2008
Full text
Favorites
Saved in:
QR Code
Select result number 4
4
E-Book
The P=NP Question and Gödel’s Lost Letter [E-Book] /
Lipton, Richard J.
2010
Full text
Favorites
Saved in:
QR Code
Select result number 5
5
E-Book
Logic, Rationality, and Interaction [E-Book] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Ditmarsch, Hans.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 6
6
E-Book
The Mathematics of Language [E-Book] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Kanazawa, Makoto.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 7
7
E-Book
Apartness and Uniformity [E-Book] : A Constructive Development /
Bridges, Douglas S.
2011
Full text
Favorites
Saved in:
QR Code
Select result number 8
8
E-Book
Parameterized Complexity Theory [E-Book] /
Flum, Jörg.
2006
Full text
Favorites
Saved in:
QR Code
Select result number 9
9
E-Book
Formal Theories of Information [E-Book] : From Shannon to Semantic Information Theory and General Concepts of Information /
Hutchison, David
2009
Full text
Favorites
Saved in:
QR Code
Select result number 10
10
E-Book
Recent Trends in Algebraic Development Techniques [E-Book] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers /
Corradini, Andrea
2009
Full text
Favorites
Saved in:
QR Code
Select result number 11
11
E-Book
Mathematical Foundations of Computer Science 1999 [E-Book] : 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings /
Kutylowski, Miroslaw.
1999
Full text
Favorites
Saved in:
QR Code
Select result number 12
12
E-Book
Logical Foundations of Computer Science [E-Book] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Artemov, Sergei N.
2009
Full text
Favorites
Saved in:
QR Code
Select result number 13
13
E-Book
Cognitive Research [E-Book] : A Formal Approach /
Gergely, Tamas
2010
Full text
Favorites
Saved in:
QR Code
Select result number 14
14
E-Book
Logic, Rationality, and Interaction [E-Book] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
He, Xiangdong
2009
Full text
Favorites
Saved in:
QR Code
Select all titles on this page
Email
Export
Print
Save
Add to e-Shelf
/* Narrow Search Options */ ?>
Back
Narrow Search Results
Available as
Electronic Edition
14
Material Type
Book
Type of Literature
Conference Publication
6
Year of Publication
From:
To:
Location
ZB
14
Name
Hutchison, David
3
Kanade, Takeo
3
Kittler, Josef
3
Kleinberg, Jon M.
3
Mattern, Friedemann
3
Mitchell, John C.
3
more ...
Naor, Moni
3
Nierstrasz, Oscar
3
Pandu Rangan, C.
3
Steffen, Bernhard
3
Sudan, Madhu
3
Terzopoulos, Demetri
3
Tygar, Doug
3
Vardi, Moshe Y.
3
Weikum, Gerhard
3
Anshakov, Oleg M.
1
Artemov, Sergei N.
1
Bridges, Douglas S.
1
Cooper, S. Barry.
1
Corradini, Andrea
1
Ditmarsch, Hans.
1
Flum, Jörg.
1
Gergely, Tamas
1
Grohe, Martin.
1
Grumberg, Orna
1
He, Xiangdong
1
Horty, John
1
Ju, Shier.
1
Kaminski, Michael
1
Kanazawa, Makoto.
1
see all ...
less ...
Subject
Computer science
14
Information theory
Logic, Symbolic and mathematical
Logic design
5
Algebra
4
Computational complexity
4
more ...
Algorithms
2
Computer software
2
Artificial intelligence
1
Coding theory
1
Combinatorics
1
Computer Communication Networks
1
Global analysis (Mathematics)
1
Information storage and retrieval systems
1
Numerical analysis
1
Quantum theory
1
Topology
1
see all ...
less ...
Language
English
7
/* End Narrow Search Options */ ?>
×
Loading...