Your search returned 19 results.

Not what you expected? Check for suggestions
Sort
Results
Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.

by Jones, Cliff B | Lloyd, J. L. (John L.).

Series: Serienbezeichnung | Lecture notes in computer science ; 6875.Material type: Text Text; Format: available online remote; Literary form: Not fiction Copyright date: ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24-26, 1993 Proceedings / edited by George J. Milne, Laurence Pierre.

by Milne, George J | Pierre, Laurence.

Series: Serienbezeichnung | Lecture notes in computer science ; 683.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings / edited by J. Csirik, J. Demetrovics, F. Gécseg.

by FCT '89 (1989 : Szeged, Hungary) | Csirik, J. (János) | Demetrovics, János | Gécseg, F.

Series: Serienbezeichnung | Lecture notes in computer science ; 380.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori.

by Annual Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany) | Monien, B | Cori, Robert.

Series: Serienbezeichnung | Lecture notes in computer science ; 349.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf.

by Kumar, Ramayya | Kropf, Thomas.

Series: Serienbezeichnung | Lecture notes in computer science ; 901.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020, proceedings / Violet Ka I Pun, Volker Stolz, Adenilso Simao (eds.).

by ICTAC (Colloquium) (17th : 2020 : Online) | Pun, Violet Ka I [editor.] | Stolz, V. (Volker) [editor.] | Simão, Adenilso [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12545. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2020]Other title: ICTAC 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Series: Serienbezeichnung | Lecture notes in computer science ; 294.Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms.

by Thayse, Andre [author.].

Series: Serienbezeichnung | Lecture notes in computer science ; 175.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Cyber Physical Systems. Model-Based Design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers / edited by Roger Chamberlain, Walid Taha, Martin Törngren.

by Chamberlain, Roger | Taha, Walid | Törngren, Martin.

Series: Serienbezeichnung | Lecture notes in computer science ; 11615. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2019Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algorithms and architectures for parallel processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings. Part I / Meikang Qiu (ed.).

by International Conference on Algorithms and Architectures for Parallel Processing (20th : 2020 : New York, N.Y.) | Qiu, Meikang [editor.].

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 12452.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: ICA3PP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings / Brijesh Dongol, Elena Troubitsyna (eds.).

by International Conference on Integrated Formal Methods (16th : 2020 : Online) | Dongol, Brijesh [editor.] | Troubitsyna, Elena (Elena A.), 1970- [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12546. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2020]Other title: IFM 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Job Scheduling Strategies for Parallel Processing : 23rd international workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, revised selected papers / Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).

by JSSPP (Workshop) (23rd : 2020 : Online) | Klusáĉek, Dalibor [editor.] | Cirne, Walfredo [editor.] | Desai, Narayan (Narayan L.) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12326. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2020]Other title: JSSPP 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Verification, model checking, and abstract interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings / Fritz Henglein, Sharon Shoham, Yakir Vizel (eds.).

by VMCAI (Conference) (22nd : 2021 : Online) | Henglein, Fritz [editor.] | Shoham, Sharon [editor.] | Vizel, Yakir [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 12597. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer International Publishing : Imprint : Springer, 2021Other title: VMCAI 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Embedded Firmware Solutions [electronic resource] : Development Best Practices for the Internet of Things / by Vincent Zimmer, Jiming Sun, Marc Jones, Stefan Reinauer.

by Zimmer, Vincent [author.] | Sun, Jiming [author.] | Jones, Marc [author.] | Reinauer, Stefan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berkeley, CA : Apress : Imprint: Apress, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Rigorous state-based methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings / edited by Alexander Raschke, Dominique Méry, Frank Houdek.

by ABZ (Conference) (7th : 2020 : Ulm, Germany) | Raschke, Alexander [editor.] | Méry, Dominique [editor.] | Houdek, Frank [editor.].

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 12071.Edition: 1st ed. 2020.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Other title: ABZ 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 / edited by J.W. de Bakker, W.-P. de Roever, [and] G. Rozenberg.

by Bakker, J. W. de (Jacobus Willem), 1939- [editor.] | Roever, W.-P. de, 1943- [editor.] | Rozenberg, Grzegorz [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 354.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Constructive side-channel analysis and secure design : 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised selected papers / Sylvain Guilley (Ed.).

by COSADE (Workshop) (8th : 2017 : Paris, France) | Guilley, Sylvain [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10348. | LNCS sublibrary. SL 4, Security and cryptology.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2017]Other title: COSADE 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24-28, 2020, Proceedings / Maciej Malawski, Krzysztof Rzadca (eds.).

by International EURO-PAR Conference (26th : 2020 : Online) | Malawski, Maciej | Rzadca, Krzysztof.

Series: Serienbezeichnung | Lecture notes in computer science ; 12247. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Other title: Euro-Par 2020.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers / Javier Camara, Martin Steffan (eds.).

by International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway) | Cámara, Javier (Computer scientist) [editor.] | Steffen, Martin [editor.] | CoSim-CPS (Workshop) (3rd : 2019 : Oslo, Norway) | ASYDE (Workshop) (2019 : Oslo, Norway) | CIFMA (Workshop) (2019 : Oslo, Norway) | International Workshop on the Foundations of Coordination Languages and Software Architectures (17th : 2019 : Oslo, Norway).

Series: Serienbezeichnung | Lecture notes in computer science ; 12226. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, [2020]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha