Results
|
1.
|
|
|
2.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
|
|
3.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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.
|
|
4.
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by
- Pfenning, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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.
|
|
5.
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
- Coecke, Bob [editor.]
- Ong, Luke [editor.]
- Panangaden, Prakash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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.
|