UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 96

Sortiert nach

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Lecture Notes in Computer Science : 10009

2016

Computational Thinking: A Perspective on Computer Science

1st ed. 2021, 2021

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (ZDB-2-SCS)

Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

Communications in Computer and Information Science : 1447

1st ed. 2021, 2021

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (ZDB-2-SCS)

Network Programming with Go : Essential Skills for Using and Securing Networks

Newmarch, Jan

2017

Link zum Volltext
Springer Professional and Applied Computing 2017 (ZDB-2-CWD)

Nebenläufige Programme

Springer-Lehrbuch

2nd ed. 1994, 1994

Link zum Volltext
Springer Technik, Informatik 1994 (ZDB-2-STI)

Massiv parallele Programmierung mit dem Parallaxis-Modell

Informatik-Fachberichte : 246

Bräunl, Thomas

1st ed. 1990, 1990

Link zum Volltext
Springer Technik, Informatik 1990 (ZDB-2-STI)

Supercomputer ’89 : Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings

Informatik-Fachberichte : 211

Meuer, Hans W[Herausgeber]

1st ed. 1989, 1989

Link zum Volltext
Springer Technik, Informatik bis 1989 (ZDB-2-STI)

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

1st ed. 2015, 2015

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Lecture Notes in Computer Science : 10160

2017

Practical Aspects of Declarative Languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

Programming and Software Engineering : 12548

1st ed. 2021, 2021

Supercomputer ’90 : Anwendungen, Architekturen, Trends Mannheim, 21.–23. Juni 1990

Informatik-Fachberichte : 250

Meuer, Hans W[Herausgeber]

1st ed. 1990, 1990

Link zum Volltext
Springer Technik, Informatik 1990 (ZDB-2-STI)

Pro Java Clustering and Scalability : Building Real-Time Apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ

Acetozi, Jorge

2017

Link zum Volltext
Springer Professional and Applied Computing 2017 (ZDB-2-CWD)

Genetic Programming : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Theoretical Computer Science and General Issues : 12691

1st ed. 2021, 2021

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Theoretical Computer Science and General Issues : 11964

1st ed. 2019, 2019

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Lecture Notes in Computer Science : 10007

2016

Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Programming and Software Engineering : 12180

1st ed. 2020, 2020

Kooperation und Konkurrenz : Nebenläufige, verteilte und echtzeitabhängige Programmsysteme

Studienreihe Informatik

1st ed. 1989, 1989

Link zum Volltext
Springer Technik, Informatik bis 1989 (ZDB-2-STI)

Mobile Datenbanksysteme : Architektur, Implementierung, Konzepte

Xpert.press

1st ed. 2004, 2004

Link zum Volltext
Springer Technik, Informatik 2004 (ZDB-2-STI)

High-Performance Scientific Computing : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

Lecture Notes in Computer Science : 10164

2017

Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

Lecture Notes in Computer Science : 10738

2018

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Lecture Notes in Artificial Intelligence : 12057

1st ed. 2020, 2020

Algorithms and Architectures for Parallel Processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Lecture Notes in Computer Science : 10048

2016

Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Lecture Notes in Computer Science : 9764

2016

Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Lecture Notes in Computer Science : 10093

2016

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Lecture Notes in Computer Science : 10610

2017

1 – 25 von 96

Suche als RSS-Feed

Aktive Filter

SchlagwortComputer communication systems

SchlagwortComputer programming

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(96)

Erscheinungsform

Monographie
(96)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(82)
Deutsch
(8)

Art des Inhalts

Nicht angegeben
(70)
Sonstiges
(26)

Menü

Weitere Dienste

Einstellungen

Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Computational Thinking: A Perspective on Computer Science

Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

Network Programming with Go : Essential Skills for Using and Securing Networks

Nebenläufige Programme

Massiv parallele Programmierung mit dem Parallaxis-Modell

Supercomputer ’89 : Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Practical Aspects of Declarative Languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

Supercomputer ’90 : Anwendungen, Architekturen, Trends Mannheim, 21.–23. Juni 1990

Pro Java Clustering and Scalability : Building Real-Time Apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ

Genetic Programming : 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Kooperation und Konkurrenz : Nebenläufige, verteilte und echtzeitabhängige Programmsysteme

Mobile Datenbanksysteme : Architektur, Implementierung, Konzepte

High-Performance Scientific Computing : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers

Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Algorithms and Architectures for Parallel Processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Aktive Filter

Suchergebnisse filtern