Results
|
|
321.
|
|
|
|
322.
|
|
|
|
323.
|
|
|
|
324.
|
|
|
|
325.
|
|
|
|
326.
|
|
|
|
327.
|
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.
|
|
|
328.
|
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.
|
|
|
329.
|
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.
|
|
|
330.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
|
|
|
331.
|
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.
|
|
|
332.
|
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.
|
|
|
333.
|
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.
|
|
|
334.
|
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.
|
|
|
335.
|
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.
|
|
|
336.
|
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.
|
|
|
337.
|
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.
|
|
|
338.
|
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.
|
|
|
339.
|
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.
|
|
|
340.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
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.
|
