Your search returned 78 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Transactions on Petri Nets and Other Models of Concurrency VIII [electronic resource] / edited by Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev. by
  • Koutny, Maciej [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Yakovlev, Alex [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8100
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
2.
Fundamentals of Software Engineering [electronic resource] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by
  • Arbab, Farhad [editor.]
  • Sirjani, Marjan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8161
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
3.
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by
  • Jensen, Kurt [editor.]
  • Aalst, Wil M. P. van der [editor.]
  • Balbo, Gianfranco [editor.]
  • Koutny, Maciej [editor.]
  • Wolf, Karsten [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7480
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
4.
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / 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 ; 8049
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
5.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
6.
Software Composition [electronic resource] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / edited by Walter Binder, Eric Bodden, Welf Löwe. by
  • Binder, Walter [editor.]
  • Bodden, Eric [editor.]
  • Löwe, Welf [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8088
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
7.
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
  • Giachino, Elena [editor.]
  • Hähnle, Reiner [editor.]
  • Boer, Frank S. de [editor.]
  • Bonsangue, Marcello M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
8.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by
  • Braberman, Víctor [editor.]
  • Fribourg, Laurent [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8053
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
9.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
  • Bartocci, Ezio [editor.]
  • Ramakrishnan, C. R [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
10.
CONCUR 2013 – Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Pedro R. D’Argenio, Hernán Melgratti. by
  • D’Argenio, Pedro R [editor.]
  • Melgratti, Hernán [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8052
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
11.
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 Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
12.
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by
  • Baldoni, Matteo [editor.]
  • Dennis, Louise [editor.]
  • Mascardi, Viviana [editor.]
  • Vasconcelos, Wamberto [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7784
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
13.
Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, 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 ; 412
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
14.
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by
  • Gorbenko, Anatoliy [editor.]
  • Romanovsky, Alexander [editor.]
  • Kharchenko, Vyacheslav [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8166
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
15.
Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar. by
  • Shankar, A. Udaya [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
16.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
  • Piterman, Nir [editor.]
  • Smolka, Scott A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
17.
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht. by
  • Lamprecht, Anna-Lena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8311
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
18.
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Matthias Felleisen, Philippa Gardner. by
  • Felleisen, Matthias [editor.]
  • Gardner, Philippa [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7792
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
19.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
20.
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
  • Beyer, Dirk [editor.]
  • Boreale, Michele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages