Results
|
1401.
|
|
|
1402.
|
|
|
1403.
|
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5977
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.
|
|
1404.
|
|
|
1405.
|
The Nature of Computation: Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7921
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.
|
|
1406.
|
|
|
1407.
|
|
|
1408.
|
|
|
1409.
|
|
|
1410.
|
|
|
1411.
|
|
|
1412.
|
|
|
1413.
|
|
|
1414.
|
|
|
1415.
|
|
|
1416.
|
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5834
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.
|
|
1417.
|
|
|
1418.
|
|
|
1419.
|
Algorithmic Game Theory [electronic resource] : 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9928
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
1420.
|
Combinatorial Image Analysis [electronic resource] : 14th International Workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011. Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 6636
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|