search result

Cover von Foundations of Software Science and Computation Structures

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
2024
Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 14574/14575
Media group: GESAMTWERK
Volumes loading
Cover von Machine Learning and Knowledge Extraction
7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14065
Media group: MONOGRAPHIE
Cover von Information systems research
contemporary approaches and emergent traditions : proceedings of the IFIP TC8/WG 8.2 working conference on the information systems research arena of the 90's : challenges, perceptions, and alternative approaches, Copenhagen, Denmark, 14 - 16 December, 1990
Search for this author
Year: 1991
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Formal description techniques, II
proceedings of the IFIP TC/WG 6.1 second international conference on formal description techniques for distributed systems and communications protocols, FORTE '89 ; Vancouver, Canada, 5 - 8 December,1989
Search for this author
Year: 1990
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Formal description techniques III
proceedings of the IFIP TC/WG 6.1 third international conference on formal description techniques for distributed systems and communications protocols, FORTE '90 ; Madrid, Spain, 6-9 November 1990
Search for this author
Year: 1991
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Foundations of Software Science and Computation Structures
26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22 - 27, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13992
Media group: MONOGRAPHIE
Cover von HCI International 2022
Late Breaking Papers : Interaction in New Media, Learning and Games : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13517
Media group: MONOGRAPHIE
Cover von HCI International 2022
Late Breaking Papers : Interacting with eXtended Reality and Artificial Intelligence : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13518
Media group: MONOGRAPHIE
Cover von HCI International 2022
Late Breaking Papers : HCI for Today's Community and Economy : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13520
Media group: MONOGRAPHIE
Cover von HCI International 2022
Late Breaking Papers : HCI for Health, Well-being, Universal Access and Healthy Aging : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13521
Media group: MONOGRAPHIE
OPEN V 11.1.0.0