Results
|
241.
|
|
|
242.
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
- Johnsen, Einar Broch [editor.]
- Petre, Luigia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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.
|
|
243.
|
|
|
244.
|
|
|
245.
|
|
|
246.
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by
- Colom, José-Manuel [editor.]
- Desel, Jörg [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7927
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.
|
|
247.
|
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
- Dastani, Mehdi [editor.]
- Hübner, Jomi F [editor.]
- Logan, Brian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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.
|
|
248.
|
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by
- Dittrich, Yvonne [editor.]
- Burnett, Margaret [editor.]
- Mørch, Anders [editor.]
- Redmiles, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7897
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.
|
|
249.
|
Advanced Information Systems Engineering [electronic resource] : 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings / edited by Camille Salinesi, Moira C. Norrie, Óscar Pastor. by
- Salinesi, Camille [editor.]
- Norrie, Moira C [editor.]
- Pastor, Óscar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7908
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.
|
|
250.
|
Design Science at the Intersection of Physical and Virtual Design [electronic resource] : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings / edited by Jan vom Brocke, Riitta Hekkala, Sudha Ram, Matti Rossi. by
- Brocke, Jan vom [editor.]
- Hekkala, Riitta [editor.]
- Ram, Sudha [editor.]
- Rossi, Matti [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7939
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.
|
|
251.
|
Software Process Improvement and Capability Determination [electronic resource] : 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings / edited by Tanja Woronowicz, Terry Rout, Rory V. O’Connor, Alec Dorling. by
- Woronowicz, Tanja [editor.]
- Rout, Terry [editor.]
- O’Connor, Rory V [editor.]
- Dorling, Alec [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 349
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.
|
|
252.
|
Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings / edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. by
- Schirner, Gunar [editor.]
- Götz, Marcelo [editor.]
- Rettberg, Achim [editor.]
- Zanella, Mauro C [editor.]
- Rammig, Franz J [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 403
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.
|
|
253.
|
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
- Logozzo, Francesco [editor.]
- Fähndrich, Manuel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.
|
|
254.
|
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
- Bernardo, Marco [editor.]
- Vink, Erik de [editor.]
- Pierro, Alessandra Di [editor.]
- Wiklicky, Herbert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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.
|
|
255.
|
Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by
- Duddy, Keith [editor.]
- Kappel, Gerti [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7909
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.
|
|
256.
|
|
|
257.
|
SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. by
- Khendek, Ferhat [editor.]
- Toeroe, Maria [editor.]
- Gherbi, Abdelouahed [editor.]
- Reed, Rick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7916
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.
|
|
258.
|
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
- Veanes, Margus [editor.]
- Viganò, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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.
|
|
259.
|
Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti. by
- Petrinja, Etiel [editor.]
- Succi, Giancarlo [editor.]
- Ioini, Nabil El [editor.]
- Sillitti, Alberto [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 404
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.
|
|
260.
|
Global Design and Local Materialization [electronic resource] : 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings / edited by Jianlong Zhang, Chengyu Sun. by
- Zhang, Jianlong [editor.]
- Sun, Chengyu [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 369
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.
|