Your search returned 2820 results.

Results
	1421.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14571 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1422.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 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 / by Finkbeiner, Bernd [editor.] Kovács, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14572 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1423.	Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 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 / by Weirich, Stephanie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14576 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1424.	Fundamental Approaches to Software Engineering [electronic resource] : 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 / by Beyer, Dirk [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14573 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1425.	Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 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 / by Weirich, Stephanie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14577 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1426.	Foundations of Software Science and Computation Structures [electronic resource] : 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 / by Kobayashi, Naoki [editor.] Worrell, James [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14575 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1427.	Persuasive Technology [electronic resource] : 19th International Conference, PERSUASIVE 2024, Wollongong, NSW, Australia, April 10–12, 2024, Proceedings / by Baghaei, Nilufar [editor.] Ali, Raian [editor.] Win, Khin [editor.] Oyibo, Kiemute [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14636 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1428.	Discrete Geometry and Mathematical Morphology [electronic resource] : Third International Joint Conference, DGMM 2024, Florence, Italy, April 15–18, 2024, Proceedings / by Brunetti, Sara [author.] Frosini, Andrea [author.] Rinaldi, Simone [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14605 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1429.	Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part II / by Zeinalipour, Demetris [editor.] Blanco Heras, Dora [editor.] Pallis, George [editor.] Herodotou, Herodotos [editor.] Trihinas, Demetris [editor.] Balouek, Daniel [editor.] Diehl, Patrick [editor.] Cojean, Terry [editor.] Fürlinger, Karl [editor.] Kirkeby, Maja Hanne [editor.] Nardellli, Matteo [editor.] Di Sanzo, Pierangelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14352 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1430.	Public-Key Cryptography – PKC 2024 [electronic resource] : 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15–17, 2024, Proceedings, Part I / by Tang, Qiang [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14601 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1431.	Public-Key Cryptography – PKC 2024 [electronic resource] : 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15–17, 2024, Proceedings, Part II / by Tang, Qiang [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14602 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1432.	Public-Key Cryptography – PKC 2024 [electronic resource] : 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15–17, 2024, Proceedings, Part III / by Tang, Qiang [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14603 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1433.	Public-Key Cryptography – PKC 2024 [electronic resource] : 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15–17, 2024, Proceedings, Part IV / by Tang, Qiang [editor.] Teague, Vanessa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14604 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1434.	Euro-Par 2023: Parallel Processing Workshops [electronic resource] : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part I / by Zeinalipour, Demetris [editor.] Blanco Heras, Dora [editor.] Pallis, George [editor.] Herodotou, Herodotos [editor.] Trihinas, Demetris [editor.] Balouek, Daniel [editor.] Diehl, Patrick [editor.] Cojean, Terry [editor.] Fürlinger, Karl [editor.] Kirkeby, Maja Hanne [editor.] Nardellli, Matteo [editor.] Di Sanzo, Pierangelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14351 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1435.	Advances in Intelligent Data Analysis XXII [electronic resource] : 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24–26, 2024, Proceedings, Part I / by Miliou, Ioanna [editor.] Piatkowski, Nico [editor.] Papapetrou, Panagiotis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14641 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1436.	Advances in Intelligent Data Analysis XXII [electronic resource] : 22nd International Symposium on Intelligent Data Analysis, IDA 2024, Stockholm, Sweden, April 24–26, 2024, Proceedings, Part II / by Miliou, Ioanna [editor.] Piatkowski, Nico [editor.] Papapetrou, Panagiotis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14642 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1437.	High-Speed Networks and Multimedia Communications [electronic resource] : 6th IEEE International Conference HSNMC 2003, Estoril, Portugal, July 23-25, 2003, Proceedings / by Freire, Mário Marques [editor.] Lorenz, Pascal [editor.] Lee, Mike Myung-Ok [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2720 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1438.	Distributed Computing - IWDC 2003 [electronic resource] : 5th International Workshop, Kolkata, India, December 27-30, 2003, Proceedings / by Das, Samir R [editor.] Das, Sajal K [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2918 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1439.	Artificial Immune Systems [electronic resource] : Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004, Proceedings / by Nicosia, Giuseppe [editor.] Cutello, Vincenzo [editor.] Bentley, Peter John [editor.] Timmis, Jonathan Ian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3239 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1440.	Advances in Learning Software Organizations [electronic resource] : Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001. Proceedings / by Althoff, Klaus-Dieter [editor.] Feldmann, Raimund L [editor.] Müller, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2176 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2820 results.