Search Results for Computer science.

1.

Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

Author

Kaminski, Michael. editor. Martini, Simone. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87531-4

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Author

Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79719-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Logic for Computer Scientists

Author

Schöning, Uwe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4763-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Information and Knowledge A Constructive Type-theoretical Approach

Author

Primiero, Giuseppe. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6170-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Petri-Netze

Author

Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76971-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Algorithms in Invariant Theory

Author

Sturmfels, Bernd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-77417-5

Format:

Availability

Online Library~1

Available:
Copies:

7.

Institution-independent Model Theory

Author

Diaconescu, Răzvan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8708-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

New Computational Paradigms Changing Conceptions of What is Computable

Author

Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68546-5

Format:

Availability

Online Library~1

Available:
Copies:

9.

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Author

Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6782-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler

Author

Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8590-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Theoretische Informatik Eine umfassende Einführung

Author

Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76320-8

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}