Results
|
|
1941.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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.
|
|
|
1942.
|
|
|
|
1943.
|
|
|
|
1944.
|
Search Based Software Engineering [electronic resource] : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings / edited by Günther Ruhe, Yuanyuan Zhang. by
- Ruhe, Günther [editor.]
- Zhang, Yuanyuan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8084
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.
|
|
|
1945.
|
Hybrid Learning and Continuing Education [electronic resource] : 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok. by
- Cheung, Simon K. S [editor.]
- Fong, Joseph [editor.]
- Fong, Wilfred [editor.]
- Wang, Fu Lee [editor.]
- Kwok, Lam For [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8038
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.
|
|
|
1946.
|
|
|
|
1947.
|
|
|
|
1948.
|
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen. by
- Rudolph, Sebastian [editor.]
- Gottlob, Georg [editor.]
- Horrocks, Ian [editor.]
- Harmelen, Frank van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8067
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.
|
|
|
1949.
|
|
|
|
1950.
|
|
|
|
1951.
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
- Sharygina, Natasha [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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.
|
|
|
1952.
|
Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott. by
- Lepora, Nathan F [editor.]
- Mura, Anna [editor.]
- Krapp, Holger G [editor.]
- Verschure, Paul F. M. J [editor.]
- Prescott, Tony J [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8064
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.
|
|
|
1953.
|
Wireless Access Flexibility [electronic resource] : First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings / edited by Giuseppe Bianchi, Andrey Lyakhov, Evgeny Khorov. by
- Bianchi, Giuseppe [editor.]
- Lyakhov, Andrey [editor.]
- Khorov, Evgeny [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8072
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.
|
|
|
1954.
|
Co-created Effective, Agile, and Trusted eServices [electronic resource] : 15th International Conference on Electronic Commerce, ICEC 2013, Turku, Finland, August 13-15, 2013. Proceedings / edited by Jonna Järveläinen, Hongxiu Li, Anne-Marie Tuikka, Tiina Kuusela. by
- Järveläinen, Jonna [editor.]
- Li, Hongxiu [editor.]
- Tuikka, Anne-Marie [editor.]
- Kuusela, Tiina [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 155
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.
|
|
|
1955.
|
Nordic Contributions in IS Research [electronic resource] : 4th Scandinavian Conference on Information Systems, SCIS 2013, Oslo, Norway, August 11-14, 2013. Proceedings / edited by Margunn Aanestad, Tone Bratteteig. by
- Aanestad, Margunn [editor.]
- Bratteteig, Tone [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 156
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.
|
|
|
1956.
|
Smart Health [electronic resource] : International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings / edited by Daniel Zeng, Christopher C. Yang, Vincent S. Tseng, Chunxiao Xing, Hsinchun Chen, Fei-Yue Wang, Xiaolong Zheng. by
- Zeng, Daniel [editor.]
- Yang, Christopher C [editor.]
- Tseng, Vincent S [editor.]
- Xing, Chunxiao [editor.]
- Chen, Hsinchun [editor.]
- Wang, Fei-Yue [editor.]
- Zheng, Xiaolong [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8040
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.
|
|
|
1957.
|
Agreement Technologies [electronic resource] : Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings / edited by Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George Vouros. by
- Chesñevar, Carlos Iván [editor.]
- Onaindia, Eva [editor.]
- Ossowski, Sascha [editor.]
- Vouros, George [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8068
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.
|
|
|
1958.
|
|
|
|
1959.
|
Agent-Oriented Software Engineering XIII [electronic resource] : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Jörg P. Müller, Massimo Cossentino. by
- Müller, Jörg P [editor.]
- Cossentino, Massimo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7852
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.
|
|
|
1960.
|
Enabling Real-Time Business Intelligence [electronic resource] : 6th International Workshop, BIRTE 2012, Held at the 38th International Conference on Very Large Databases, VLDB 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Malu Castellanos, Umeshwar Dayal, Elke A. Rundensteiner. by
- Castellanos, Malu [editor.]
- Dayal, Umeshwar [editor.]
- Rundensteiner, Elke A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 154
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.
|
