Results
|
201.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
- Giacobazzi, Roberto [editor.]
- Berdine, Josh [editor.]
- Mastroeni, Isabella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
202.
|
|
|
203.
|
|
|
204.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
- Czarnecki, Krzysztof [editor.]
- Hedin, Görel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
205.
|
Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov. by
- Escalona, María José [editor.]
- Cordeiro, José [editor.]
- Shishkov, Boris [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 303
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
206.
|
|
|
207.
|
|
|
208.
|
|
|
209.
|
|
|
210.
|
|
|
211.
|
|
|
212.
|
|
|
213.
|
|
|
214.
|
Pattern Recognition - Applications and Methods [electronic resource] : International Conference, ICPRAM 2012 Vilamoura, Algarve, Portugal, February 6-8, 2012 Revised Selected Papers / edited by Pedro Latorre Carmona, J. Salvador Sánchez, Ana L.N. Fred. by
- Latorre Carmona, Pedro [editor.]
- Sánchez, J. Salvador [editor.]
- Fred, Ana L.N [editor.]
- SpringerLink (Online service)
Series: Advances in Intelligent Systems and Computing ; 204
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
215.
|
Combinations of Intelligent Methods and Applications [electronic resource] : Proceedings of the 3rd International Workshop, CIMA 2012, Montpellier, France, August 2012 / edited by Ioannis Hatzilygeroudis, Vasile Palade. by
- Hatzilygeroudis, Ioannis [editor.]
- Palade, Vasile [editor.]
- SpringerLink (Online service)
Series: Smart Innovation, Systems and Technologies ; 23
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
216.
|
|
|
217.
|
|
|
218.
|
|
|
219.
|
|
|
220.
|
|