|
|
921.
|
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings / edited by Chris Hawblitzel, Dale Miller.
by Hawblitzel, Chris [editor.] | Miller, Dale [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
922.
|
Artificial General Intelligence [electronic resource] : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings / edited by Joscha Bach, Ben Goertzel, Matthew Iklé.
by Bach, Joscha [editor.] | Goertzel, Ben [editor.] | Iklé, Matthew [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
923.
|
Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky.
by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
924.
|
Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
925.
|
Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers / edited by S. Arumugam, W. F. Smyth.
by Arumugam, S [editor.] | Smyth, W. F [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
926.
|
Logic: A Brief Course [electronic resource] / by Daniele Mundici.
by Mundici, Daniele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Milano : Springer Milan : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
927.
|
Truth and Falsehood [electronic resource] : An Inquiry into Generalized Logical Values / by Yaroslav Shramko, Heinrich Wansing.
by Shramko, Yaroslav [author.] | Wansing, Heinrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
|
|
928.
|
Risk Management Technologies [electronic resource] : With Logic and Probabilistic Models / by E.D. Solozhentsev.
by Solozhentsev, E.D [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available
|
|
|
929.
|
Integration of World Knowledge for Natural Language Understanding [electronic resource] / by Ekaterina Ovchinnikova.
by Ovchinnikova, Ekaterina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
930.
|
Instruction Sequences for Computer Science [electronic resource] / by Jan A. Bergstra, Cornelis A. Middelburg.
by Bergstra, Jan A [author.] | Middelburg, Cornelis A [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2012Online access: Click here to access online Availability: No items available
|
|
|
931.
|
Analysis and Control of Boolean Networks [electronic resource] : A Semi-tensor Product Approach / by Daizhan Cheng, Hongsheng Qi, Zhiqiang Li.
by Cheng, Daizhan [author.] | Qi, Hongsheng [author.] | Li, Zhiqiang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
932.
|
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
by Dowek, Gilles [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
933.
|
Quaternions for Computer Graphics [electronic resource] / by John Vince.
by Vince, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
934.
|
Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
by Schwartz, Jacob T [author.] | Cantone, Domenico [author.] | Omodeo, Eugenio G [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
935.
|
Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell.
by Prestel, Alexander [author.] | Delzell, Charles N [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
936.
|
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho.
by Blum, Edward K [editor.] | Aho, Alfred V [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
937.
|
Schema Matching and Mapping [electronic resource] / edited by Zohra Bellahsene, Angela Bonifati, Erhard Rahm.
by Bellahsene, Zohra [editor.] | Bonifati, Angela [editor.] | Rahm, Erhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
938.
|
Working with Preferences: Less Is More [electronic resource] : Less Is More / by Souhila Kaci.
by Kaci, Souhila [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
939.
|
The Evolution of Conceptual Modeling [electronic resource] : From a Historical Perspective towards the Future of Conceptual Modeling / edited by Roland Kaschek, Lois Delcambre.
by Kaschek, Roland [editor.] | Delcambre, Lois [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
940.
|
Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.
by Johnson, Michael [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
