Results
|
7441.
|
|
|
7442.
|
|
|
7443.
|
|
|
7444.
|
Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by
- Păsăreanu, Corina S [editor.]
- Salaün, Gwen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7684
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.
|
|
7445.
|
Mobile Communication and Power Engineering [electronic resource] : Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers / edited by Vinu V Das, Yogesh Chaba. by
- Das, Vinu V [editor.]
- Chaba, Yogesh [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 296
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.
|
|
7446.
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai, Eitan Frachtenberg, Uwe Schwiegelshohn. by
- Cirne, Walfredo [editor.]
- Desai, Narayan [editor.]
- Frachtenberg, Eitan [editor.]
- Schwiegelshohn, Uwe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7698
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.
|
|
7447.
|
|
|
7448.
|
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.
|
|
7449.
|
|
|
7450.
|
Information Systems, E-learning, and Knowledge Management Research [electronic resource] : 4th World Summit on the Knowledge Society, WSKS 2011, Mykonos, Greece, September 21-23, 2011. Revised Selected Papers / edited by Miltiadis D. Lytras, Da Ruan, Robert D. Tennyson, Patricia Ordonez De Pablos, Francisco José García Peñalvo, Lazar Rusu. by
- Lytras, Miltiadis D [editor.]
- Ruan, Da [editor.]
- Tennyson, Robert D [editor.]
- Ordonez De Pablos, Patricia [editor.]
- García Peñalvo, Francisco José [editor.]
- Rusu, Lazar [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 278
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.
|
|
7451.
|
Six Sigma+Lean Toolset [electronic resource] : Mindset for Successful Implementation of Improvement Projects / by Renata Meran, Alexander John, Olin Roenpage, Christian Staudter ; edited by Stephan Lunau. by
- Meran, Renata [author.]
- John, Alexander [author.]
- Roenpage, Olin [author.]
- Staudter, Christian [author.]
- Lunau, Stephan [editor.]
- SpringerLink (Online service)
Series: Management for Professionals
Edition: 2nd ed. 2013.
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.
|
|
7452.
|
Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by
- Beckert, Bernhard [editor.]
- Damiani, Ferruccio [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7542
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.
|
|
7453.
|
Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers / edited by Roberto Di Pietro, Javier Herranz, Ernesto Damiani, Radu State. by
- Pietro, Roberto Di [editor.]
- Herranz, Javier [editor.]
- Damiani, Ernesto [editor.]
- State, Radu [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7731
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.
|
|
7454.
|
|
|
7455.
|
Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang. by
- Xu, Weixia [editor.]
- Xiao, Liquan [editor.]
- Lu, Pingjing [editor.]
- Li, Jinwen [editor.]
- Zhang, Chengyi [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 337
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.
|
|
7456.
|
|
|
7457.
|
|
|
7458.
|
|
|
7459.
|
|
|
7460.
|
|