Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Applications and theory of Petri nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20-25, 2005 : proceedings / Gianfranco Ciardo, Philippe Darondeau (eds.). by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fla.) | Ciardo, Gianfranco | Darondeau, Philippe. Series: Serienbezeichnung | Lecture notes in computer science ; 3536.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2005Other title: ICATPN 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Scientific Computing in Object-Oriented Parallel Environments : First International Conference, ISCOPE 97 Marina del Rey, California, USA December 811, 1997 Proceedings / edited by Yutaka Ishikawa, Rodney R. Oldehoeft, John V.W. Reynders, Marydell Tholburn. by Ishikawa, Yutaka | Oldehoeft, Rodney R | Reynders, John V. W | Tholburn, Marydell. Series: Serienbezeichnung | Lecture notes in computer science ; 1343,Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
PARLE '91 Parallel Architectures and Languages Europe : Volume I: Parallel Architectures and Algorithms Eindhoven, the Netherlands, June 10-13, 1991 Proceedings / edited by Emile H.L. Aarts, Jan Leeuwen, Martin Rem. by Aarts, E. H. L. (Emile H. L.) | Leeuwen, Jan | Rem, Martin. Series: Serienbezeichnung | Lecture notes in computer science ; 505.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer-Verlag, 1991Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.). by Conference on Computability in Europe (9th : 2013 : Milan, Italy) | Bonizzoni, Paola | Brattka, Vasco, 1966- | Löwe, Benedikt. Series: Serienbezeichnung | Lecture notes in computer science ; 7921. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2013Other title: CiE 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / Sandrine Blazy, Christine Paulin-Mohring, David Pichardie (Eds.). by ITP (Conference) (4th : 2013 : Rennes, France) | Blazy, Sandrine [editor.] | Paulin-Mohring, Christine, 1962- [editor.] | Pichardie, David [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 7998. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, 2013Other title: ITP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings / Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.). by Workshop on Logic, Language, Information and Computation (20th : 2013 : Darmstadt, Germany) | Libkin, Leonid [editor.] | Kohlenbach, U. (Ulrich) [editor.] | Queiroz, Ruy J. G. B. de [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 8071.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / Davide Grossi, Olivier Roy, Huaxin Huang (eds.). by LORI (Workshop) (4th : 2013 : Hangzhou, China) | Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 8196. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Other title: LORI 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / Gerwin Klein, Ruben Gamboa (Eds.). by ITP (Conference) (5th : 2014 : Vienna, Austria) | Klein, Gerwin [editor.] | Gamboa, Ruben [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 8558. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014Other title: ITP 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|