Results
                                    
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    1.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by 
- Soloveichik, David [editor.]
 
- Yurke, Bernard [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8141
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    2.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by 
- Masulli, Francesco [editor.]
 
- Pasi, Gabriella [editor.]
 
- Yager, Ronald [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8256
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    3.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio. by 
- Baldoni, Matteo [editor.]
 
- Baroglio, Cristina [editor.]
 
- Boella, Guido [editor.]
 
- Micalizio, Roberto [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8249
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    4.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    5.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by 
- Panigrahi, Bijaya Ketan [editor.]
 
- Suganthan, Ponnuthurai Nagaratnam [editor.]
 
- Das, Swagatam [editor.]
 
- Dash, Shubhransu Sekhar [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8297
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    6.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by 
- Panigrahi, Bijaya Ketan [editor.]
 
- Suganthan, Ponnuthurai Nagaratnam [editor.]
 
- Das, Swagatam [editor.]
 
- Dash, Shubhransu Sekhar [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8298
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    7.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by 
- Baldoni, Roberto [editor.]
 
- Nisse, Nicolas [editor.]
 
- Steen, Maarten van [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 8304
Source: Springer eBooks 
Material type:   Text; Format: 
                    electronic
                
		available online
                 ; Literary form: 
                    Not fiction
                  Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    8.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by 
- Iwama, Kazuo [editor.]
 
- Kawano, Yasuhito [editor.]
 
- Murao, Mio [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7582
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    9.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by 
- Wolff, Burkhart [editor.]
 
- Gaudel, Marie-Claude [editor.]
 
- Feliachi, Abderrahmane [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7681
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    10.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    11.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    12.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by 
- Glück, Robert [editor.]
 
- Yokoyama, Tetsuo [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7581
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    13.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    14.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Membrane Computing [electronic resource] : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers / edited by Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, György Vaszil. by 
- Csuhaj-Varjú, Erzsébet [editor.]
 
- Gheorghe, Marian [editor.]
 
- Rozenberg, Grzegorz [editor.]
 
- Salomaa, Arto [editor.]
 
- Vaszil, György [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7762
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    15.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    16.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by 
- Dediu, Adrian-Horia [editor.]
 
- Martín-Vide, Carlos [editor.]
 
- Truthe, Bianca [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7810
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    17.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    18.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini. by 
- Vanneschi, Leonardo [editor.]
 
- Bush, William S [editor.]
 
- Giacobini, Mario [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7833
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    19.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                             | 
                                        
                                    
                                        
                                            
                                            
                                                
                                            
                                            | 
                                                
                                                     
                                                
                                             | 
                                            
                                            
                                                
                                                    20.
                                                
                                             | 
                                            
                                            
                                            
                                                
                                                
                                                    
                                                    
                                                
                                                
                                                
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by 
- Middendorf, Martin [editor.]
 
- Blum, Christian [editor.]
 
- SpringerLink (Online service)
 
 Series: Lecture Notes in Computer Science ; 7832
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.
 
                                                
                                                
                                                
                                                
                                                
                                                
                                                
                                                     
                                                
                                                
                                                 
                                             |