JuLib | Books & more - {*}

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 logic. AND Software engineering.

Reset Filters

Show filters (2)

Computer logic. AND Software engineering.

Ask a Librarian

Books & more: Hits 1 - 20 of 117

sort by

Select all titles on this page

Select result number 1

1

Model Checking Software [E-Book] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /

E-Book

Model Checking Software [E-Book] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /

Laarman, Alfons
2021

Full text

Favorites

Saved in:

QR Code

Select result number 2

2

Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /

E-Book

Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /

Konev, Boris
2021

Full text

Favorites

Saved in:

QR Code

Select result number 3

3

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /

E-Book

Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /

Das, Anupam
2021

Full text

Favorites

Saved in:

QR Code

Select result number 4

4

Theory and Applications of Satisfiability Testing - SAT 2021 [E-Book] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /

E-Book

Theory and Applications of Satisfiability Testing - SAT 2021 [E-Book] : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings /

Li, Chu-Min
2021

Full text

Favorites

Saved in:

QR Code

Select result number 5

5

Static Analysis [E-Book] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings /

E-Book

Static Analysis [E-Book] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings /

Drăgoi, Cezara
2021

Full text

Favorites

Saved in:

QR Code

Select result number 6

6

Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

E-Book

Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Platzer, André
2021

Full text

Favorites

Saved in:

QR Code

Select result number 7

7

Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

E-Book

Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Leino, K. Rustan M.
2021

Full text

Favorites

Saved in:

QR Code

Select result number 8

8

Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

E-Book

Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Leino, K. Rustan M.
2021

Full text

Favorites

Saved in:

QR Code

Select result number 9

9

Domain Science and Engineering [E-Book] : A Foundation for Software Development /

E-Book

Domain Science and Engineering [E-Book] : A Foundation for Software Development /

Bjørner, Dines
2021

Full text

Favorites

Saved in:

QR Code

Select result number 10

10

Formal Aspects of Component Software [E-Book] : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings /

E-Book

Formal Aspects of Component Software [E-Book] : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings /

Salaün, Gwen
2021

Full text

Favorites

Saved in:

QR Code

Select result number 11

11

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [E-Book] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers /

E-Book

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [E-Book] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected...

Cleophas, Loek
2021

Full text

Favorites

Saved in:

QR Code

Select result number 12

12

Programming Languages and Systems [E-Book] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

E-Book

Programming Languages and Systems [E-Book] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, E...

Yoshida, Nobuko
2021

Full text

Favorites

Saved in:

QR Code

Select result number 13

13

Logic-Based Program Synthesis and Transformation [E-Book] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /

E-Book

Logic-Based Program Synthesis and Transformation [E-Book] : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings /

Fernández, Maribel
2021

Full text

Favorites

Saved in:

QR Code

Select result number 14

14

Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /

E-Book

Structured Object-Oriented Formal Language and Method [E-Book] : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /

Duan, Zhenhua
2021

Full text

Favorites

Saved in:

QR Code

Select result number 15

15

Model Checking, Synthesis, and Learning [E-Book] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /

E-Book

Model Checking, Synthesis, and Learning [E-Book] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday /

Olderog, Ernst-Rüdiger
2021

Full text

Favorites

Saved in:

QR Code

Select result number 16

16

Software Engineering [E-Book] : Proceedings of CSI 2015 /

E-Book

Software Engineering [E-Book] : Proceedings of CSI 2015 /

Chauhan, Naresh
2019

Full text

Favorites

Saved in:

QR Code

Select result number 17

17

SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /

E-Book

SDL 2017: Model-Driven Engineering for Future Internet [E-Book] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /

Csöndes, Tibor
2017

Full text

Favorites

Saved in:

QR Code

Select result number 18

18

Cyber Physical Systems. Design, Modeling, and Evaluation [E-Book] : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /

E-Book

Cyber Physical Systems. Design, Modeling, and Evaluation [E-Book] : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /

Berger, Christian
2017

Full text

Favorites

Saved in:

QR Code

Select result number 19

19

Model Checking Software [E-Book] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /

E-Book

Model Checking Software [E-Book] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /

Bošnački, Dragan
2016

Full text

Favorites

Saved in:

QR Code

Select result number 20

20

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /

E-Book

Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and...

Chechik, Marsha
2016

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

1
2
3
4
5
6
Next
[6]

Narrow Search Results

Electronic Edition 117

Conference Publication 98

From:

To:

Steffen, Bernhard 4 Leino, K. Rustan M. 3 Liu, Shaoying 3 Bitsch, Friedemann 2 Chaudhuri, Swarat 2 Chechik, Marsha 2 more ... De Nicola, Rocco 2 Duan, Zhenhua 2 Farzan, Azadeh 2 Fränzle, Martin 2 Gnesi, Stefania 2 Guiochet, Jérémie 2 Koornneef, Floor. 2 Lecomte, Thierry 2 Margaria, Tiziana 2 Silva, Alexandra 2 Skavhaug, Amund 2 Wijs, Anton 2 Wąsowski, Andrzej 2 van Gulijk, Coen. 2 Ábrahám, Erika 2 Abdulla, Parosh Aziz 1 Ahrendt, Wolfgang 1 Aichernig, Bernhard K. 1 Albert, Elvira 1 Alferes, Jose Julio 1 Arbel, Eli 1 Bansal, Nikhil. 1 Barbosa, Simone D.J. 1 Barlas, Gerassimos. 1 see all ... less ...

Computer logic. Software engineering. Computer science. 101 Mathematical logic. 75 Programming languages (Electronic computers). 64 Artificial intelligence. 40 more ... Computer programming. 28 Computer communication systems. 25 Algorithms. 18 Computers. 18 Management information systems. 17 Computer simulation. 14 Computer organization. 10 Computer science 10 Special purpose computers. 10 Application software. 5 Architecture, Computer. 5 Computer security. 5 Computer system failures. 5 Microprogramming . 5 Mathematical statistics. 4 Information storage and retrieval. 3 Operating systems (Computers). 2 User interfaces (Computer systems). 2 Control engineering. 1 Data encryption (Computer science). 1 Data structures (Computer science). 1 Database management. 1 Mechatronics. 1 Natural language processing (Computer science). 1 see all ... less ...

Forschungszentrum Jülich
Central Library (ZB)

Powered by VuFind 7.0.1

Loading...