|
|
| 1. |
Theme: Computers in business and industrial systems : papers and discussions presented at the joint ACM-AIEE-IRE Computer Conference, Boston, Mass., November 7 - 9, 1955 / the Association for Computing Machinery, .... -
New York, NY: American Inst. of Electrical Engineers, 1956. - 100 S. : Ill., graph. Darst.
(Proceedings of the Eastern Joint Computer Conference ; 1955)
 Zeitschriftenband |
Präsenznutzung
|
|
| 2. |
Theme: Design and application of small digital computers : papers and discussions presented at the Joint ACM-AIEE-IRE Computer Conference, Philadelphia, PA, December 8-10,1954. -
New York: American Inst. of Electrical Engineers, 1954. - 92 S. : Ill., graph. Darst.
(Proceedings of the Eastern Joint Computer Conference ; 1954)
Zeitschriftenband |
Präsenznutzung
|
|
| 3. |
Proceedings of the Western Computer Conference : papers presented at the Joint ACM-AIEE-IRE Computer Conference, San Francisco, Calif., February 7 - 9, 1956. -
New York: American Inst. of Electrical Engineers, 1956. - 142 S. : Ill., graph. Darst.
(Proceedings of the Eastern Joint Computer Conference ; 1956)
Zeitschriftenband |
Präsenznutzung
|
|
| 4. |
Proceedings of the Western Computer Conference : papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., February 26 - 28, 1957. -
New York: American Inst. of Electrical Engineers, 1957. - 240 S. : Ill., graph. Darst.
(Proceedings of the Eastern Joint Computer Conference ; 1957)
Zeitschriftenband |
Präsenznutzung
|
|
| 5. |
2021 2nd International Conference on Artificial Intelligence in Electronics Engineering. -
New York,NY,United States: Association for Computing Machinery, 2021. - 1 online resource (102 pages), ISBN 978-1-4503-8927-3
(ACM Other conferences)
(ACM Digital Library)
DOI: 10.1145/3460268
 Online-Ressource |
|
|
| 6. |
VISIGRAPP <14., 2019, Prag>: VISIGRAPP 2019 : proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications : Prague, Czech Republic, February 25-27, 2019 / sponsored by: INSTICC - the Institute for Systems and Technologies of Information, Control and Commu… . -
[Sétubal]: SCITEPRESS - Science and Technology Publications, Lda., [2019], ISBN 978-989-758-354-4
 Mehrteiliges Werk |
|
|
| 7. |
Radano, John A.: Lutheran and Catholic reconciliation on justification : a chronology of the Holy See's contributions, 1961 - 1999, to a new relationship between Lutherans and Catholics and to steps leading to the Joint Declaration on the Doctrine of Justification / John A. Radano. -
Grand Rapids, Mich. [u.a.]: William B. Eerdmans Pub. Co, 2009. - XXVII, 217 S. : Ill., ISBN 978-0-8028-4860-4
 Buch/keine Angabe |
Präsenznutzung
|
|
| 8. |
VISIGRAPP <14., 2019, Prag>: Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Prague, Czech Republic, February 25–27, 2019, Revised Selected Papers / edited by Ana Paula Cláudio, Kadi Bouatouch, Manuela Chessa, Alexis Paljic, Andreas Kerren, Christop… . - 1st ed.. -
Cham: Springer International Publishing, [2020]. - 1 Online-Ressource(XXIII, 612 p. 260 illus., 215 illus. in color.), ISBN 978-3-030-41590-7
(Communications in Computer and Information Science ; 1182)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-41590-7
Online-Ressource |
Bibliographieeintrag
|
|
| 9. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XXIII, 708 p. 193 illus., 140 illus. in color.), ISBN 978-3-031-30823-9
(Lecture Notes in Computer Science ; 13993)
DOI: 10.1007/978-3-031-30823-9
Online-Ressource |
|
|
| 10. |
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / edited by Leen Lambers, Sebastián Uchitel. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XVI, 332 p. 137 illus., 100 illus. in color.), ISBN 978-3-031-30826-0
(Lecture Notes in Computer Science ; 13991)
DOI: 10.1007/978-3-031-30826-0
Online-Ressource |
|
|
| 11. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XXIV, 604 p. 217 illus., 163 illus. in color.), ISBN 978-3-031-30820-8
(Lecture Notes in Computer Science ; 13994)
DOI: 10.1007/978-3-031-30820-8
Online-Ressource |
|
|
| 12. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (708 p.), ISBN 978-3-031-30823-9
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 13. |
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (332 p.), ISBN 978-3-031-30826-0
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 14. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (604 p.), ISBN 978-3-031-30820-8
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 15. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXII, 428 p. 179 illus., 143 illus. in color.), ISBN 978-3-031-57256-2
(Lecture Notes in Computer Science ; 14572)
DOI: 10.1007/978-3-031-57256-2
Online-Ressource |
|
|
| 16. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXVIII, 394 p. 124 illus., 82 illus. in color.), ISBN 978-3-031-57246-3
(Lecture Notes in Computer Science ; 14570)
DOI: 10.1007/978-3-031-57246-3
Online-Ressource |
|
|
| 17. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXI, 386 p. 143 illus., 113 illus. in color.), ISBN 978-3-031-57249-4
(Lecture Notes in Computer Science ; 14571)
DOI: 10.1007/978-3-031-57249-4
Online-Ressource |
|
|
| 18. |
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Naoki Kobayashi, James Worrell. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XVI, 280 p. 44 illus., 24 illus. in color.), ISBN 978-3-031-57228-9
(Lecture Notes in Computer Science ; 14574)
DOI: 10.1007/978-3-031-57228-9
Online-Ressource |
|
|
| 19. |
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Naoki Kobayashi, James Worrell. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XVI, 272 p. 37 illus., 11 illus. in color.), ISBN 978-3-031-57231-9
(Lecture Notes in Computer Science ; 14575)
DOI: 10.1007/978-3-031-57231-9
Online-Ressource |
|
|
| 20. |
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings / edited by Dirk Beyer, Ana Cavalcanti. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XIV, 332 p. 113 illus., 64 illus. in color.), ISBN 978-3-031-57259-3
(Lecture Notes in Computer Science ; 14573)
DOI: 10.1007/978-3-031-57259-3
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
