Results
|
|
1061.
|
Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by
- Qadeer, Shaz [editor.]
- Tasiran, Serdar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7687
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.
|
|
|
1062.
|
|
|
|
1063.
|
Computational Intelligence [electronic resource] : Revised and Selected Papers of the International Joint Conference, IJCCI 2011, Paris, France, October 24-26, 2011 / edited by Kurosh Madani, António Dourado, Agostinho Rosa, Joaquim Filipe. by
- Madani, Kurosh [editor.]
- Dourado, António [editor.]
- Rosa, Agostinho [editor.]
- Filipe, Joaquim [editor.]
- SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 465
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.
|
|
|
1064.
|
|
|
|
1065.
|
|
|
|
1066.
|
Intelligent Tools for Building a Scientific Information Platform [electronic resource] : Advanced Architectures and Solutions / edited by Robert Bembenik, Lukasz Skonieczny, Henryk Rybinski, Marzena Kryszkiewicz, Marek Niezgodka. by
- Bembenik, Robert [editor.]
- Skonieczny, Lukasz [editor.]
- Rybinski, Henryk [editor.]
- Kryszkiewicz, Marzena [editor.]
- Niezgodka, Marek [editor.]
- SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 467
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.
|
|
|
1067.
|
|
|
|
1068.
|
Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / edited by Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha. by
- Frey, Davide [editor.]
- Raynal, Michel [editor.]
- Sarkar, Saswati [editor.]
- Shyamasundar, Rudrapatna K [editor.]
- Sinha, Prasun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7730
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.
|
|
|
1069.
|
Mesenchymal Stem Cells - Basics and Clinical Application I [electronic resource] / edited by Birgit Weyand, Massimo Dominici, Ralf Hass, Roland Jacobs, Cornelia Kasper. by
- Weyand, Birgit [editor.]
- Dominici, Massimo [editor.]
- Hass, Ralf [editor.]
- Jacobs, Roland [editor.]
- Kasper, Cornelia [editor.]
- SpringerLink (Online service)
Series: Advances in Biochemical Engineering/Biotechnology ; 129
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.
|
|
|
1070.
|
|
|
|
1071.
|
|
|
|
1072.
|
New Results in Numerical and Experimental Fluid Mechanics VIII [electronic resource] : Contributions to the 17th STAB/DGLR Symposium Berlin, Germany 2010 / edited by Andreas Dillmann, Gerd Heller, Hans-Peter Kreplin, Wolfgang Nitsche, Inken Peltzer. by
- Dillmann, Andreas [editor.]
- Heller, Gerd [editor.]
- Kreplin, Hans-Peter [editor.]
- Nitsche, Wolfgang [editor.]
- Peltzer, Inken [editor.]
- SpringerLink (Online service)
Series: Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 121
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.
|
|
|
1073.
|
Software Quality. Increasing Value in Software and Systems Development [electronic resource] : 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings / edited by Dietmar Winkler, Stefan Biffl, Johannes Bergsmann. by
- Winkler, Dietmar [editor.]
- Biffl, Stefan [editor.]
- Bergsmann, Johannes [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 133
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.
|
|
|
1074.
|
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.
|
|
|
1075.
|
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
- Ermolayev, Vadim [editor.]
- Mayr, Heinrich C [editor.]
- Nikitchenko, Mykola [editor.]
- Spivakovsky, Aleksander [editor.]
- Zholtkevych, Grygoriy [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 347
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.
|
|
|
1076.
|
|
|
|
1077.
|
Trustworthy Computing and Services [electronic resource] : International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers / edited by Yuyu Yuan, Xu Wu, Yueming Lu. by
- Yuan, Yuyu [editor.]
- Wu, Xu [editor.]
- Lu, Yueming [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 320
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.
|
|
|
1078.
|
|
|
|
1079.
|
|
|
|
1080.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by
- Lemos, Rogério de [editor.]
- Giese, Holger [editor.]
- Müller, Hausi A [editor.]
- Shaw, Mary [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7475
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.
|
