Zum Inhalt springen

Bamford, Carl [VerfasserIn]; Curran, Paul [VerfasserIn]

Data structures, files and databases - [2nd ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Basingstoke: Macmillan Education, 1991

Erschienen in: Macmillan computer science series
Adachi, Akeo [Sonstige Person, Familie und Körperschaft]

Foundations of computation theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Tokyo: Ohmsha, 1990
Jukna, Stasys [VerfasserIn]

Crashkurs Mathematik für Informatiker - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiesbaden: Teubner, c 2008

Erschienen in: Leitfäden der Informatik- Lehrbuch ; Informatik
Butzer, Paul L. [VerfasserIn]; Berens, Hubert [VerfasserIn]

Semi-groups of operators and approximation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1967

Erschienen in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 145
Howie, John M. [VerfasserIn]

Automata and languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford [u.a.]: Clarendon Press, 1991

Erschienen in: Oxford science publications
Lassez, Jean-Louis [HerausgeberIn]; Robinson, Alan [GefeierteR]; Robinson, John Alan [GefeierteR]; Plotkin, Gordon [HerausgeberIn]

Computational logic : essays in honor of Alan Robinson

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 1991
Lightfoot, David [VerfasserIn]

Formal specification using Z

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Basingstoke [u.a.]: Macmillan, 1991

Erschienen in: Macmillan computer science series
Pierce, Benjamin C. [VerfasserIn]

Basic category theory for computer scientists

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 1991

Erschienen in: Foundations of computing
Lifschitz, Vladimir [Sonstige Person, Familie und Körperschaft]; MacCarthy, John [GefeierteR]; McCarthy, John [GefeierteR]

Artificial intelligence and mathematical theory of computation : papers in honor of John McCarthy

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass. u.a.: Academic Pr., 1991
Kroening, Daniel [VerfasserIn]; Strichman, Ofer [VerfasserIn]

Decision procedures : an algorithmic point of view

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2008

Erschienen in: Texts in theoretical computer science ; an EATCS series
Ciesielski, Zbigniew [HerausgeberIn] ; Polska Akademia Nauk, Uniwersytet im. Adama Mickiewicza w Poznaniu, Instytut Matematyczny Warschau, Conference on Approximation Theory 1972 Posen

Approximation Theory : proceedings of the Conference Jointly organized by the Mathematical Institute of the Polish Academy of Sciences and the Institute of Mathematics of the Adam Mickiewicz University held in Poznań, 22-26 August, 1972

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Reichel [u.a.], 1975 ; Warszawa: PWN, 1975
Nicolescu, Gabriela [VerfasserIn]; Jerraya, Ahmed A. [VerfasserIn] ; Jerraya, Ahmed Amine [Sonstige Person, Familie und Körperschaft]

Global specification and validation of embedded systems : integrating heterogeneous components - [1. ed.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Springer, 2007
Jackson, Steve [VerfasserIn]

A computation of [delta] 1 5

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Providence, RI: American Mathematical Soc., 1999

Erschienen in: American Mathematical Society: Memoirs of the American Mathematical Society ; 670
Calude, Cristian [HerausgeberIn] ; DMTCS 4 2003 Dijon

Discrete mathematics and theoretical computer science : 4th International Conference ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2731
Sipser, Michael [VerfasserIn]

Introduction to the theory of computation - [Third edition, international edition]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Australia; Brazil; Japan; Korea; Mexiko; Singapore; Spain; United Kingdom; United States: Cengage Learning, [2013]
Börger, Egon [HerausgeberIn]; Rödding, Dieter [GefeierteR]

Computation theory and logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1987

Erschienen in: Lecture notes in computer science ; 270
Benenti, Giuliano [VerfasserIn]; Casati, Giulio [VerfasserIn]; Strini, Giuliano [VerfasserIn]

Principles of quantum computation and information

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

River Edge [u.a.]: World Scientific, 2004-2008
Josephson, John R. [HerausgeberIn]

Abductive inference : computation, philosophy, technology - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 1994
Green, David J. [VerfasserIn]

Gröbner bases and the computation of group cohomology

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in mathematics ; 1828
Reichel, Horst [HerausgeberIn] ; FCT 10 1995 Dresden

Fundamentals of computation theory : 10th international conference, Dresden, Germany, August 22 - 25, 1995 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1995

Erschienen in: Lecture notes in computer science ; 965

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr