JuLib | Books & more - {"professor"}

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 - 20 of 52

sort by

Select all titles on this page

Select result number 1

1

Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /

E-Book

Structural Decision Diagrams in Digital Test [E-Book] : Theory and Applications /

Ubar, Raimund
2024

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Advances in Reliability and Maintainability Methods and Engineering Applications [E-Book] : Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday /

E-Book

Advances in Reliability and Maintainability Methods and Engineering Applications [E-Book] : Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday /

Li, He
2023

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Information is Energy [E-Book] : Definition of a physically based concept of information /

E-Book

Information is Energy [E-Book] : Definition of a physically based concept of information /

Pagel, Lienhard
2023

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /

E-Book

Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /

Haxthausen, Anne E.
2023

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /

E-Book

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthda...

Gallagher, John P.
2023

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Mathematical Foundations of Software Engineering [E-Book] : A Practical Guide to Essentials /

E-Book

Mathematical Foundations of Software Engineering [E-Book] : A Practical Guide to Essentials /

O'Regan, Gerard
2023

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

E-Book

Simple Type Theory [E-Book] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

Farmer, William M.
2023

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Programming Languages: Principles and Paradigms [E-Book] /

E-Book

Programming Languages: Principles and Paradigms [E-Book] /

Gabbrielli, Maurizio
2023

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Coping with Selfishness in Congestion Games [E-Book] : Analysis and Design via LP Duality /

E-Book

Coping with Selfishness in Congestion Games [E-Book] : Analysis and Design via LP Duality /

Bilò, Vittorio
2023

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /

E-Book

Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /

Pavlovic, Dusko
2023

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Algorithms for Constructing Computably Enumerable Sets [E-Book] /

E-Book

Algorithms for Constructing Computably Enumerable Sets [E-Book] /

Supowit, Kenneth J.
2023

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

A Journey from Process Algebra via Timed Automata to Model Learning [E-Book] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /

E-Book

A Journey from Process Algebra via Timed Automata to Model Learning [E-Book] : Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday /

Jansen, Nils
2022

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Z2Z4-Linear Codes [E-Book] /

E-Book

Z2Z4-Linear Codes [E-Book] /

Borges, Joaquim
2022

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Understanding Computation [E-Book] : Pillars, Paradigms, Principles /

E-Book

Understanding Computation [E-Book] : Pillars, Paradigms, Principles /

Rosenberg, Arnold L.
2022

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Graph Neural Networks: Foundations, Frontiers, and Applications [E-Book] /

E-Book

Graph Neural Networks: Foundations, Frontiers, and Applications [E-Book] /

Cui, Peng
2022

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /

E-Book

Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /

Roggenbach, Markus
2022

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

The Logic of Software. A Tasting Menu of Formal Methods [E-Book] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /

E-Book

The Logic of Software. A Tasting Menu of Formal Methods [E-Book] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday /

Ahrendt, Wolfgang
2022

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Concise Guide to Software Engineering [E-Book] : From Fundamentals to Application Methods /

E-Book

Concise Guide to Software Engineering [E-Book] : From Fundamentals to Application Methods /

O'Regan, Gerard
2022

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Automata Theory and Formal Languages [E-Book] : Fundamental Notions, Theorems, and Techniques /

E-Book

Automata Theory and Formal Languages [E-Book] : Fundamental Notions, Theorems, and Techniques /

Pettorossi, Alberto
2022

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Computational Intelligence [E-Book] : A Methodological Introduction /

E-Book

Computational Intelligence [E-Book] : A Methodological Introduction /

Kruse, Rudolf
2022

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
Next
[3]

Narrow Search Results

Electronic Edition 52

Conference Publication 5 Handbook, Textbook 3

From:

To:

Lee, Kent D. 2 O'Regan, Gerard 2 Roggenbach, Markus 2 Agha, Gul A. 1 Ahn, Yong-Yeol 1 Ahrendt, Wolfgang 1 more ... Aloisio, Giovanni 1 Beckert, Bernhard 1 Bensalem, Saddek. 1 Bhanu, Bir 1 Bilò, Vittorio 1 Borgelt, Christian 1 Borges, Joaquim 1 Brauer, Johannes 1 Braune, Christian 1 Bubel, Richard 1 Buell, Duncan 1 Cafaro, Massimo 1 Calude, Cristian S. 1 Carneiro, Gustavo 1 Cerone, Antonio 1 Chang, Edward Y. 1 Cui, Peng 1 Dandamudi, Sivarama P. 1 Didimo, Walter. 1 Ehlers, Ulf-Daniel 1 Evans, David 1 Farmer, William M. 1 Feris, Rogerio Schmidt 1 Fernández-Córdoba, Cristina 1 see all ... less ...

Computer science. Software engineering. 18 Artificial intelligence. 9 Data mining. 7 Programming languages (Electronic computers). 6 Computer programming. 5 more ... Computer science-Mathematics. 4 Computer simulation. 4 Engineering mathematics. 4 Image processing. 4 Application software. 3 Computable functions. 3 Computational complexity. 3 Computer science 3 Mathematical statistics. 3 Recursion theory. 3 Algorithms. 2 Applied mathematics. 2 Computer communication systems. 2 Computer engineering. 2 Computer mathematics. 2 Computer networks . 2 Computer software. 2 Computers. 2 Data structures (Computer science). 2 Discrete mathematics. 2 Educational technology. 2 Engineering-Data processing. 2 Information theory. 2 Logic design. 2 see all ... less ...

AHK - Scientific work 1 DGAG - High Performance Computing, Grid Computing 1 DMAD - Parallel programming 1 DOL - Programming language - Python 1 DPA - Electronic data processing - applications 1

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...