Results
|
|
2481.
|
|
|
|
2482.
|
|
|
|
2483.
|
Financial Cryptography and Data Security [electronic resource] : FC 2010 Workshops, WLC, RLCPS, and WECSR, Tenerife, Canary Islands, Spain, January 25-28, 2010, Revised Selected Papers / by Series: Security and Cryptology ; 6054
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.
|
|
|
2484.
|
|
|
|
2485.
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5082
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.
|
|
|
2486.
|
|
|
|
2487.
|
|
|
|
2488.
|
The Semantic Web - ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II / by
- Alani, Harith [editor.]
- Kagal, Lalana [editor.]
- Fokoue, Achille [editor.]
- Groth, Paul [editor.]
- Biemann, Chris [editor.]
- Parreira, Josiane Xavier [editor.]
- Aroyo, Lora [editor.]
- Noy, Natasha [editor.]
- Welty, Chris [editor.]
- Janowicz, Krzysztof [editor.]
- SpringerLink (Online service)
Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8219
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2489.
|
|
|
|
2490.
|
|
|
|
2491.
|
|
|
|
2492.
|
|
|
|
2493.
|
|
|
|
2494.
|
|
|
|
2495.
|
|
|
|
2496.
|
|
|
|
2497.
|
Foundations of Software Science and Computational Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3921
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2498.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4349
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
2499.
|
|
|
|
2500.
|
|
