Results
|
1461.
|
|
|
1462.
|
|
|
1463.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 13881
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
1464.
|
|
|
1465.
|
|
|
1466.
|
New Trends in Database and Information Systems [electronic resource] : ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4–7, 2023, Proceedings / by Series: Communications in Computer and Information Science ; 1850
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
1467.
|
|
|
1468.
|
|
|
1469.
|
|
|
1470.
|
|
|
1471.
|
Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 4898
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
1472.
|
The Semantic Web: Research and Applications [electronic resource] : 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31– June 4, 2009 Proceedings / by
- Aroyo, Lora [editor.]
- Traverso, Paolo [editor.]
- Ciravegna, Fabio [editor.]
- Cimiano, Philipp [editor.]
- Heath, Tom [editor.]
- Hyvönen, Eero [editor.]
- Mizoguchi, Riichiro [editor.]
- Oren, Eyal [editor.]
- Sabou, Marta [editor.]
- Simperl, Elena [editor.]
- SpringerLink (Online service)
Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5554
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
1473.
|
|
|
1474.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6198
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
1475.
|
|
|
1476.
|
|
|
1477.
|
|
|
1478.
|
|
|
1479.
|
|
|
1480.
|
|