wyszukanych pozycji: 6
Automata, Languages and Programming: 28th International Colloquium, Icalp 2001 Crete, Greece, July 8-12, 2001 Proceedings
ISBN: 9783540422877 / Angielski / Miękka / 2001 / 1086 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. four invited papers were carefully reviewed and selected from a total of 208 submissions. complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural...
This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete,...
|
|
cena:
192,30 zł |
Mediterranean Cold-Water Corals: Past, Present and Future: Understanding the Deep-Sea Realms of Coral
ISBN: 9783319916071 / Angielski / Twarda / 2019 / 582 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In this book, specialists offer answers and insights on what we know about Mediterranean Cold (Deep)-Water coral ecosystems with a series of chapters and short papers about the paleoecology, biology, physiology and ecology of the corals and associated fauna that comprise these ecosystems.
In this book, specialists offer answers and insights on what we know about Mediterranean Cold (Deep)-Water coral ecosystems with a series of chapters ...
|
|
cena:
1077,03 zł |
Produccion de Staphylococcus Aureus En Un Biorreactor Tanque Agitado
ISBN: 9783659012860 / Hiszpański / Miękka / 2012 / 140 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. En el presente trabajo se realiza un estudio teorico y experimental sobre la produccion de la bacteria Staphylococcus aureus Smith difusa y su polisacarido capsular en un biorreactor tanque agitado. El tipo antigenico de esta cepa es caracteristico de las bacterias involucradas en la mastitis bovina. Se describe la tecnica para extraer y cuantificar la capsula. Se implementa un diseno experimental para estudiar la influencia de la concentracion de glucosa, extracto de levadura y la velocidad de agitacion sobre la produccion de biomasa y antigeno capsular. Ademas, se describe el procedimiento...
En el presente trabajo se realiza un estudio teorico y experimental sobre la produccion de la bacteria Staphylococcus aureus Smith difusa y su polisac...
|
|
cena:
221,75 zł |
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovati
ISBN: 9783540509400 / Angielski / Miękka / 1989 / 392 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from...
TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. Th...
|
|
cena:
192,30 zł |
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
ISBN: 9783540253273 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas. WADT 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT ...
|
|
cena:
192,30 zł |
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
ISBN: 9783540249368 / Angielski / Miękka / 2005 / 420 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling. By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates th... |
|
cena:
192,30 zł |