UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 72

Sortiert nach

Computer science fundamentals : an algorithmic approach via structured programming

Unger, Elizabeth A

1979

Signatur: TVA1805

Theory of computation

Wiley international editions

Wood, Derick

3. [Dr.], 1987

Signatur: TVA2128

Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996

DIMACS series in discrete mathematics and theoretical computer science : 35 (Alle Bände)

Du, Dingzhu[Herausgeber]

1997

Signatur: TTQ961883

The theory of computation

Moret, Bernard M

Repr. with corr., December 1997, c 1998

Signatur: TVA2788

Languages and machines : an introduction to the theory of computer science

Addison-Wesley series in computer science

Sudkamp, Thomas A

2. ed, 1997

Signatur: TVA2097(2)

Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)

Prentice-Hall international series in computer science

Lew, Art

1. [Dr.], 1985

Signatur: TVA2005

Proceedings of the 8th ACM Conference on Computer and Communications Security : (CCS 8), November 5 - 8, 2001, Philadelphia, Pennsylvania, USA

2001

Signatur: TTQ012236

A recursive introduction to the theory of computation

Graduate texts in computer science

Smith, Carl H

1994

Signatur: TVA2330

Principles of computer science

Schaffer, Cullen

1. [Dr.], 1988

Signatur: TVA2063

Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994

Symposium on Theory of Computing

1994

Signatur: TVA2966

Introduction to computer science

Barnes & Noble outline series : 193 (Alle Bände)

Zwass, Vladimir

1981

Signatur: TVA1790

Computation and reasoning : a type theory for computer science

The international series of monographs on computer science : 11 (Alle Bände)

Luo, Zhaohui

1994

Signatur: TVA2291

Data processing mathematics

Bliss, Elizabeth

1985

Signatur: TVA2047

Les mathématiques à la portée de l'ordinateur

INITIATION AUX NOUVEAUTES DE LA SCIENCE. 22. : 22 (Alle Bände)

Arnold, André

1970

Signatur: TVA1180

Theoretical foundations of computer science

1. [Dr.], 1987

Signatur: TVA2102

Superdistribution : objects as property on the electronic frontier

Cox, Brad J

1996

Signatur: TVA2576

Introductory theory of computer science

Macmillan computer science series

Krishnamurthy, Edayathumangalam V

1983

Signatur: TVA1928

Elementary computability, formal languages, and automata

MacNaughton, Robert

1982

Signatur: TVA1863

Introduction to the theory of computation

Sipser, Michael

1997

Signatur: TVA2623

Foundations of computer science

Computer software engineering series

Carberry, M. S

2. hardcover print, 1982

Signatur: TVA1902

Computing science

1980

Signatur: TVA1740

Theoretical studies in computer science

Ullman, Jeffrey D[Herausgeber]

1992

Signatur: TVA2267

Communicating and mobile systems : the pi-calculus

Milner, Robin

5. print, 2004

Signatur: TVA3174

Polarized higher order subtyping

Steffen, Martin

1999

Signatur: D12677

Computer science

Reprint, 1982

Signatur: TVA1871

1 – 25 von 72

Suche als RSS-Feed

Aktive Filter

Art des InhaltsNicht angegeben

Autor / AutorinClarke, Edmund M

SpracheDeutsch

SystemstelleTCK

Art des MediumsGedruckt

Suchergebnisse filtern

Filter anzeigen

Autor / Autorin

Symposium on Foundations of Computer Science
(4)
Leeuwen, Jan <<van>>
(3)
Sipser, Michael
(3)
Symposium on Theory of Computing
(3)
MacKay, David J. C
(2)
Washington, Lawrence C
(2)
Antoniou, Grigorios
(1)
Arbib, Michael A
(1)
Arnold, André
(1)
Arora, Sanjeev
(1)
Barak, Boaz
(1)
Barr, Richard S
(1)
Bez, H. E
(1)
Bliss, Elizabeth
(1)
Buth, Karl-Heinz
(1)
Bérard, Béatrice
(1)
CCS
(1)
Carberry, M. S
(1)
Cohen, Daniel I. A
(1)
Cooke, D. J
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(72)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(54)

Systemstelle

TVA
(72)
TTQ
(9)
TVB
(3)
TVI
(2)
TWG
(2)
TCL
(1)
TVH
(1)
TWQ
(1)
TWV
(1)
YCB
(1)
YCT
(1)

6 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Computer science fundamentals : an algorithmic approach via structured programming

Theory of computation

Satisfiability problem : theory and application ; DIMACS workshop March 11 - 13, 1996

The theory of computation

Languages and machines : an introduction to the theory of computer science

Computer science: a mathematical introduction : (applied mathematics: modeling, analysis and optimization techniques with applications to software systems)

Proceedings of the 8th ACM Conference on Computer and Communications Security : (CCS 8), November 5 - 8, 2001, Philadelphia, Pennsylvania, USA

A recursive introduction to the theory of computation

Principles of computer science

Proceedings of the Twenty-sixth Annual ACM Symposium on the Theory of Computing : Montréal, Québec, Canada, May 23-25, 1994

Introduction to computer science

Computation and reasoning : a type theory for computer science

Data processing mathematics

Les mathématiques à la portée de l'ordinateur

Theoretical foundations of computer science

Superdistribution : objects as property on the electronic frontier

Introductory theory of computer science

Elementary computability, formal languages, and automata

Introduction to the theory of computation

Foundations of computer science

Computing science

Theoretical studies in computer science

Communicating and mobile systems : the pi-calculus

Polarized higher order subtyping

Computer science

Aktive Filter

Suchergebnisse filtern