JuLib | Books & more - {"Microprogramming"}

VuFind

0 Items in e-Shelf (Full)
History
User Account
Logout
User Account
Help
- English
- Deutsch

Books & more
Articles & more
JuSER

Advanced

Ask a Librarian

Books & more: Hits 1 - 20 of 170

sort by

Select all titles on this page

Select result number 1

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /

Dimitrova, Rayna
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 2

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /

Dimitrova, Rayna
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 3

E-Book

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

Finkbeiner, Bernd
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 4

E-Book

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

Finkbeiner, Bernd
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 5

E-Book

Transactions on Petri Nets and Other Models of Concurrency XVII [E-Book] /

Bergenthum, Robin
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 6

E-Book

Engineering of Computer-Based Systems [E-Book] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings /

Kofroň, Jan
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 7

E-Book

Active Object Languages: Current Research Trends [E-Book] /

Broch Johnsen, Einar
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 8

E-Book

Fundamental Approaches to Software Engineering [E-Book] : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Softwar...

Beyer, Dirk
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 9

E-Book

High Performance Computing [E-Book] : 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers /

Barrios H., Carlos J.
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 10

E-Book

Constructive Side-Channel Analysis and Secure Design [E-Book] : 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings /

Wacquez, Romain
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 11

E-Book

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

Finkbeiner, Bernd
2024

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 12

E-Book

Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /

Chechik, Marsha
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 13

E-Book

Structured Object-Oriented Formal Language and Method [E-Book] : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /

Duan, Zhenhua
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 14

E-Book

Guide to Computer Processor Architecture [E-Book] : A RISC-V Approach, with High-Level Synthesis /

Goossens, Bernard
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 15

E-Book

Emerging Technologies for Developing Countries : 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings [E-Book] /

Bagula, Antoine
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 16

E-Book

Pervasive Computing Technologies for Healthcare [E-Book] : 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings /

Triantafyllidis, Andreas
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 17

E-Book

Verification, Model Checking, and Abstract Interpretation [E-Book] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings /

Dragoi, Cezara
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 18

E-Book

Job Scheduling Strategies for Parallel Processing [E-Book] : 25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers /

Julita, Corbalán
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 19

E-Book

Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /

Ferreira, Carla
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select result number 20

E-Book

Formal Methods Teaching [E-Book] : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /

Dubois, Catherine
2023

Subject (ZB): “...Microprogramming ....”

Full text

Favorites

Saved in:

QR Code

Select all titles on this page

Narrow Search Results

Electronic Edition 154 Print Edition 16

Book 170

Conference Publication 105 Handbook, Textbook 2 Theses 1

From:

To:

ZB 170 JSC 1

Steffen, Bernhard 5 Margaria, Tiziana 4 Sobolev, Sergey 4 Voevodin, Vladimir 4 Bitsch, Friedemann 3 Dimitrova, Rayna 3 more ... Fill, Hans-Georg 3 Finkbeiner, Bernd 3 Klusáček, Dalibor 3 Kovács, Laura 3 Maciaszek, Leszek A. 3 Reis, Ricardo. 3 Rodrigo, Gonzalo P. 3 Shagaliev, Rashit 3 Tanenbaum, Andrew S. 3 Taraate, Vaibbhav 3 Yakobovskiy, Mikhail 3 van Sinderen, Marten 3 Aggarwal, Monika 2 Barkalov, Alexander. 2 Barrios H., Carlos J. 2 Bhalachandra, Sridutt 2 Brinkschulte, Uwe. 2 Cano, José 2 Damm, Werner. 2 Das, Vinu V. 2 Deng, Chenchen 2 Duan, Zhenhua 2 Fisman, Dana 2 Groote, Jan Friso 2 see all ... less ...

Microprogramming . 113 Software engineering. 65 Computer networks . 42 Microprogramming 36 Computer science 28 Computer systems. 27 more ... Artificial intelligence. 25 Computer science. 24 Computers, Special purpose. 23 Computer input-output equipment. 21 Computer engineering. 19 microprogramming 17 Logic design. 16 Application software. 15 Computers. 14 Engineering 13 Information theory. 12 Computer programming. 11 Software engineering 11 Electronic circuits. 10 Microprocessors. 10 Special purpose computers. 10 Architecture, Computer. 9 Computer architecture. 9 Computer organization. 9 Electronics 9 Data protection. 8 Logic design 8 Natural language processing (Computer science). 8 Operating systems (Computers). 8 see all ... less ...

DGA - Computer types, plants and organization 8 DIA - System programming 6 DEA - Formal languages, machine oriented, assembler 3 DGAA - Computer architectures 3 DAE - Information technology - general 2 DGAE - Computer performance 1 more ... DHA - Computer equipment and periphery 1 DKA - Operating systems 1 DMA - Programming 1 DMF - Software engineering 1 DNA - Computer networks, local area networks 1 DPA - Electronic data processing - applications 1 TCN - Microprocessors 1 TCP - Microcomputers 1 see all ... less ...

English 132 German 8

Forschungszentrum Jülich
Central Library (ZB)